WikiDer > Цилиндрические гармоники

В математика, то цилиндрические гармоники представляют собой набор линейно независимый функции, которые являются решениями Дифференциальное уравнение Лапласа, ${ displaystyle nabla ^ {2} V = 0}$, выражено в цилиндрические координаты, ρ (радиальная координата), φ (полярный угол) и z (высота). Каждая функция V_п(k) - произведение трех членов, каждое из которых зависит только от одной координаты. В ρ-зависимый термин дается Функции Бесселя (которые иногда также называют цилиндрическими гармониками).

Определение

Каждая функция ${ Displaystyle V_ {п} (к)}$ этой основы состоит из продукта трех функций:

${ Displaystyle V_ {N} (к; rho, varphi, z) = P_ {n} (k, rho) Phi _ {n} ( varphi) Z (k, z) ,}$

куда ${ displaystyle ( rho, varphi, z)}$ - цилиндрические координаты, а п и k - константы, которые отличают элементы множества друг от друга. В результате принцип суперпозиции Применительно к уравнению Лапласа очень общие решения уравнения Лапласа могут быть получены линейными комбинациями этих функций.

Поскольку все поверхности постоянных ρ, φ и z являются коникоидальными, уравнение Лапласа разделимо в цилиндрических координатах. Используя технику разделение переменных, разделенное решение уравнения Лапласа может быть записано:

${ Displaystyle В = п ( ро) , фи ( varphi) , Z (г)}$

и уравнение Лапласа, разделенное на V, написано:

${ displaystyle { frac { ddot {P}} {P}} + { frac {1} { rho}} , { frac { dot {P}} {P}} + { frac { 1} { rho ^ {2}}} , { frac { ddot { Phi}} { Phi}} + { frac { ddot {Z}} {Z}} = 0}$

В Z часть уравнения является функцией z один, и поэтому должен быть равен константе:

${ displaystyle { frac { ddot {Z}} {Z}} = k ^ {2}}$

куда k в целом комплексное число. Для конкретного k, то Z (z) функция имеет два линейно независимых решения. Если k реально они есть:

${ Displaystyle Z (к, z) = сш (kz) , , , , , , mathrm {или} , , , , , , sinh (kz) ,}$

или по их поведению на бесконечности:

${ Displaystyle Z (к, z) = е ^ {kz} , , , , , , mathrm {или} , , , , , , e ^ {- kz} ,}$

Если k мнимо:

${ Displaystyle Z (к, z) = соз (| к | z) , , , , , , mathrm {или} , , , , , , sin ( | k | z) ,}$

или же:

${ Displaystyle Z (к, z) = е ^ {я | к | z} , , , , , , mathrm {или} , , , , , , е ^ {-i | k | z} ,}$

Видно, что Z (k, z) функции являются ядрами преобразование Фурье или же Преобразование Лапласа из Z (z) функция и так k может быть дискретной переменной для периодических граничных условий или может быть непрерывной переменной для непериодических граничных условий.

Подстановка ${ displaystyle k ^ {2}}$ за ${ displaystyle { ddot {Z}} / Z}$ , Уравнение Лапласа теперь можно записать:

${ displaystyle { frac { ddot {P}} {P}} + { frac {1} { rho}} , { frac { dot {P}} {P}} + { frac { 1} { rho ^ {2}}} { frac { ddot { Phi}} { Phi}} + k ^ {2} = 0}$

Умножение на ${ displaystyle rho ^ {2}}$, теперь мы можем отделить п и Φ и введем еще одну константу (п) чтобы получить:

${ displaystyle { frac { ddot { Phi}} { Phi}} = - n ^ {2}}$

${ displaystyle rho ^ {2} { frac { ddot {P}} {P}} + rho { frac { dot {P}} {P}} + k ^ {2} rho ^ { 2} = n ^ {2}}$

С ${ displaystyle varphi}$ периодический, мы можем взять п быть неотрицательным целым числом и, соответственно, ${ displaystyle Phi ( varphi)}$ константы указаны в нижнем индексе. Реальные решения для ${ displaystyle Phi ( varphi)}$ находятся

${ displaystyle Phi _ {n} = cos (n varphi) , , , , , , mathrm {или} , , , , , , sin (n varphi)}$

или, что то же самое:

