Saturday, January 30, 2016

calculus - Difficult Substitution/Log Integral



Okay, so I'm currently working on a strange proof for the volume of a cone and could use some guidance with a difficult integral. I've done many other easier proofs involving rotational solids and triple integrals so please don't just tell me to do it that way, I already have.




I believe the following integral should give the volume of a cone with radius r and height h:



V(r,h)=2r0δ(y)dy



δ(y)=2hr2y20[1x2+y2r]dx



The first trouble I had was solving the density integral δ. I simplified it to the following and tried using a typical trig sub with tangent.



δ(y)=2hr2y22hry2arctan(r2y2y)0sec3θdθ




After a while I managed to solve the integral using integration by parts:



δ(y)=2hr2y22hry2[secθtanθ+ln|secx+tanx|2]arctan(r2y2y)0



δ(y)=hr2y2hry2ln(r+r2y2)hry2ln(y)



However, upon plugging into the initial volume integral, I got the following:



V(r,h)=2hr0r2y2dy2hrr0y2ln(r+r2y2)dy2hrr0y2lnydy




The first integral can be solved fairly easily, and the third can be done with integration by parts and a little work. However, the second appears quite daunting and I don't know that it can be solved using elementary techniques. I've considered trying Laisant's inverse method, converting to polar, or using some trig identity a few steps back to alter this particular integrand but just don't know if I'd get anywhere.



The other thing I've considered is using a hyperbolic trig sub, but I'm less familiar with these and don't know how I'd reapply bounds to even solve the density integral, much less the remaining integral with respect to y. I've gotten a little past here but it seems to simply dead-end.



δ(y)=2hr2y22hry2arcsinh(r2y2y)0cosh2θdθ



Any advice for proceeding (i.e. integrating that second log integral above or doing the hyperbolic one below)? I'd really appreciate it and may assign a bounty if it proves excessively daunting. I'd prefer the solution not be posted but if it necessitates non-elementary techniques feel free to do so as you've earned the right to post imo.



By the way if you do solve the problem and post it here, I am planning on putting this proof in a collection I am writing and would like to cite your name with your work if/when I submit it for jobs and other things.







Here's an outline of the final workings:



\noindent We consider a cone of height h and radius r formed by the following equation:



z(x,y)=hhx2+y2r


\begin{center} \small{*Note the transformations placing the cone upright on the xy-plane} \end{center}




\noindent At some point y=c, we assign a density δ corresponding to the area of the hyperbola formed by the intersection of z, y=c, and the xy-plane.



δ(y)=2hr2y20[1x2+y2r]dx


\*
\noindent The volume of the cone is given by the following integral:



V(r,h)=2r0δ(y)dy


\*
V(r,h)=2r02hr2y20[1x2+y2r]dxdy


\noindent First, let's integrate δ by parts:



δ(y)=2hr2y22hrr2y20x2+y2dx


\*
\noindent Substituting x=ytanθ:



δ(y)=2hr2y22hry2arctan(r2y2y)0y2(1+tan2θ)ysec2θdθ


\*
Simplifying:




δ(y)=2hr2y22hry2arctan(r2y2y)0sec3θdθ


\*
\noindent Integrating with respect to θ:
δ(y)=2hr2y22hry2[secθtanθ+ln|secx+tanx|2]arctan(r2y2y)0

\*
\noindent Applying bounds and simplifying:
δ(y)=2hr2y2hry2[ryr2y2y+arcsech(hr)]

\*
\noindent Simplifying:
δ(y)=2hr2y2hr2y2hry2arcsech(hr)




δ(y)=hr2y2hry2arcsech(hr)


\noindent Substituting δ into V(r,h):



V(r,h)=2r0[hr2y2hry2arcsech(hr)]dy



\noindent Breaking up:



V(r,h)=2hr0r2y2dy2hrr0y2arcsech(hr)dy


\*

\noindent Substituting y=rsinϕ in the first integral:
V(r,h)=2hr2π/20cos2ϕdϕ2hrr0y2arcsech(hr)dy



\noindent Using double angle formula:



V(r,h)=hr2π/201cos2ϕdϕ2hrr0y2arcsech(hr)dy



\noindent Integrating with respect to ϕ:



V(r,h)=hr2[ϕsin2ϕ2]π/202hrr0y2arcsech(hr)dy




\noindent Simplifying:



V(r,h)=πr2h22hrr0y2arcsech(hr)dy



\noindent Integrating by parts:



V(r,h)=πr2h22hr([y33arcsech(yr)]r0+2h3r0y2r2y2dy)



\noindent Simplifying:




V(r,h)=πr2h22h3r0y2r2y2dy



\noindent Substituting y=rsinα:



V(r,h)=πr2h22r2h3π/20sin2αdα



\noindent Using double angle formula:



V(r,h)=πr2h2r2h3π/201cos2αdα




\noindent Integrating with respect to α:



V(r,h)=πr2h2r2h3[αsin2α2]π/20



\noindent Applying bounds:



V(r,h)=πr2h2r2h3π2



\noindent Simplifying:




V(r,h)=πr2h2πr2h6



V(r,h)=13πr2h


Answer



HINT:
I think there is a sign error in your post. I found that
V(r,h)=2hr0r2y2dy2hr(r0y2ln(r+r2y2)dyr0y2lnydy)


which differs in the sign of the last term when compared with your formula above.




Now by lumping the last two terms together I get



V(r,h)=2hr0r2y2dy2hrr0y2sech1(yr)dy



which on integrating by parts seems to lead to a sensible result.



Edited to add some details of the integration by parts



Taking u=sech1(yr); dudy=ryr2y2 and dvdy=y2 ; v=y33 gives




2hrr0y2sech1(yr)dy=2hr[y33sech1(yr)]r0+2h3r0y2r2y2dy



the first resultant term is zero so the integral of real interest is



r0y2r2y2dy=[y2r2y2+r22sin1(yr)]r0



the only other integral of interest being the first one



r0r2y2dy=[y2r2y2+r22sin1(yr)]r0


No comments:

Post a Comment

analysis - Injection, making bijection

I have injection f:AB and I want to get bijection. Can I just resting codomain to f(A)? I know that every function i...