Ньютонівський потенціал: відмінності між версіями

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку
[перевірена версія][перевірена версія]
Вилучено вміст Додано вміст
Перенаправлено на Теорія потенціалу
 
Створено шляхом перекладу сторінки «Newtonian potential»
Мітки: Вилучено перенаправлення Переклад вмісту «Переклад вмісту 2»
Рядок 1: Рядок 1:

#Redirect [[Теорія потенціалу]]
У [[Математика|математиці]] '''ньютонівський потенціал''' або '''потенціал Ньютона''' — [[Оператор (математика)|оператор]] у [[Векторне числення|векторному численні]], який діє як обернений до від'ємного [[Оператор Лапласа|лапласіана]] для функцій, які є гладкими та достатньо швидко спадають на нескінченності. Як такий, він є фундаментальним об’єктом дослідження в [[Теорія потенціалу|теорії потенціалу]]. За загальною природою це {{Нп|Сингулярний інтеграл|сингулярний інтегральний оператор|en|Singular integral}}, визначений [[Згортка (математичний аналіз)|згорткою]] з функцією, що має [[Особлива точка|математичну сингулярність]] у початку координат, ядро Ньютона Γ, яке є {{Нп|фундаментальний розв’язок|фундаментальним розв’язком|en|Fundamental solution}} [[рівняння Лапласа]].