${ Displaystyle Phi _ {п} = е ^ {в varphi} , , , , , , mathrm {или} , , , , , , е ^ {- в varphi}}$

Дифференциальное уравнение для ${ displaystyle rho}$ является формой уравнения Бесселя.

Если k равно нулю, но п нет, решения следующие:

${ Displaystyle P_ {п} (0, rho) = rho ^ {n} , , , , , , mathrm {или} , , , , , , rho ^ {- n} ,}$

Если и k, и n равны нулю, решения следующие:

${ Displaystyle P_ {0} (0, rho) = пер rho , , , , , , mathrm {или} , , , , , , 1 , }$

Если k это действительное число, мы можем записать реальное решение как:

${ Displaystyle Р_ {п} (к, ро) = J_ {п} (к ро) , , , , , , mathrm {или} , , , , , , Y_ {n} (k rho) ,}$

куда ${ Displaystyle J_ {п} (г)}$ и ${ Displaystyle Y_ {п} (г)}$ обычные Функции Бесселя.

Если k - мнимое число, мы можем записать реальное решение как:

${ Displaystyle Р_ {п} (к, ро) = I_ {п} (| к | ро) , , , , , , mathrm {или} , , , , , , K_ {n} (| k | rho) ,}$

куда ${ Displaystyle I_ {п} (г)}$ и ${ Displaystyle К_ {п} (г)}$ изменены Функции Бесселя.

Цилиндрические гармоники для (k, n) теперь являются продуктом этих решений, а общее решение уравнения Лапласа дается линейной комбинацией этих решений:

${ Displaystyle V ( rho, varphi, z) = sum _ {n} int dk , , A_ {n} (k) P_ {n} (k, rho) Phi _ {n} ( varphi) Z (k, z) ,}$

где ${ Displaystyle A_ {п} (к)}$ - постоянные по цилиндрическим координатам, а пределы суммирования и интегрирования определяются граничными условиями задачи. Обратите внимание, что интеграл можно заменить суммой для соответствующих граничных условий. Ортогональность ${ Displaystyle J_ {п} (х)}$ часто бывает очень полезно при поиске решения конкретной проблемы. В ${ Displaystyle Phi _ {п} ( varphi)}$ и ${ Displaystyle Z (к, z)}$ функции по существу являются разложениями Фурье или Лапласа и образуют набор ортогональных функций. Когда ${ Displaystyle Р_ {п} (к ро)}$ просто ${ Displaystyle J_ {п} (к ро)}$ , ортогональность ${ displaystyle J_ {n}}$, наряду с отношениями ортогональности ${ Displaystyle Phi _ {п} ( varphi)}$ и ${ Displaystyle Z (к, z)}$ позволяют определить константы.^[1]

Если ${ Displaystyle (х) _ {к}}$ - последовательность положительных нулей ${ displaystyle J_ {n}}$ тогда:

${ displaystyle int _ {0} ^ {1} J_ {n} (x_ {k} rho) J_ {n} (x_ {k} ' rho) rho , d rho = { frac { 1} {2}} J_ {n + 1} (x_ {k}) ^ {2} delta _ {kk '}}$^[2]

При решении задач пространство можно разделить на любое количество частей, если значения потенциала и его производной совпадают на границе, не содержащей источников.

Пример: точечный источник внутри проводящей цилиндрической трубки.

В качестве примера рассмотрим задачу определения потенциала единичного источника, расположенного в ${ displaystyle ( rho _ {0}, varphi _ {0}, z_ {0})}$ внутри проводящей цилиндрической трубки (например, пустой консервной банки), которая ограничена сверху и снизу плоскостями ${ displaystyle z = -L}$ и ${ displaystyle z = L}$ а по бокам цилиндром ${ Displaystyle rho = а}$.^[3] (В агрегатах МКС примем ${ displaystyle q / 4 pi epsilon _ {0} = 1}$). Поскольку потенциал ограничен плоскостями на z ось, Z (k, z) функцию можно считать периодической. Поскольку в начале координат потенциал должен быть равен нулю, возьмем ${ Displaystyle Р_ {п} (к ро)}$ как обычную функцию Бесселя ${ Displaystyle J_ {п} (к ро)}$, и его нужно выбрать так, чтобы один из его нулей попадал на ограничивающий цилиндр. Для точки измерения ниже точки источника на z оси потенциал будет:

