Уравнение Лапласа
Математический анализ → Комплексный анализ |
Комплексный анализ |
---|
![]() |
Комплексные числа |
Сложные функции |
Основная теория |
Геометрическая теория функций |
Люди |
В математике и физике уравнение Лапласа второго порядка представляет собой уравнение в частных производных , названное в честь Пьера-Симона Лапласа , который первым изучил его свойства. Часто это пишут как или где – оператор Лапласа , [ примечание 1 ] — оператор дивергенции (также обозначается как «div»), — оператор градиента (также обозначаемый «град»), и — дважды дифференцируемая действительная функция. Таким образом, оператор Лапласа отображает скалярную функцию в другую скалярную функцию.
Если правая часть указана как заданная функция, , у нас есть
Это называется уравнением Пуассона и является обобщением уравнения Лапласа. Уравнение Лапласа и уравнение Пуассона являются простейшими примерами эллиптических уравнений в частных производных . Уравнение Лапласа также является частным случаем уравнения Гельмгольца .
Общая теория решений уравнения Лапласа известна как теория потенциала . Дважды непрерывно дифференцируемые решения уравнения Лапласа представляют собой гармонические функции , [ 1 ] которые важны во многих разделах физики, особенно в электростатике, гравитации и гидродинамике . При изучении теплопроводности уравнение Лапласа представляет собой уравнение установившейся теплопроводности . [ 2 ] В общем, уравнение Лапласа описывает ситуации равновесия или ситуации, которые явно не зависят от времени.
Формы в разных системах координат
[ редактировать ]В прямоугольных координатах [ 3 ]
В цилиндрических координатах [ 3 ]
В сферических координатах , используя соглашение, [ 3 ]
В более общем смысле, в произвольных криволинейных координатах (ξ я ) , или где gij — евклидов метрический тензор относительно новых координат, а Γ обозначает его символы Кристоффеля .
Граничные условия
[ редактировать ]
Задача Дирихле для уравнения Лапласа состоит в нахождении решения φ в некоторой области D такого, что φ на границе D равна некоторой заданной функции. появляется оператор Лапласа Поскольку в уравнении теплопроводности , одна из физических интерпретаций этой задачи состоит в следующем: зафиксировать температуру на границе области согласно заданному заданию граничного условия. Позвольте теплу течь до тех пор, пока не будет достигнуто стационарное состояние, в котором температура в каждой точке области больше не меняется. Распределение температуры внутри будет тогда задано решением соответствующей задачи Дирихле.
Граничные условия Неймана для уравнения Лапласа задают не саму функцию φ на границе D , а ее нормальную производную . Физически это соответствует построению потенциала векторного поля, действие которого известно на границе D. только На примере уравнения теплопроводности это сводится к заданию теплового потока через границу. В частности, на адиабатической границе нормальная производная φ равна нулю.
Решения уравнения Лапласа называются гармоническими функциями ; все они аналитичны в области, в которой выполняется уравнение. Если любые две функции являются решениями уравнения Лапласа (или любого линейного однородного дифференциального уравнения), их сумма (или любая линейная комбинация) также является решением. Это свойство, называемое принципом суперпозиции , очень полезно. Например, решения сложных задач можно построить путем суммирования простых решений.
В двух измерениях
[ редактировать ]Уравнение Лапласа с двумя независимыми переменными в прямоугольных координатах имеет вид
Аналитические функции
[ редактировать ]Действительная и мнимая части комплексной аналитической функции удовлетворяют уравнению Лапласа. То есть, если z = x + iy и если тогда необходимым условием f ( z ) аналитичности u и v является дифференцируемость уравнений Коши – Римана и выполнение : где u x — первая частная производная u по x . Отсюда следует, что Следовательно, u удовлетворяет уравнению Лапласа. Аналогичный расчет показывает, что v также удовлетворяет уравнению Лапласа. И наоборот, если речь идет о гармонической функции, это действительная часть аналитической функции f ( z ) (по крайней мере, локально). Если пробная форма то уравнения Коши–Римана будут выполняться, если положить Это соотношение не определяет ψ , а только его приращения: Из уравнения Лапласа для φ следует, что условие интегрируемости для ψ выполнено: и, таким образом, ψ может быть определен линейным интегралом. Условие интегрируемости и теорема Стокса подразумевают, что значение линейного интеграла, соединяющего две точки, не зависит от пути. Полученная пара решений уравнения Лапласа называется сопряженными гармоническими функциями . Эта конструкция действительна только локально или при условии, что путь не огибает сингулярность. Например, если r и θ — полярные координаты и то соответствующая аналитическая функция есть
Однако угол θ однозначен только в области, не ограничивающей начало координат.
Тесная связь между уравнением Лапласа и аналитическими функциями означает, что любое решение уравнения Лапласа имеет производные всех порядков и может быть разложено в степенной ряд , по крайней мере, внутри круга, не заключающего в себе особенности. Это резко контрастирует с решениями волнового уравнения , которые обычно имеют меньшую регулярность. [ нужна ссылка ] .
Существует тесная связь между степенным рядом и рядом Фурье . Если разложить функцию f в степенной ряд внутри круга радиуса R , это означает, что с соответствующим образом определенными коэффициентами, действительная и мнимая части которых определяются выражением Поэтому который является рядом Фурье для f . Эти тригонометрические функции сами по себе можно расширить, используя формулы нескольких углов .
Поток жидкости
[ редактировать ]Пусть величины u и v — горизонтальная и вертикальная составляющие поля скорости стационарного несжимаемого безвихревого течения в двух измерениях. Условие непрерывности несжимаемого течения состоит в том, что а условие безвихревости потока состоит в том, что Если мы определим дифференциал функции ψ как тогда условие непрерывности является условием интегрируемости этого дифференциала: результирующая функция называется функцией тока, поскольку она постоянна вдоль линий тока . Первые производные ψ имеют вид а из условия безвихревости следует, что ψ удовлетворяет уравнению Лапласа. Гармоническая функция φ , сопряженная с ψ, называется потенциалом скорости . Из уравнений Коши–Римана следует, что Таким образом, каждая аналитическая функция соответствует устойчивому течению несжимаемой, безвихревой, невязкой жидкости в плоскости. Действительная часть — это потенциал скорости, а мнимая часть — функция тока.
Электростатика
[ редактировать ]Согласно уравнениям Максвелла , электрическое поле ( u , v ) в двух измерениях пространства, независимое от времени, удовлетворяет условию и где ρ — плотность заряда. Первое уравнение Максвелла представляет собой условие интегрируемости дифференциала поэтому электрический потенциал φ может быть построен так, чтобы удовлетворять Тогда из второго уравнения Максвелла следует, что что представляет собой уравнение Пуассона . Уравнение Лапласа можно использовать в трехмерных задачах электростатики и течения жидкости так же, как и в двухмерных.
В трех измерениях
[ редактировать ]Фундаментальное решение
[ редактировать ]уравнения Фундаментальное решение Лапласа удовлетворяет условию где дельта-функция Дирака δ обозначает единичный источник, сосредоточенный в точке ( x ′, y ′, z ′) . Ни одна функция не обладает этим свойством: на самом деле это распределение , а не функция; но его можно рассматривать как предел функций, интегралы которых по пространству равны единице и чья опора (область, где функция не равна нулю) сжимается до точки (см. слабое решение ). Для этого уравнения обычно принимают другое соглашение о знаках, чем обычно при определении фундаментальных решений. С таким выбором знака часто удобно работать, поскольку −Δ — положительный оператор . Таким образом, определение фундаментального решения подразумевает, что если лапласиан u интегрируется по любому объему, охватывающему исходную точку, то
Уравнение Лапласа не меняется при вращении координат, и, следовательно, мы можем ожидать, что фундаментальное решение может быть получено среди решений, которые зависят только от расстояния r от исходной точки. Если мы выберем объем в виде шара радиуса a вокруг точки источника, то из теоремы о расходимости Гаусса следует, что
Отсюда следует, что на сфере радиуса r с центром в исходной точке и, следовательно,
Обратите внимание, что с соглашением о противоположных знаках (используемым в физике ) это потенциал , генерируемый точечной частицей , для силы закона обратных квадратов , возникающей при решении уравнения Пуассона . Аналогичный аргумент показывает, что в двух измерениях где log( r ) обозначает натуральный логарифм . Обратите внимание, что с противоположным соглашением знаков это потенциал, создаваемый точечным стоком (см. точечная частица ), который является решением уравнений Эйлера в двумерном несжимаемом потоке .
функция Грина
[ редактировать ]Функция Грина которое также удовлетворяет подходящему условию на границе S объема V. — это фундаментальное решение , Например, может удовлетворить
Теперь, если u — любое решение уравнения Пуассона в V :
и u принимает граничные значения g на S , то мы можем применить тождество Грина (следствие теоремы о дивергенции), которое гласит, что
Обозначения u n и G n обозначают нормальные производные на S . Ввиду условий, которым удовлетворяют u и G , этот результат упрощается до
Таким образом, функция Грина описывает влияние на ( x ', y ', z ') данных f и g . Для случая внутренней части сферы радиуса а функция Грина может быть получена посредством отражения ( Зоммерфельд, 1949 ): точка источника Р, находящаяся на расстоянии р от центра сферы, отражается вдоль своей радиальной линии к а. точка P', которая находится на расстоянии
Обратите внимание: если P находится внутри сферы, то P′ будет вне сферы. Функция Грина тогда определяется выражением где R обозначает расстояние до точки источника P , а R ′ обозначает расстояние до отраженной точки P ′. Следствием этого выражения для функции Грина является интегральная формула Пуассона . Пусть ρ , θ и φ — сферические координаты исходной P. точки Здесь θ обозначает угол с вертикальной осью, что противоречит обычным американским математическим обозначениям, но соответствует стандартной европейской и физической практике. Тогда решение уравнения Лапласа с граничными значениями Дирихле g внутри сферы определяется формулой ( Zachmanoglou & Thoe 1986 , стр. 228) где косинус угла между ( θ , φ ) и ( θ ′, φ ′) . Простое следствие этой формулы состоит в том, что если u — гармоническая функция, то значение u в центре сферы является средним значением ее значений на сфере. Это свойство среднего значения немедленно подразумевает, что непостоянная гармоническая функция не может принять свое максимальное значение во внутренней точке.
Сферические гармоники Лапласа
[ редактировать ]
Уравнение Лапласа в сферических координатах : [ 4 ]
Рассмотрим задачу поиска решений вида f ( р , θ , φ ) знак равно р ( р ) Y ( θ , φ ) . В результате разделения переменных в результате применения уравнения Лапласа получаются два дифференциальных уравнения:
Второе уравнение можно упростить, если предположить, что Y имеет вид Y ( θ , φ ) = Θ( θ ) Φ( φ ) . Повторное применение разделения переменных ко второму уравнению уступает место паре дифференциальных уравнений.
для некоторого числа m . Априори m является комплексной константой, но поскольку Φ должна быть периодической функцией , период которой делит 2 π нацело , m обязательно является целым числом, а Φ является линейной комбинацией комплексных экспонент e ± imφ . Функция решения Y ( θ , φ ) регулярна в полюсах сферы, где θ = 0, π . Наложение этой закономерности на решение Θ второго уравнения в граничных точках области представляет собой задачу Штурма–Лиувилля , которая заставляет параметр λ иметь вид λ = ℓ ( ℓ + 1) для некоторого неотрицательного целого числа с ℓ ≥ | м | ; это также объясняется ниже с точки зрения орбитального углового момента . Кроме того, замена переменных t = cos θ преобразует это уравнение в уравнение Лежандра , решение которого кратно соответствующему полиному Лежандра P ℓ м (потому что θ ) . Наконец, уравнение для R имеет решения вида R ( r ) = A r ℓ + Б р - ℓ - 1 ; требуя, чтобы решение было регулярным во всем R 3 силы B = 0 . [ примечание 2 ]
Здесь предполагалось, что решение имеет специальный вид Y ( θ , φ ) = Θ( θ ) Φ( φ ) . Для данного значения ℓ существует 2 ℓ + 1 независимых решений этого вида, по одному для каждого целого числа m с − ℓ ≤ m ≤ ℓ . Эти угловые решения являются произведением тригонометрических функций , представленных здесь в виде комплексной экспоненты , и связанных с ними полиномов Лежандра: которые выполняют
Здесь Y ℓ м называется сферической гармонической функцией степени ℓ и порядка m , P ℓ м — связанный полином Лежандра , N — константа нормализации, а θ и φ представляют широту и долготу соответственно. В частности, широта θ , или полярный угол, колеблется от 0 на Северном полюсе до π /2 на экваторе, до π на Южном полюсе, а долгота φ или азимут может принимать все значения с 0 ≤ φ. < 2 π . Для фиксированного целого числа ℓ каждое решение Y ( θ , φ ) проблемы собственных значений является линейной комбинацией Y ℓ м . Фактически, для любого такого решения r ℓ Y ( θ , φ ) — это выражение в сферических координатах однородного полинома гармонического (см. ниже ), поэтому подсчёт размерностей показывает, что существует 2 ℓ + 1 линейно независимых таких полиномов.
Общее решение уравнения Лапласа в шаре с центром в начале координат представляет собой линейную комбинацию сферических гармонических функций, умноженных на соответствующий масштабный коэффициент r. ℓ , где f ℓ м являются константами, а факторы r ℓ Ю ℓ м называются твердыми гармониками . Такое разложение справедливо в шаре
Для , сплошные гармоники с отрицательными степенями вместо этого выбираются. В этом случае необходимо расширить решение известных областей в ряд Лорана (около ), вместо ряда Тейлора (о ), чтобы сопоставить условия и найти .
Электростатика
[ редактировать ]Позволять быть электрическим полем, быть плотностью электрического заряда, а быть диэлектрическая проницаемость свободного пространства. Тогда закон Гаусса для электричества (первое уравнение Максвелла) в дифференциальной форме гласит: [ 5 ]
Теперь электрическое поле можно выразить как отрицательный градиент электрического потенциала. , если поле безвихревое, . Безвихревость также известно как электростатическое состояние. [ 5 ]
Подставляя это соотношение в закон Гаусса, мы получаем уравнение Пуассона для электричества: [ 5 ]
В частном случае области без источников а уравнение Пуассона сводится к уравнению Лапласа для электрического потенциала. [ 5 ]
Если электростатический потенциал указывается на границе региона , то оно определено однозначно. Если окружен проводящим материалом с заданной плотностью заряда , и если общий заряд известно, то также уникален. [ 6 ]
Потенциал, который не удовлетворяет уравнению Лапласа вместе с граничным условием, является недействительным электростатическим потенциалом.
Гравитация
[ редактировать ]Позволять быть гравитационным полем, плотность массы и гравитационная постоянная. Тогда закон Гаусса для гравитации в дифференциальной форме имеет вид [ 7 ]
Гравитационное поле консервативно и поэтому может быть выражено как отрицательный градиент гравитационного потенциала:
Используя дифференциальную форму закона гравитации Гаусса, мы имеем которое представляет собой уравнение Пуассона для гравитационных полей. [ 7 ]
В пустом пространстве, и у нас есть которое представляет собой уравнение Лапласа для гравитационных полей.
В метрике Шварцшильда
[ редактировать ]С. Персидес [ 8 ] решил уравнение Лапласа в пространстве-времени Шварцшильда на гиперповерхностях постоянного t . Используя канонические переменные r , θ , φ, решение имеет вид где Y l ( θ , φ ) — сферическая гармоническая функция , и
Здесь P l и Q l — функции Лежандра первого и второго рода соответственно, а r s — радиус Шварцшильда . Параметр l — произвольное неотрицательное целое число.
См. также
[ редактировать ]- 6-сферные координаты — система координат, при которой уравнение Лапласа становится R -разделимым.
- Уравнение Гельмгольца , общий случай уравнения Лапласа.
- Сферическая гармоника
- Квадратурные домены
- Потенциальная теория
- Потенциальный поток
- Преобразование Бейтмана
- Теорема Эрншоу использует уравнение Лапласа, чтобы показать, что стабильная статическая ферромагнитная подвеска невозможна.
- Вектор Лапласа
- Фундаментальное решение
Примечания
[ редактировать ]- ^ Символ дельты, Δ, также часто используется для обозначения конечного изменения некоторой величины, например, . Его использование для представления лапласиана не следует путать с этим использованием.
- ^ Физические приложения часто принимают решение, которое исчезает на бесконечности, что делает A = 0 . Это не влияет на угловую часть сферических гармоник.
Ссылки
[ редактировать ]- ^ Стюарт, Джеймс. Исчисление: ранние трансценденталисты . 7-е изд., Брукс/Коул, Cengage Learning, 2012. Глава 14: Частные производные. п. 908. ISBN 978-0-538-49790-9 .
- ^ Зилл, Деннис Дж. и Майкл Р. Каллен. Дифференциальные уравнения с краевыми задачами . 8-е издание / изд., Брукс/Коул, Cengage Learning, 2013. Глава 12: Краевые задачи в прямоугольных координатах. п. 462. ISBN 978-1-111-82706-9 .
- ^ Jump up to: а б с Гриффитс, Дэвид Дж. Введение в электродинамику . 4-е изд., Pearson, 2013. Внутренняя передняя обложка. ISBN 978-1-108-42041-9 .
- ^ Подход к сферическим гармоникам, использованный здесь, можно найти в ( Courant & Hilbert 1962 , §V.8, §VII.5).
- ^ Jump up to: а б с д Гриффитс, Дэвид Дж. Введение в электродинамику . 4-е изд., Пирсон, 2013. Глава 2: Электростатика. п. 83-4. ISBN 978-1-108-42041-9 .
- ^ Гриффитс, Дэвид Дж. Введение в электродинамику . 4-е изд., Пирсон, 2013. Глава 3: Потенциалы. п. 119-121. ISBN 978-1-108-42041-9 .
- ^ Jump up to: а б Чиконе, К.; Машхун, Б. (20 ноября 2011 г.). «Нелокальная гравитация: модифицированное уравнение Пуассона». Журнал математической физики . 53 (4): 042501. arXiv : 1111.4702 . дои : 10.1063/1.3702449 . S2CID 118707082 .
- ^ Персидес, С. (1973). «Уравнения Лапласа и Пуассона в пространстве-времени Шварцшильда» . Журнал математического анализа и приложений . 43 (3): 571–578. Бибкод : 1973JMAA...43..571P . дои : 10.1016/0022-247X(73)90277-1 .
Источники
[ редактировать ]- Курант, Ричард ; Гильберт, Дэвид (1962), Методы математической физики, Том I , Wiley-Interscience .
- Зоммерфельд, А. (1949). Уравнения в частных производных в физике . Нью-Йорк: Академическая пресса.
- Захманоглу, ЕС; То, Дейл В. (1986). Введение в уравнения в частных производных с приложениями . Нью-Йорк: Дувр. ISBN 9780486652511 .
Дальнейшее чтение
[ редактировать ]- Эванс, LC (1998). Уравнения в частных производных . Провиденс: Американское математическое общество. ISBN 978-0-8218-0772-9 .
- Петровский, ИГ (1967). Уравнения в частных производных . Филадельфия: У. Б. Сондерс.
- Полянин А.Д. (2002). Справочник по линейным уравнениям в частных производных для инженеров и ученых . Бока-Ратон: Chapman & Hall/CRC Press. ISBN 978-1-58488-299-2 .
Внешние ссылки
[ редактировать ]- «Уравнение Лапласа» , Математическая энциклопедия , EMS Press , 2001 [1994]
- Уравнение Лапласа (частные решения и краевые задачи) в EqWorld: Мир математических уравнений.
- Примеры начально-краевых задач с использованием уравнения Лапласа с сайта exampleproblems.com.
- Вайсштейн, Эрик В. «Уравнение Лапласа» . Математический мир .
- Узнайте, как краевые задачи, определяемые уравнением Лапласа, можно решить численно методом граничных элементов.