Основные методы решения практических задач в курсе «Уравнения математической физики». Учебное пособие
.pdf
§ 1.. Введение в теорию функций Бесселя |
|
|
|
|
181 |
|
и удовлетворяет условиям J0(0) = 1, J0′(0) = 0. Она представляется в виде |
||||||
ряда |
∞ |
(−1)k x 2k . |
||||
J (x) = |
||||||
0 |
∑ |
|
( |
|
) |
|
k=0 |
(k!) |
2 |
|
|||
Этот факт легко проверить непосредственной подстановкой J0(x) в уравнение (1.2). Нетрудно показать, что радиус сходимости степенного ряда равен бесконечности и, значит, J0(x) имеет производные любого порядка на (−∞, ∞). Второе частное решение уравнения (1.2), линейно независимое от J0(x), можно получить известным в теории приемом. Оно представ-
ляется в виде w
dx y2(x) = J0(x) xJ02(x).
В точке x = 0 это решение имеет логарифмическую особенность. Однако для построения общего решения уравнения (1.2) привлекают другое частное решение — функцию Неймана, N0(x), которая определяется пределом
N0(x) = lim Jν(x) cos(νπ) − J−ν(x) ν→0 sin(νπ)
и в некотором смысле более удобна, чем y2(x). Функция N0(x) линейно независимая от J0(x) и также неограниченная при x → 0. Общее решение уравнения (1.2) представимо в виде
y(x) = C1J0(x) + C2N0(x). |
(1.3) |
Перечислим основные свойства функции J0(x):
1.J0(x) — четная функция, определенная на всей оси.
2.Уравнение J0(x) = 0 имеет бесконечное счетное множество вещественных решений и не имеет комплексных. Положительные корни обо-
значаются µk, k N. При k → ∞ и µk → ∞, причем klim µk/k = π. |
||||
|
|
µkx |
→∞ |
|
3. Функции {J0 |
( |
)} образуют полную систему ортогональных на |
||
ℓ |
||||
отрезке [0, ℓ] функций с весом ρ(x) = x, т. е.
0 |
( |
ℓ |
) |
( |
ℓ |
) |
wℓ xJ0 |
|
µkx |
J0 |
|
µmx |
dx = 0, |
|
|
|
|
если µk ≠ µm.
182Глава VI. Задачи, решение которых требует привлечения функций Бесселя
4.Если µk = µm, то
0 |
( |
ℓ |
) |
|
|
2 |
|
|
||
wℓ xJ02 |
|
µkx |
dx = |
ℓ2J12(µk) |
. |
(1.4) |
||||
|
|
|
|
|
|
|||||
Функция J1(x) определяется рядом |
|
|
x 2k+1 , |
|
||||||
J (x) = |
|
∞ |
(−1)k |
|
|
|
||||
1 |
∑ |
|
|
( |
|
) |
|
|
||
k=0 |
k!(k + 1)! |
2 |
|
|
||||||
который сходится на всей оси. Заметим, что J1(0) = 0. Функции J0(x) и J1(x) связаны формулами дифференцирования
J0′(x) = −J1(x), |
(1.5) |
(xJ1(x))′ = xJ0(x). |
(1.6) |
С помощью (1.5) и (1.6) несложно вычислить интегралы |
|
wx zJ0(z) dz = xJ1(x), |
(1.7) |
0 |
|
wx z3J0(z) dz = 2x2J0(x) + (x3 − 4x)J1(x). |
(1.8) |
0 |
|
При вычислении интегралов от бесселевых функций полезно тождество wℓ
|
|
|
|
|
|
|
|
|
|
|
xJν(k1x)Jν(k2x) dx = |
|
|
|
|
(1.9) |
|||||||||
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ℓ(k |
J′ |
(k |
ℓ)J |
ν |
(k |
ℓ) |
− |
k |
J′ |
(k |
ℓ)J |
ν |
(k |
ℓ)) |
|
|
|
|||||
|
= |
|
|
1 |
ν |
1 |
|
|
|
2 |
|
2 |
ν |
2 |
|
1 |
|
, k |
= k |
. |
|||||
|
|
|
|
|
|
|
|
|
|
k22 − k12 |
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
µkx |
|
|
|
|
|
|
|
1 ̸ |
2 |
|
||||||
Помимо системы |
J0 |
|
функций, ортогональных на отрезке [0, ℓ] |
||||||||||||||||||||||
|
|
|
|
||||||||||||||||||||||
|
ℓ |
|
|||||||||||||||||||||||
|
ρ(x) |
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
с весом |
≡ |
, на |
практике для уравнения (1.1) рассматриваются и дру- |
||||||||||||||||||||||
|
|
|
( |
|
|
|
) |
|
|
|
|
|
|
|
|
|
|
|
|
||||||
гие системы, порожденные поставленными краевыми задачами. Основные условия таковы (см., например, задачи 6.8, 6.9 и др.):
I. |Jν(0)| < ∞, Jν(ℓ) = 0.
§ 1.. Введение в теорию функций Бесселя |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
183 |
||||||||||||||||||||||||||||
II. | |
J |
ν |
(0) |
| |
< |
∞, |
J′ |
(ℓ) = 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
ν |
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
III. | |
J |
ν |
(0) |
| |
< |
∞, |
ℓJ |
|
′ |
(ℓ) + hJ |
ν |
(ℓ) = 0 |
h > 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
ν |
|
|
|
|
|
|
|
|
|
|
|
|
|
, |
|
|
. |
|
|
|
( |
αnx |
) |
|
|
|
|
||||||||||||||
Решениями краевых задач будут функции J |
|
|
, где α |
— соответ- |
||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||
ственно корни уравнений |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ν |
|
ℓ |
|
|
|
n |
|||||||||||||||||||||||||||
|
|
|
|
|
Jν(γ) = 0, Jν′ (γ) = 0, γJν′ (γ) + hJν(γ) = 0, h > 0. |
|||||||||||||||||||||||||||||||||||||||||||
Каждое уравнение |
имеет счетное |
множество |
|
|
|
положительных корней |
||||||||||||||||||||||||||||||||||||||||||
и не имеет комплексных корней. Функции |
Jν |
|
|
αnx |
|
ортогональны с ве- |
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
ℓ |
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
ρ(x) |
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
[0, ℓ] |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
сом |
|
|
|
на отрезке |
|
, что легко |
проверить, воспользовавшись |
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
≡ |
|
|
|
|
|
|
|
( |
|
|
|
|
|
|
) |
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
αm |
|
|
|
|
|
αn |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
равенством (1.9) при k1 = |
|
|
|
и k2 = |
|
|
, αm ̸= αn. Этим же тождеством |
|||||||||||||||||||||||||||||||||||||||||
|
ℓ |
|
ℓ |
|||||||||||||||||||||||||||||||||||||||||||||
пользуются для вычисления квадратов норм Jν ( |
αnx |
): |
|
|
||||||||||||||||||||||||||||||||||||||||||||
|
ℓ |
|
) |
|
||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
0 |
|
( |
|
|
ℓ |
|
|
) |
|
|
|
|
α→αn 0 |
|
( ℓ |
|
) ( |
|
ℓ |
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
ℓ |
|
|
|
|
αnx |
|
|
|
|
|
|
|
|
|
ℓ |
|
|
αx |
|
|
|
|
|
|
|
αnx |
|
|
||||||||||
|
|
|
Hn2 |
|
= |
|
w xJν2 |
|
|
|
|
|
|
|
|
|
|
dx = lim w xJν |
|
|
|
|
|
|
|
Jν |
|
|
|
dx = |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
α |
n |
J |
ν |
(α)J′ |
(α ) |
− |
αJ′ (α)J |
ν |
(α |
n |
) |
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
= |
|
lim ℓ2 |
|
|
|
|
|
|
|
|
|
ν |
n |
|
ν |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
α2 − αn2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
α→αn |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
неопределенность раскрывается по правилу Лопиталя. В итоге |
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
[ |
|
|
|
|
|
|
|
( |
− |
αn2 ) |
|
|
|
|
|
|
|
] |
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
H2 |
= |
ℓ2 |
|
|
(J′ (αn))2 + 1 |
|
ν2 |
|
|
|
J2(αn) . |
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
ν |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ν |
|
|
|
|
|
|
|
||
Для более полного ознакомления с приведенными без доказательств фактами отсылаем читателя к учебникам [3, 6, 11].
1.1.Радиальные колебания круглой мембраны
Вкачестве примера приведем решение задачи № 113 [10].
Пример 1.1. Найти собственные колебания однородной круглой мембраны радиуса R, закрепленной по краям, если в начальный момент она представляет поверхность параболоида, а начальные скорости равны нулю.
Решение. Считаем, что мембрана занимает некоторую область D плоскости xOy с границей L, в задаче это круг радиуса R с центром в начале
184 Глава VI. Задачи, решение которых требует привлечения функций Бесселя
координат. Неизвестная функция u = u(x, y, t) является отклонением точки D с координатами x, y в момент времени t. Проблема сводится к интегрированию следующего уравнения:
|
∂2u |
|
|
∂2u |
∂2u |
|
||||
|
|
|
|
= a2 |
( |
|
+ |
|
) |
(1.10) |
|
∂t2 |
∂x2 |
∂y2 |
|||||||
при выполнении краевого условия |
|
|
|
|
|
|
||||
|
|
|
|
u(x, y, t) L= 0. |
(1.11) |
|||||
Кроме того, задаются начальные данные: |
|
|
|
|||||||
|
|
u(x, y, 0) = f(x, y), |
(1.12) |
|||||||
|
|
∂u |
(x, y, 0) = F (x, y). |
(1.13) |
||||||
|
|
∂t |
||||||||
|
|
|
|
|
|
|
|
|
||
По условию задачи функция F (x, y) ≡ 0. Определим начальное отклонение. В декартовых координатах начальные отклонения мембраны запишутся так: u(x, y, 0) = A(x2 + y2) + B, A и B — неизвестные постоянные. Одно условие на эти неизвестные — равенство нулю функции u на границе круга, окружности x2 + y2 = R2. Имеем AR2 + B = 0. Второе ограничение получим, положив значение u в точке O(0, 0) в момент t = 0 равным h. Это дает равенство B = h. В итоге
u(x, y, 0) = Rh2 (R2 − x2 − y2) = Rh2 (R2 − r2).
Перейдем в уравнении (1.10) к полярным координатам, полагая x = r cos φ, y = r sin φ. Это известная задача (см., в частности, пример № 3484 [7]). В результате замены уравнение (1.10) запишется в виде
∂2u |
|
|
∂2u 1 ∂u 1 ∂2u |
|
|||||||||
|
= a2 |
( |
|
+ |
|
|
|
+ |
|
|
|
). |
(1.14) |
∂t2 |
∂u2 |
r |
∂r |
r2 |
∂φ2 |
||||||||
Начальные и краевые условия решаемой задачи позволяют судить, что искомая функция не будет зависеть от переменной φ. Такие колебания
∂2u
мембраны называют радиальными. В этом случае ∂φ2 = 0. Кроме того, точка r = 0 является особой и требуется дополнительное краевое условие, естественно предположить ограниченность u = u(r, t) при r = 0.
§ 1.. Введение в теорию функций Бесселя |
|
|
|
|
|
185 |
|||||||
Итак, требуется найти решение уравнения |
|
||||||||||||
|
∂2u |
|
|
|
|
∂2u |
|
1 ∂u |
|
||||
|
|
= a2 |
( |
|
|
+ |
|
|
|
), |
(1.15) |
||
|
∂t2 |
∂u2 |
r |
∂r |
|||||||||
удовлетворяющее условиям |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
u r=0 < ∞, |
(1.16) |
|||||||||
|
|
|u(R, t|) = 0, |
(1.17) |
||||||||||
|
|
|
|
|
h |
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
(1.18) |
||
|
u(r, 0) = |
|
(R2 − r2), |
||||||||||
|
R2 |
||||||||||||
|
|
|
∂u |
(r, 0) = 0. |
(1.19) |
||||||||
|
|
|
∂t |
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Поставленная задача решается методом Фурье. Ищем частные решения уравнения (1.15), удовлетворяющие условиям (1.16) и (1.17), в виде произведения u(r, t) = X(r)T (t). Подставляя искомую функцию в (1.15),
получаем
X(r)T ′′(t) = a2(X′′(r) + X′(r)/r)T (t).
Разделим переменные: |
|
|
|
|
|
T ′′ |
= |
X′′ + X′/r |
= µ. |
|
a2T |
X |
||
|
|
|
||
Данная задача разрешима только для отрицательных µ, для простоты µ = −λ2. Для X(r) получаем уравнение X′′ + X/r = −λ2X. Умножим его на r2, теперь r2X′′ + rX′ + λ2r2X = 0, или
r(rXr′)r′ + λ2r2X = 0. |
(1.20) |
Равенство (1.20) отличается от уравнения (1.2) наличием параметра λ. Сделаем замену: x = λr, r = x/λ. Имеем Xr′ = Xx′ /rx′ = λXx′ . Отсюда
rXr′ = xXx′ . Далее, r(rXr′)′r = x(xXx′ )′x. Теперь (1.20) запишется так:
x(xXx′ )′x + x2X(x) = 0.
Получено уравнение Бесселя нулевого порядка, общее решение которого
записывается в виде X(x) = C1J0(x) + C2N0(x), а |
|
X(r) = C1J0(λr) + C2N0(λr). |
(1.21) |
§ 1.. Введение в теорию функций Бесселя |
187 |
вычислим интегрированием по частям, предлагая описанную ниже технику. Сначала сделаем замену в интеграле µkr/R = x, с тем чтобы без хлопот воспользоваться формулами (1.5) и (1.6). Имеем r = xR/µk, dr = = (R/µk) dx, пределы для x: 0 6 x 6 µk. Теперь
|
R4 |
µk |
|
Ik = |
|
w |
(µk2 − x2)xJ0(x) dx. |
µ4 |
|||
|
k |
0 |
|
Интегрируем по частям, полагая u = µ2k−x2, dv = xJ0(x) dx = (xJ1(x))′ dx. В последнем преобразовании мы воспользовались равенством (1.6). Далее,
du = −2x dx, v = xJ1 |
(x). Теперь |
|
|
|
|||||
|
|
|
( |
− |
|
|
w |
) |
|
|
µk4 |
|
0 |
||||||
|
|
|
|
|
|
|
0 |
|
|
Ik = R |
4 |
(µk2 |
|
|
µk |
µk |
|
||
|
|
|
x2)xJ1(x) +2 x2J1(x) dx . |
||||||
Внеинтегральный член в последнем |
равенстве будет равен нулю, что |
||||||||
следует из свойств разлагаемой функции. В интеграле заменим J1(x) на −J0′(x), воспользовавшись равенством (1.5):
|
|
R4 |
µk |
|
|
|
|
2 |
|
|
|
|
|
|
|
2 |
|
|
|
|
u = x , |
du = 2x dx |
|
||||
Ik = |
|
w x2J0′(x) dx = |
|
= |
|||||||||
4 |
|
|
|
||||||||||
|
− µk |
0 |
|
|
|
µk |
|
v = J0(x) |
|
||||
|
|
|
|
|
dv = J0′(x) dx, |
|
|
||||||
|
− |
|
( |
|
|
− w |
|
) |
|
|
|
||
|
µk4 |
0 |
|
|
|
||||||||
|
|
2R4 |
x2J0(x) |
|
µk |
|
|
|
|
|
|
||
= |
|
|
|
|
2 xJ0(x) dx . |
|
|
|
|||||
И снова внеинтегральный член |
равен нулю, но теперь на верхнем преде- |
||||||||||||
ле по причине того, что µk — корень уравнения J0(x) = 0. Далее, снова применяем равенство (1.6) и завершаем вычисления:
|
|
|
4R4 |
µk |
|
|
4R4 |
|
|
µk |
|
4R4J1(µk) |
||||||
Ik = |
|
|
w (xJ1(x))′ dx = |
|
|
xJ1 |
(x) = |
|
|
. |
||||||||
|
4 |
4 |
|
3 |
||||||||||||||
|
|
|
µk |
0 |
|
|
|
µk |
0 |
|
|
µk |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
8h |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Теперь ak = |
|
|
|
|
|
, и, наконец, искомая функция равна |
||||||||||||
3 |
J1 |
|
|
|||||||||||||||
|
µ |
(µk) |
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
1 |
|
|
|
µka |
|
( |
µkr |
). |
|
|
|
|
u(r, t) = 8h k=0 |
µk3J1(µk) cos |
R tJ0 |
R |
|
||||||||||||
|
|
|
|
|
|
∑ |
|
|
|
|
|
|
|
|
|
|
|
|
Заметим, что при вычислении Ik можно было сразу воспользоваться равенствами (1.7) и (1.8), но мы хотели показать технику работы с функциями Бесселя и идею получения равенства (1.8).
188 Глава VI. Задачи, решение которых требует привлечения функций Бесселя
1.2. Задача о малых колебаниях тяжелой нити
Рассмотрим еще один пример применения бесселевых функций — интегрирование уравнения малых колебаний тяжелой нити. Полагаем, что данная нить однородна, имеет линейную постоянную плотность, равную ρ, практически нерастяжима и легко изгибаема. Реализуется, например, в виде тонкой цепочки. Пусть в положении равновесия нить расположена вертикально и закреплена в верхней точке. Направим ось абсцисс вертикально вверх, нить закреплена в точке x = ℓ, а x = 0 — ее конец (не закрепленный). Пусть она выведена из положения равновесия, u(x, t) — отклонение точки x от вертикали в момент времени t. Предполагая малыми u(x, t)
|
∂u |
|
∂u |
2 |
|
|
|
|
|
|
|
|
и |
|
(( |
|
) |
≈ 0), можно вывести уравнение колебаний [6] |
|
||||||
∂x |
∂x |
|
||||||||||
|
|
|
|
|
|
∂2u |
|
∂ |
|
∂u |
|
|
|
|
|
|
|
|
|
= a2 |
|
(x |
|
). |
(1.25) |
|
|
|
|
|
|
∂t2 |
∂x |
∂x |
||||
Здесь a2 = g, g — ускорение силы тяжести. Уравнение (1.25) решается при начальных условиях
u(x, 0) = f(x), |
∂u |
(x, 0) = F (x), |
(1.26) |
|
∂t |
||||
|
|
|
f(x) и F (x) — достаточно гладкие функции.
Краевое условие для x = ℓ сразу определяется постановкой задачи: нить закреплена, а значит,
u(ℓ, t) = 0. |
(1.27) |
В точке x = 0 мы не располагаем никакими условиями, кроме естественного требования ограниченности u(x, t), что, оказывается, будет достаточным. Итак,
|u(0, t)| < ∞. |
(1.28) |
Приступаем к решению задачи, применяя метод Фурье. Ищем частные решения уравнения (1.25), удовлетворяющие только краевым условиям (1.27) и (1.28), в виде произведения u(x, t) = X(x)T (t). Подставляя это произведение в (1.25) и разделяя переменные, получаем
T ′′(t) |
|
= |
(xX′(x))′ |
= −λ2. |
(1.29) |
a2T (t) |
X(x) |
||||
§ 1.. Введение в теорию функций Бесселя |
189 |
Функция X(x) должна удовлетворять соотношению |
|
(xX′(x))′ + λ2X(x) = 0, |
|
умножая его на x, имеем уравнение |
|
x(xX′(x))′ + λ2xX(x) = 0, |
(1.30) |
которое решается при условиях |X(0)| < ∞, X(ℓ) = 0. Равенство (1.30) похоже на уравнение Бесселя (1.20), но показатель аргумента x во втором слагаемом не равен двум. Однако заменой x = ξ2 этот «дефект» можно устранить. Итак, пусть x = ξ2, X(ξ2) = Y (ξ). Теперь
|
|
|
|
|
Y ′ |
|
|
Y ′ |
|
Y ′(ξ) |
|
|
|||
X′(x) = |
ξ |
= |
|
|
|
ξ |
= |
, |
|
||||||
|
|
|
2ξ |
|
|
||||||||||
|
|
|
|
|
x′ |
|
|
|
2ξ |
|
|||||
|
|
|
|
|
ξ |
|
|
|
|
|
|
|
|
||
а |
|
|
|
|
|
|
|
1 |
|
|
|
|
|
||
|
|
|
|
xX′(x) = |
|
ξY ′(ξ). |
|
||||||||
|
|
|
2 |
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||
Аналогично x(xX′(x))′ = |
1 |
ξ(ξY ′(ξ))′ |
, и уравнение (1.30) перепишется та- |
||||||||||||
4 |
|||||||||||||||
ким образом: |
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
ξ(ξY ′(ξ))′ + 4λ2ξ2Y (ξ) = 0, |
(1.31) |
||||||||||||||
√ |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
при этом |Y (0)| < ∞, Y ( |
|
ℓ) = 0. Общее решение (1.31) равно |
|
||||||||||||
Y (ξ) = C1J0(2λξ) + C2N0(2λξ),
см. равенство (1.21). Требование ограниченности Y (ξ) в нуле будет выпол-
нено лишь при C2 = 0, C1 ̸= 0, и для нахождения λ получим соотношение |
||||||||||||
√ |
|
) = 0. Обозначая нули J0(x) через µ1, µ2, . . . , получаем |
||||||||||
J0(2λ |
ℓ |
|||||||||||
|
|
|
µk |
|
|
|
|
µkξ |
||||
|
|
λk = |
2√ |
|
, Yk(ξ) = AkJ0 ( |
√ |
|
), |
||||
|
|
ℓ |
ℓ |
|||||||||
Ak — произвольный множитель. Искомая функция |
||||||||||||
|
|
Xk(x) = AkJ0 (µk√ |
|
|
|
|
||||||
|
|
|
x |
|||||||||
|
|
|
|
). |
||||||||
|
|
|
ℓ |
|||||||||
Функцию T (t) находим из уравнения |
|
|
|
|
|
|
|
|||||
T ′′(t) + λ2ka2T (t) = 0,
Tk(t) = Bk cos λkat + Ck sin λkat,
190 Глава VI. Задачи, решение которых требует привлечения функций Бесселя
Bk, Ck — произвольные постоянные. Формальное решение представляем рядом
∞ |
|
|
|
|
|
|
|
|
(ak cos λkat + bk sin λkat)J0 |
(µk |
√ |
x |
(1.32) |
||||
u(x, t) = k=1 |
ℓ ). |
|||||||
∑ |
|
|
|
|
|
|
|
|
Здесь положено ak = AkBk, bk = AkCk. Коэффициенты ak, bk неизвестны, но предполагается, что ряд (1.32) сходится равномерно в области 0 6 x 6 ℓ, t > 0. Найдем эти коэффициенты из расчета удовлетворить начальным условиям (1.26). Имеем
|
|
∞ |
|
|
x |
|
||||||||
|
|
∑ |
(µk√ |
|
|
). |
||||||||
u(x, 0) = f(x) = k=1 akJ0 |
|
|
||||||||||||
ℓ |
||||||||||||||
Проще всего в этом месте снова вернуться к ξ = √ |
|
: |
||||||||||||
x |
||||||||||||||
∞ |
|
µkξ |
|
|
|
|
|
|
|
|||||
∑ |
( |
√ |
|
|
) = f(ξ2). |
|||||||||
k=1 akJ0 |
ℓ |
|
||||||||||||
|
|
|
√ |
|
|
|
|
|
|
|
|
√ |
||
|
|
|
|
|
|
|
|
|
|
|||||
По свойствам 3 и 4 функции J0(µk ·ξ/ ℓ) ортогональны на отрезке [0, ℓ] с весом ρ(ξ) = ξ, отсюда
√ |
|
( |
|
√ℓ) |
√ |
|
|
( |
√ℓ) |
|
||||
0 |
|
|
0 |
|
|
|
||||||||
ak w |
ℓ |
ξJ02 |
µk |
ξ |
dξ = wℓξf(ξ2)J0 |
µk |
ξ |
dξ. |
||||||
|
|
|
|
|
|
|
||||||||
Привлечем еще равенство (1.4), согласовав пределы интегрирования, и за- |
||||||||||||||||||
пишем: |
|
|
|
|
|
√ |
|
|
|
|
|
|
|
|
|
|
|
|
ak = |
|
2 |
|
|
wℓξf(ξ2)J0 |
µk |
ξ |
dξ. |
||||||||||
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
2 |
|
|
√ℓ) |
||||||||||||
|
(√ℓ)2J1 |
(µk) 0 |
|
( |
|
|
|
|
||||||||||
Возвращаемся к x = ξ2, dx = 2ξ dξ. Теперь |
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
wℓ f(x)J0 |
|
|
|
|
|
|
|
|||||||
ak = |
|
1 |
|
µk |
|
x |
|
dx. |
|
|||||||||
2 |
|
|
|
|
|
|
||||||||||||
|
|
|
ℓJ1 (µk) 0 |
( |
√ |
|
ℓ ) |
|
||||||||||
Дифференцируя ряд (1.32) по t (приходится предполагать такую возможность), обычным приемом аналогично получаем
|
|
|
wℓ F (x)J0 |
|
√ |
|
|
|
|
|
||
bk = |
2 |
|
µk |
|
x |
|
dx. |
|||||
|
|
|
ℓ ) |
|||||||||
|
|
2 |
|
|
||||||||
|
µka√ℓJ1 |
(µk) 0 |
( |
|
|
|||||||