${ displaystyle V ( rho, varphi, z) = sum _ {n = 0} ^ { infty} sum _ {r = 0} ^ { infty} , A_ {nr} J_ {n} (k_ {nr} rho) cos (n ( varphi - varphi _ {0})) sinh (k_ ​​{nr} (L + z)) , , , , , z leq z_ {0}}$

куда ${ displaystyle k_ {nr} a}$ это r-й ноль ${ Displaystyle J_ {п} (г)}$ и из соотношений ортогональности для каждой из функций:

${ displaystyle A_ {nr} = { frac {4 (2- delta _ {n0})} {a ^ {2}}} , , { frac { sinh k_ {nr} (L-z_ {0})} { sinh 2k_ {nr} L}} , , { frac {J_ {n} (k_ {nr} rho _ {0})} {k_ {nr} [J_ {n + 1} (k_ {nr} a)] ^ {2}}} ,}$

Выше точки источника:

${ displaystyle V ( rho, varphi, z) = sum _ {n = 0} ^ { infty} sum _ {r = 0} ^ { infty} , A_ {nr} J_ {n} (k_ {nr} rho) cos (n ( varphi - varphi _ {0})) sinh (k_ ​​{nr} (Lz)) , , , , , z geq z_ { 0}}$

${ displaystyle A_ {nr} = { frac {4 (2- delta _ {n0})} {a ^ {2}}} , , { frac { sinh k_ {nr} (L + z_ {0})} { sinh 2k_ {nr} L}} , , { frac {J_ {n} (k_ {nr} rho _ {0})} {k_ {nr} [J_ {n + 1} (k_ {nr} a)] ^ {2}}}. ,}$

Понятно, что когда ${ Displaystyle rho = а}$ или же ${ Displaystyle | г | = L}$, указанная выше функция равна нулю. Также легко показать, что две функции совпадают по значению и по значению их первых производных при ${ displaystyle z = z_ {0}}$.

Точечный источник внутри цилиндра

Удаление концов плоскости (т.е. принятие предела, когда L стремится к бесконечности) дает поле точечного источника внутри проводящего цилиндра:

${ displaystyle V ( rho, varphi, z) = sum _ {n = 0} ^ { infty} sum _ {r = 0} ^ { infty} , A_ {nr} J_ {n} (k_ {nr} rho) cos (n ( varphi - varphi _ {0})) e ^ {- k_ {nr} | z-z_ {0} |}}$

${ displaystyle A_ {nr} = { frac {2 (2- delta _ {n0})} {a ^ {2}}} , , { frac {J_ {n} (k_ {nr} rho _ {0})} {k_ {nr} [J_ {n + 1} (k_ {nr} a)] ^ {2}}}. ,}$

Точечный источник в открытом космосе

Поскольку радиус цилиндра (а) стремится к бесконечности, сумма по нулям J_п(z) становится интегралом, и мы имеем поле точечного источника в бесконечном пространстве:

${ displaystyle V ( rho, varphi, z) = { frac {1} {R}} = sum _ {n = 0} ^ { infty} int _ {0} ^ { infty} dk , A_ {n} (k) J_ {n} (k rho) cos (n ( varphi - varphi _ {0})) e ^ {- k | z-z_ {0} |}}$

${ Displaystyle А_ {п} (к) = (2- дельта _ {п0}) J_ {п} (к ро _ {0}) ,}$

а R - расстояние от точечного источника до точки измерения:

${ Displaystyle R = { sqrt {(z-z_ {0}) ^ {2} + rho ^ {2} + rho _ {0} ^ {2} -2 rho rho _ {0} cos ( varphi - varphi _ {0})}}. ,}$

Точечный источник в открытом пространстве в исходной точке

Наконец, когда точечный источник находится в начале координат, ${ displaystyle rho _ {0} = z_ {0} = 0}$

${ Displaystyle V ( rho, varphi, z) = { frac {1} { sqrt { rho ^ {2} + z ^ {2}}}} = int _ {0} ^ { infty } J_ {0} (k rho) e ^ {- k | z |} , dk.}$

Смотрите также

• Сферические гармоники

Примечания

Рекомендации