Названо на честь [[Ісаак Ньютон|Ісаака Ньютона]], який першим відкрив його й довів, що це [[гармонічна функція]] в {{Нп|Функція Ґріна для рівняння Лапласа з трьома змінними|окремому випадку трьох змінних|en|Green's function for the three-variable Laplace equation}}, де він служив основним [[Гравітаційний потенціал|гравітаційним потенціалом]] у [[Закон всесвітнього тяжіння|законі всесвітнього тяжіння Ньютона]].

У сучасній теорії потенціалу розглядається як [[електростатичний потенціал]].

Ньютонівський потенціал [[Інтеграл|інтегровної функції]] ''f'' [[Носій функції|із компактним носієм]] визначають як [[Згортка (математичний аналіз)|згортку]]<math display="block">u(x) = \Gamma * f(x) = \int_{\mathbb{R}^d} \Gamma(x-y)f(y)\,dy</math>де ньютонівське ядро Γ в розмірності ''d'' визначають як<math display="block">\Gamma(x) = \begin{cases}
\frac{1}{2\pi} \log{ | x | } & d=2 \\
\frac{1}{d(2-d)\omega_d} | x | ^{2-d} & d \neq 2.
\end{cases} </math>Тут ''ω''<sub>''d''</sub> - об’єм одиничної [[Гіперсфера|''d''-кулі]] (іноді позначення можуть відрізнятися; порівняйте {{Harvard citation|Evans|1998}} та {{Harvard citation|Gilbarg|Trudinger|1983}}). Наприклад, для <math>d = 3</math> маємо <math>\Gamma(x) = -1/(4\pi |x|). </math>

Ньютонівський потенціал ''w'' функції ''f'' є розв’язком [[рівняння Пуассона]]<math display="block">\Delta w = f, </math>це означає, що операція взяття ньютонівського потенціалу функції є частково оберненою до оператора Лапласа. Тоді ''w'' буде двічі диференційовним класичним розв’язком, якщо ''f'' обмежена і локально [[Умова Гельдера|неперервна за Гельдером]], як показав [[Отто Гельдер]]. Відкритим було питання, чи достатньо лише неперервності. {{Нп|Генрік Петріні|3=en|4=Henrik Petrini}} показав, що це не так, і навів приклад неперервної ''f'', для якої ''w'' не диференційовний двічі. Розв'язок не єдиний, оскільки додавання будь-якої гармонічної функції до ''w'' не вплине на рівняння. Цей факт можна використати, щоб довести існування та унікальність розв’язків [[Задача Діріхле|задачі Діріхле]] для рівняння Пуассона у відповідних регулярних ділянках і для відповідних функцій ''f'': спочатку застосовують ньютонівський потенціал, щоб отримати розв’язок, а потім коригують, додаючи гармонічну функцію для отримання правильних граничних даних.

Ширше ньютонівський потенціал визначають як згортку<math display="block">\Gamma*\mu(x) = \int_{\mathbb{R}^d}\Gamma(x-y) \, d\mu(y)</math>де ''μ'' - [[міра Радона]] з компактним носієм. Він задовольняє рівняння Пуассона<math display="block">\Delta w = \mu </math>у сенсі [[Узагальнена функція|розподілів]]. Крім того, коли міра [[Міра множини|додатна]], ньютонівський потенціал є [[Субгармонічна функція|субгармонічним]] на '''R'''<sup>''d''</sup>.

Якщо ''f'' - [[неперервна функція]] з компактним носієм (або, загалом, скінченна міра), яка є [[Обертання|обертально інваріантною]], тоді згортка ''f'' з {{Math|Γ}} задовольняє для ''x'' поза носієм ''f''<math display="block">f*\Gamma(x) =\lambda \Gamma(x),\quad \lambda=\int_{\mathbb{R}^d} f(y)\,dy.</math>У розмірності ''d''&nbsp;=&nbsp;3, це зводиться до теореми Ньютона про те, що потенціальна енергія малої маси поза набагато більшою сферично-симетрично розподіленою масою така ж, як ніби вся маса більшого об’єкта зосереджена в його центрі.

Коли міра ''μ'' асоціюється з розподілом маси на достатньо гладкій гіперповерхні ''S'' ([[Поверхня Ляпунова|поверхні Ляпунова]] [[Умова Гельдера|класу Гельдера]] ''C''<sup>1,α</sup>), яка розділяє '''R'''<sup>''d''</sup> на дві ділянки ''D''<sub>+</sub> і ''D''<sub>&#x2212;</sub>, тоді ньютонівський потенціал ''μ'' називають '''потенціалом простого шару'''. Потенціали простого шару є неперервними та розв’язують [[Рівняння Лапласа|рівняння Лапласа,]] за винятком ''S''. Вони природно з’являються при вивченні [[Електростатика|електростатики]] в контексті [[Електростатичний потенціал|електростатичного потенціалу]], пов’язаного з розподілом заряду на закритій поверхні. Якщо {{Math|1=d''μ'' = ''f'' d''H''}} - добуток неперервної функції на ''S'' з (''d''&nbsp;−&nbsp;1)-вимірною [[Міра Гаусдорфа|мірою Гаусдорфа]], то в точці ''y'' в ''S'' [[Похідна за напрямком|нормальна похідна]] зазнає під час перетину шару стрибкового розриву ''f''(''y''). Крім того, нормальна похідна від ''w'' є чітко визначеною неперервною функцією на ''S''. Це робить прості шари особливо придатними для вивчення [[Граничні умови Неймана|задачі Неймана]] для рівняння Лапласа.

== Див. також ==

* [[Функція Гріна]]

== Література ==

* {{Citation|first=L.C.|last=Evans|author-link=Лоуренс Еванс|title=Partial Differential Equations|publisher=American Mathematical Society|publication-place=Providence|year=1998|isbn=0-8218-0772-2}}.
* {{Citation|first=D.|last=Gilbarg|first2=Neil|last2=Trudinger|authorlink2=Ніл Трудінґер|title=Elliptic Partial Differential Equations of Second Order|publisher=Springer|publication-place=New York|year=1983|isbn=3-540-41160-7}}.
*  {{springer|id=n/n066580|title=Newton potential|first=E.D.|last=Solomentsev}}
*  {{springer|id=s/s085260|title=Simple-layer potential|first=E.D.|last=Solomentsev}}
*  {{springer|id=s/s091400|title=Surface potential|first=E.D.|last=Solomentsev}}
{{Isaac Newton}}
[[Категорія:Теорія потенціалу]]
[[Категорія:Рівняння в частинних похідних]]
[[Категорія:Ісаак Ньютон]]
[[Категорія:Гармонічні функції]]

Версія за 20:03, 3 березня 2024

У математиці ньютонівський потенціал або потенціал Ньютонаоператор у векторному численні, який діє як обернений до від'ємного лапласіана для функцій, які є гладкими та достатньо швидко спадають на нескінченності. Як такий, він є фундаментальним об’єктом дослідження в теорії потенціалу. За загальною природою це сингулярний інтегральний оператор[en], визначений згорткою з функцією, що має математичну сингулярність у початку координат, ядро Ньютона Γ, яке є фундаментальним розв’язком[en] рівняння Лапласа.

Названо на честь Ісаака Ньютона, який першим відкрив його й довів, що це гармонічна функція в окремому випадку трьох змінних[en], де він служив основним гравітаційним потенціалом у законі всесвітнього тяжіння Ньютона.

У сучасній теорії потенціалу розглядається як електростатичний потенціал.

Ньютонівський потенціал інтегровної функції f із компактним носієм визначають як згортку

де ньютонівське ядро Γ в розмірності d визначають як
Тут ωd - об’єм одиничної d-кулі (іноді позначення можуть відрізнятися; порівняйте (Evans, 1998) та (Gilbarg та Trudinger, 1983)). Наприклад, для маємо

Ньютонівський потенціал w функції f є розв’язком рівняння Пуассона

це означає, що операція взяття ньютонівського потенціалу функції є частково оберненою до оператора Лапласа. Тоді w буде двічі диференційовним класичним розв’язком, якщо f обмежена і локально неперервна за Гельдером, як показав Отто Гельдер. Відкритим було питання, чи достатньо лише неперервності. Генрік Петріні[en] показав, що це не так, і навів приклад неперервної f, для якої w не диференційовний двічі. Розв'язок не єдиний, оскільки додавання будь-якої гармонічної функції до w не вплине на рівняння. Цей факт можна використати, щоб довести існування та унікальність розв’язків задачі Діріхле для рівняння Пуассона у відповідних регулярних ділянках і для відповідних функцій f: спочатку застосовують ньютонівський потенціал, щоб отримати розв’язок, а потім коригують, додаючи гармонічну функцію для отримання правильних граничних даних.

Ширше ньютонівський потенціал визначають як згортку

де μ - міра Радона з компактним носієм. Він задовольняє рівняння Пуассона
у сенсі розподілів. Крім того, коли міра додатна, ньютонівський потенціал є субгармонічним на Rd.

Якщо f - неперервна функція з компактним носієм (або, загалом, скінченна міра), яка є обертально інваріантною, тоді згортка f з Γ задовольняє для x поза носієм f

У розмірності d = 3, це зводиться до теореми Ньютона про те, що потенціальна енергія малої маси поза набагато більшою сферично-симетрично розподіленою масою така ж, як ніби вся маса більшого об’єкта зосереджена в його центрі.

Коли міра μ асоціюється з розподілом маси на достатньо гладкій гіперповерхні S (поверхні Ляпунова класу Гельдера C1,α), яка розділяє Rd на дві ділянки D+ і D, тоді ньютонівський потенціал μ називають потенціалом простого шару. Потенціали простого шару є неперервними та розв’язують рівняння Лапласа, за винятком S. Вони природно з’являються при вивченні електростатики в контексті електростатичного потенціалу, пов’язаного з розподілом заряду на закритій поверхні. Якщо dμ = f dH - добуток неперервної функції на S з (d − 1)-вимірною мірою Гаусдорфа, то в точці y в S нормальна похідна зазнає під час перетину шару стрибкового розриву f(y). Крім того, нормальна похідна від w є чітко визначеною неперервною функцією на S. Це робить прості шари особливо придатними для вивчення задачі Неймана для рівняння Лапласа.

Див. також

Література

  • Evans, L.C. (1998), Partial Differential Equations, Providence: American Mathematical Society, ISBN 0-8218-0772-2.
  • Gilbarg, D.; Trudinger, Neil (1983), Elliptic Partial Differential Equations of Second Order, New York: Springer, ISBN 3-540-41160-7.
  •  Solomentsev, E.D. (2001), Newton potential, у Hazewinkel, Michiel (ред.), Математична енциклопедія, Springer, ISBN 978-1-55608-010-4
  •  Solomentsev, E.D. (2001), Simple-layer potential, у Hazewinkel, Michiel (ред.), Математична енциклопедія, Springer, ISBN 978-1-55608-010-4
  •  Solomentsev, E.D. (2001), Surface potential, у Hazewinkel, Michiel (ред.), Математична енциклопедія, Springer, ISBN 978-1-55608-010-4

Шаблон:Isaac Newton