ANSWER ON QUESTION #81951 – MATH – DIFFERENTIAL EQUATIONS
QUESTION
Reduce the following PDE to a set of three ODEs by the method of separation of variables
1 r ∂ ∂ r ( r ⋅ ( ∂ V ∂ r ) ) + ( 1 r 2 ) ⋅ ∂ 2 V ∂ θ 2 + ∂ 2 V ∂ z 2 + k 2 = 0 \frac {1}{r} \frac {\partial}{\partial r} \left(r \cdot \left(\frac {\partial V}{\partial r}\right)\right) + \left(\frac {1}{r ^ {2}}\right) \cdot \frac {\partial^ {2} V}{\partial \theta^ {2}} + \frac {\partial^ {2} V}{\partial z ^ {2}} + k ^ {2} = 0 r 1 ∂ r ∂ ( r ⋅ ( ∂ r ∂ V ) ) + ( r 2 1 ) ⋅ ∂ θ 2 ∂ 2 V + ∂ z 2 ∂ 2 V + k 2 = 0 SOLUTION
Probably, when making a question, the customer made a small mistake, the equation should look like
1 r ∂ ∂ r ( r ⋅ ( ∂ V ∂ r ) ) + ( 1 r 2 ) ⋅ ∂ 2 V ∂ θ 2 + ∂ 2 V ∂ z 2 + k 2 ⋅ V = 0 \frac {1}{r} \frac {\partial}{\partial r} \left(r \cdot \left(\frac {\partial V}{\partial r}\right)\right) + \left(\frac {1}{r ^ {2}}\right) \cdot \frac {\partial^ {2} V}{\partial \theta^ {2}} + \frac {\partial^ {2} V}{\partial z ^ {2}} + k ^ {2} \cdot V = 0 r 1 ∂ r ∂ ( r ⋅ ( ∂ r ∂ V ) ) + ( r 2 1 ) ⋅ ∂ θ 2 ∂ 2 V + ∂ z 2 ∂ 2 V + k 2 ⋅ V = 0
I will solve the last equation.
Assume
V ( r , θ , z ) = R ( r ) Θ ( θ ) Z ( z ) V (r, \theta , z) = R (r) \Theta (\theta) Z (z) V ( r , θ , z ) = R ( r ) Θ ( θ ) Z ( z )
Then,
Θ Z 1 r ∂ ∂ r ( r ⋅ ( ∂ R ∂ r ) ) + R Z ( 1 r 2 ) ⋅ ∂ 2 Θ ∂ θ 2 + R Θ ∂ 2 Z ∂ z 2 + k 2 ⋅ R Θ Z = 0 ∣ ÷ ( 1 R Θ Z ) → 1 R 1 r ∂ ∂ r ( r ⋅ ( ∂ R ∂ r ) ) + 1 Θ ( 1 r 2 ) ⋅ ∂ 2 Θ ∂ θ 2 + 1 Z ∂ 2 Z ∂ z 2 + k 2 = 0 → 1 R 1 r ∂ ∂ r ( r ⋅ ( ∂ R ∂ r ) ) + 1 Θ ( 1 r 2 ) ⋅ ∂ 2 Θ ∂ θ 2 + k 2 = − 1 Z ∂ 2 Z ∂ z 2 \begin{array}{l} \Theta Z \frac {1}{r} \frac {\partial}{\partial r} \left(r \cdot \left(\frac {\partial R}{\partial r}\right)\right) + R Z \left(\frac {1}{r ^ {2}}\right) \cdot \frac {\partial^ {2} \Theta}{\partial \theta^ {2}} + R \Theta \frac {\partial^ {2} Z}{\partial z ^ {2}} + k ^ {2} \cdot R \Theta Z = 0 \Bigg | \div \left(\frac {1}{R \Theta Z}\right) \rightarrow \\ \frac {1}{R} \frac {1}{r} \frac {\partial}{\partial r} \left(r \cdot \left(\frac {\partial R}{\partial r}\right)\right) + \frac {1}{\Theta} \left(\frac {1}{r ^ {2}}\right) \cdot \frac {\partial^ {2} \Theta}{\partial \theta^ {2}} + \frac {1}{Z} \frac {\partial^ {2} Z}{\partial z ^ {2}} + k ^ {2} = 0 \rightarrow \\ \frac {1}{R} \frac {1}{r} \frac {\partial}{\partial r} \left(r \cdot \left(\frac {\partial R}{\partial r}\right)\right) + \frac {1}{\Theta} \left(\frac {1}{r ^ {2}}\right) \cdot \frac {\partial^ {2} \Theta}{\partial \theta^ {2}} + k ^ {2} = - \frac {1}{Z} \frac {\partial^ {2} Z}{\partial z ^ {2}} \\ \end{array} Θ Z r 1 ∂ r ∂ ( r ⋅ ( ∂ r ∂ R ) ) + RZ ( r 2 1 ) ⋅ ∂ θ 2 ∂ 2 Θ + R Θ ∂ z 2 ∂ 2 Z + k 2 ⋅ R Θ Z = 0 ∣ ∣ ÷ ( R Θ Z 1 ) → R 1 r 1 ∂ r ∂ ( r ⋅ ( ∂ r ∂ R ) ) + Θ 1 ( r 2 1 ) ⋅ ∂ θ 2 ∂ 2 Θ + Z 1 ∂ z 2 ∂ 2 Z + k 2 = 0 → R 1 r 1 ∂ r ∂ ( r ⋅ ( ∂ r ∂ R ) ) + Θ 1 ( r 2 1 ) ⋅ ∂ θ 2 ∂ 2 Θ + k 2 = − Z 1 ∂ z 2 ∂ 2 Z
In the above equation the left-hand side depends on r r r and θ \theta θ , while the right-hand side depends on z z z . The only way these two members are going to be equal for all values of r r r , θ \theta θ and z z z is when both of them are equal to a constant. Let us define such constant as − l 2 -l^2 − l 2 .
With this choice for the constant, we obtain:
d 2 Z d z 2 − l 2 ⋅ Z = 0 \frac {d ^ {2} Z}{d z ^ {2}} - l ^ {2} \cdot Z = 0 d z 2 d 2 Z − l 2 ⋅ Z = 0
The general solution of this equation is:
Z ( z ) = A 1 e l z + A 2 e − l z Z(z) = A_1 e^{lz} + A_2 e^{-lz} Z ( z ) = A 1 e l z + A 2 e − l z
Such a solution, when considering the specific boundary conditions, will allow Z ( z ) Z(z) Z ( z ) to go to zero for z z z going to ± ∞ \pm \infty ± ∞ , which makes physical sense. If we had given the constant a value of l 2 l^2 l 2 , we would have had periodic trigonometric functions, which do not tend to zero for z z z going to infinity.
Once sorted the z z z -dependency, we need take care of r r r and θ \theta θ .
1 R 1 r ∂ ∂ r ( r ⋅ ( ∂ R ∂ r ) ) + 1 Θ ( 1 r 2 ) ⋅ ∂ 2 Θ ∂ θ 2 + k 2 = − l 2 → \frac{1}{R} \frac{1}{r} \frac{\partial}{\partial r} \left(r \cdot \left(\frac{\partial R}{\partial r}\right)\right) + \frac{1}{\Theta} \left(\frac{1}{r^2}\right) \cdot \frac{\partial^2 \Theta}{\partial \theta^2} + k^2 = -l^2 \rightarrow R 1 r 1 ∂ r ∂ ( r ⋅ ( ∂ r ∂ R ) ) + Θ 1 ( r 2 1 ) ⋅ ∂ θ 2 ∂ 2 Θ + k 2 = − l 2 → 1 R 1 r ∂ ∂ r ( r ⋅ ( ∂ R ∂ r ) ) + 1 Θ ( 1 r 2 ) ⋅ ∂ 2 Θ ∂ θ 2 = − ( k 2 + l 2 ) → \frac{1}{R} \frac{1}{r} \frac{\partial}{\partial r} \left(r \cdot \left(\frac{\partial R}{\partial r}\right)\right) + \frac{1}{\Theta} \left(\frac{1}{r^2}\right) \cdot \frac{\partial^2 \Theta}{\partial \theta^2} = -(k^2 + l^2) \rightarrow R 1 r 1 ∂ r ∂ ( r ⋅ ( ∂ r ∂ R ) ) + Θ 1 ( r 2 1 ) ⋅ ∂ θ 2 ∂ 2 Θ = − ( k 2 + l 2 ) → 1 R 1 r ( ∂ R ∂ r + r ⋅ ∂ 2 R ∂ r 2 ) + 1 Θ ( 1 r 2 ) ⋅ ∂ 2 Θ ∂ θ 2 = − ( k 2 + l 2 ) → \frac{1}{R} \frac{1}{r} \left(\frac{\partial R}{\partial r} + r \cdot \frac{\partial^2 R}{\partial r^2}\right) + \frac{1}{\Theta} \left(\frac{1}{r^2}\right) \cdot \frac{\partial^2 \Theta}{\partial \theta^2} = -(k^2 + l^2) \rightarrow R 1 r 1 ( ∂ r ∂ R + r ⋅ ∂ r 2 ∂ 2 R ) + Θ 1 ( r 2 1 ) ⋅ ∂ θ 2 ∂ 2 Θ = − ( k 2 + l 2 ) → 1 R ∂ 2 R ∂ r 2 + 1 R 1 r ∂ R ∂ r + 1 Θ ( 1 r 2 ) ⋅ ∂ 2 Θ ∂ θ 2 = − ( k 2 + l 2 ) ∣ × ( r 2 ) → \left. \frac{1}{R} \frac{\partial^2 R}{\partial r^2} + \frac{1}{R} \frac{1}{r} \frac{\partial R}{\partial r} + \frac{1}{\Theta} \left(\frac{1}{r^2}\right) \cdot \frac{\partial^2 \Theta}{\partial \theta^2} = - (k^2 + l^2) \right| \times (r^2) \rightarrow R 1 ∂ r 2 ∂ 2 R + R 1 r 1 ∂ r ∂ R + Θ 1 ( r 2 1 ) ⋅ ∂ θ 2 ∂ 2 Θ = − ( k 2 + l 2 ) ∣ ∣ × ( r 2 ) → r 2 R ∂ 2 R ∂ r 2 + r R ∂ R ∂ r + ( k 2 + l 2 ) r 2 = 1 Θ ⋅ ∂ 2 Θ ∂ θ 2 \frac{r^2}{R} \frac{\partial^2 R}{\partial r^2} + \frac{r}{R} \frac{\partial R}{\partial r} + (k^2 + l^2) r^2 = \frac{1}{\Theta} \cdot \frac{\partial^2 \Theta}{\partial \theta^2} R r 2 ∂ r 2 ∂ 2 R + R r ∂ r ∂ R + ( k 2 + l 2 ) r 2 = Θ 1 ⋅ ∂ θ 2 ∂ 2 Θ
Again we are in a situation where the only way a solution can be found for the above equation is when both members are equal to a constant. This time we select a positive constant, which we call m 2 m^2 m 2 . The equation for Θ \Theta Θ becomes, for:
d 2 Θ d θ 2 + m 2 Θ = 0 \frac{d^2 \Theta}{d \theta^2} + m^2 \Theta = 0 d θ 2 d 2 Θ + m 2 Θ = 0
This solution is well suited, to describe the variation for an angular coordinate like θ \theta θ . Had we chosen the set both members equal to a negative number, we would have ended up with exponential functions with a different value assigned to Θ ( θ ) \Theta(\theta) Θ ( θ ) for each 360 ∘ 360{}^\circ 360 ∘ turn, a clear non-physical solution.
Last to be examined is the r r r -dependency. We have:
r 2 R d 2 R d r 2 + r R d R d r + ( k 2 + l 2 ) r 2 = m 2 → \frac{r^2}{R} \frac{d^2 R}{d r^2} + \frac{r}{R} \frac{d R}{d r} + (k^2 + l^2) r^2 = m^2 \rightarrow R r 2 d r 2 d 2 R + R r d r d R + ( k 2 + l 2 ) r 2 = m 2 → r 2 ⋅ d 2 R d r 2 + r ⋅ d R d r + [ ( k 2 + l 2 ) r 2 − m 2 ] ⋅ R = 0 r^2 \cdot \frac{d^2 R}{d r^2} + r \cdot \frac{d R}{d r} + [(k^2 + l^2) r^2 - m^2] \cdot R = 0 r 2 ⋅ d r 2 d 2 R + r ⋅ d r d R + [( k 2 + l 2 ) r 2 − m 2 ] ⋅ R = 0
This equation is a well-known equation of mathematical physics called parametric Bessel's equation. With sample linear transformation of variable, x = r ⋅ ( k 2 + l 2 ) x = r \cdot \sqrt{(k^2 + l^2)} x = r ⋅ ( k 2 + l 2 ) , equation is readily changed into a Bessel's equation:
d R d r = d R d x ⋅ d x d r = k 2 + l 2 ⋅ R ′ \frac {d R}{d r} = \frac {d R}{d x} \cdot \frac {d x}{d r} = \sqrt {k ^ {2} + l ^ {2}} \cdot R ^ {\prime} d r d R = d x d R ⋅ d r d x = k 2 + l 2 ⋅ R ′ d 2 R d r 2 = d d x ( k 2 + l 2 ⋅ R ′ ) ⋅ d x d r = ( k 2 + l 2 ) ⋅ R ′ ′ \frac {d ^ {2} R}{d r ^ {2}} = \frac {d}{d x} \Big (\sqrt {k ^ {2} + l ^ {2}} \cdot R ^ {\prime} \Big) \cdot \frac {d x}{d r} = (k ^ {2} + l ^ {2}) \cdot R ^ {\prime \prime} d r 2 d 2 R = d x d ( k 2 + l 2 ⋅ R ′ ) ⋅ d r d x = ( k 2 + l 2 ) ⋅ R ′′
Then,
r 2 ⋅ d 2 R d r 2 + r ⋅ d R d r + [ ( k 2 + l 2 ) r 2 − m 2 ] ⋅ R = 0 → r ^ {2} \cdot \frac {d ^ {2} R}{d r ^ {2}} + r \cdot \frac {d R}{d r} + [ (k ^ {2} + l ^ {2}) r ^ {2} - m ^ {2} ] \cdot R = 0 \rightarrow r 2 ⋅ d r 2 d 2 R + r ⋅ d r d R + [( k 2 + l 2 ) r 2 − m 2 ] ⋅ R = 0 → x 2 ( k 2 + l 2 ) ⋅ ( k 2 + l 2 ) ⋅ R ′ ′ + x k 2 + l 2 ⋅ k 2 + l 2 ⋅ R ′ + [ x 2 − m 2 ] ⋅ R = 0 → \frac {x ^ {2}}{(k ^ {2} + l ^ {2})} \cdot (k ^ {2} + l ^ {2}) \cdot R ^ {\prime \prime} + \frac {x}{\sqrt {k ^ {2} + l ^ {2}}} \cdot \sqrt {k ^ {2} + l ^ {2}} \cdot R ^ {\prime} + [ x ^ {2} - m ^ {2} ] \cdot R = 0 \rightarrow ( k 2 + l 2 ) x 2 ⋅ ( k 2 + l 2 ) ⋅ R ′′ + k 2 + l 2 x ⋅ k 2 + l 2 ⋅ R ′ + [ x 2 − m 2 ] ⋅ R = 0 → x 2 ⋅ R ′ ′ + x ⋅ R ′ + [ x 2 − m 2 ] ⋅ R = 0 x ^ {2} \cdot R ^ {\prime \prime} + x \cdot R ^ {\prime} + [ x ^ {2} - m ^ {2} ] \cdot R = 0 x 2 ⋅ R ′′ + x ⋅ R ′ + [ x 2 − m 2 ] ⋅ R = 0
where R ′ ′ R'' R ′′ and R ′ R' R ′ indicate the first and second derivatives with respect to x x x .
In what follows we will assume that m m m is a real, non-negative number.
Linearly independent solutions are typically denoted by J m ( x ) J_{m}(x) J m ( x ) (Bessel Functions) and N m ( x ) N_{m}(x) N m ( x ) (Neumann Functions).
Answer provided by https://www.AssignmentExpert.com