Are Bessel Functions Differentiable at Boundary Conditions?

Click For Summary
SUMMARY

The discussion centers on the differentiability of Bessel functions at boundary conditions, specifically at r=a, where two solutions, R_1 and R_2, must meet. The continuity condition requires c_1J_\gamma(\kappa a) = c_2K_\gamma(\sigma a), while the differentiability condition necessitates c_1J'_\gamma(\kappa a) = c_2K'_\gamma(\sigma a). The participant notes the challenge of connecting Bessel functions of the first kind with Neumann functions and emphasizes that smooth connections are only possible with linear combinations of Bessel and Neumann functions. The teacher's clarification regarding continuity at the tangential field rather than the radial field is also highlighted.

PREREQUISITES
  • Understanding of Bessel functions of the first kind (J) and second kind (K)
  • Familiarity with differential equations and boundary value problems
  • Knowledge of continuity and differentiability conditions in mathematical analysis
  • Experience with matrix determinants in solving systems of equations
NEXT STEPS
  • Study the properties of Bessel functions, focusing on their continuity and differentiability
  • Learn about boundary value problems in differential equations
  • Explore the relationship between Bessel functions and Neumann functions
  • Investigate linear combinations of Bessel and Neumann functions in applied contexts
USEFUL FOR

Mathematicians, physicists, and engineering students dealing with differential equations, particularly those involving Bessel functions and boundary conditions.

dikmikkel
Messages
160
Reaction score
0

Homework Statement


I want to make sure that a solution to a differrential equation given by bessel functions of the first kind and second kind meet at a border(r=a), and it to be differenitable. So i shall determine the constants c_1 and c_2

I use notation from Schaums outlines

Homework Equations


The functions:
[itex]R_1 = c_1J_\gamma(\kappa r),\hspace{8pt}r\in [0,a]\\<br /> R_2 = c_2K_\gamma(\sigma r),\hspace{8pt}r\in[a,b][/itex]

The Attempt at a Solution


For the solution to be continuous at r=a:
[itex]c_1J_\gamma(\kappa a) = c_2K_\gamma(\sigma a)[/itex]
For it to be differentiable:
[itex]c_1J'_\gamma(\kappa a) = c_2K'_\gamma(\sigma a)[/itex]
I tried taking the determinant of the matrix describing the system at set it equal to zero, but i didn't seem to work. I also know from another part of the problem, that [itex]\gamma\in\mathbb{Z}[/itex]
But is there a trick I've missed?
 
Physics news on Phys.org
Consider the extreme case of σ = [itex]\kappa[/itex], what you try to do is impossible. You can't expect a Bessel function to smoothly connect to a Neumann function, in the general case, you can only expect a Bessel function to connect smoothly with a linear combination of Bessel and Neumann functions. (Incident+Reflected=Transmitted)
 
Yeah my teacher said so too. He mentioned that of course the contuinity should be at the tangential field, not the radial. But thanks for the help.
 

Similar threads

  • · Replies 13 ·
Replies
13
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
Replies
2
Views
2K
Replies
1
Views
11K
Replies
9
Views
2K