Дельта Дирака, шаг Хевисайда и объемная плотность заряда

Контекст

На этом веб-сайте есть много вопросов, связанных с рассматриваемым вопросом. Ни один из них не соответствует моим требованиям. Читая [1], я наткнулся на следующее:

«Кольцо заряда радиусом а и общий заряд Вопрос ... Плотность заряда кольца можно записать с помощью дельта-функции по углу и радиусу как

р ( Икс ) "=" Вопрос 2 π а 2 дельта ( р а ) дельта ( потому что θ ) . ''

Графически показано, что кольцо заряда расположено вокруг начала координат и горизонтально. Поэтому, θ "=" π 2 вокруг всего кольца.

Я собираюсь сначала переписать Джексона р в форме, с которой я более знаком, а затем я собираюсь интегрировать плотность, чтобы посмотреть, смогу ли я восстановить полный заряд кольца. Вопрос . Из [2] я знаю, что дельта ( с о с θ с о с θ ) "=" дельта ( θ θ ) грех θ . В свете этого я могу переписать заряд плотности Джексона как

(1) р ( Икс ) "=" Вопрос 2 π а 2 дельта ( р а ) дельта ( θ π 2 ) грех π 2 .

Так,

р 3 р ( р , θ , ф ) д т "=" 0 π 0 2 π 0 Вопрос 2 π а 2 дельта ( р а ) дельта ( θ π 2 ) [ ты ( ф 0 ) ты ( ф 2 π ) ] грех π 2 р 2 грех θ д р д θ д ф "=" Вопрос 2 π а 2 0 π 0 2 π 0 дельта ( р а ) дельта ( θ π 2 ) [ ты ( ф 0 ) ты ( ф 2 π ) ] р 2 грех θ д р д θ д ф "=" Вопрос 2 π а 2 π 2 ϵ π 2 + ϵ 0 2 π а ϵ а + ϵ дельта ( р а ) дельта ( θ π 2 ) грех θ р 2 д р д θ д ф "=" Вопрос 2 π а 2 2 π а 2 "=" Вопрос
Да, я восстанавливаю полный заряд кольца Вопрос . Однако есть проблема с обозначениями. Рассмотрим следующее.

Альтернативный метод

В [2] при определении плотности в сферических координатах Боас использует переменную р в знаменателе. Это в отличие от параметра, который дает конкретный радиус, например а . Давайте воспользуемся этим альтернативным подходом и посмотрим, восстановим ли мы общий заряд кольца. Вопрос .

Предположим, что имеется заряженное кольцо с полным зарядом Вопрос . Кольцо существует в каждой точке ( р , θ , ф ) в наборе

{ ( р , θ , ф ) е [ 0 , ) × [ 0 , π ] × [ 0 , 2 π ) | р "=" а , θ "=" π 2 , 0 ф 2 π } .
С точки зрения дельта-распределения Дирака, дельта , и ступенчатая функция Хевисайда, ты , плотность заряда
(2) р ( р , θ , ф ) "=" Вопрос дельта ( р а ) дельта ( θ π 2 ) р [ ты ( ф 0 ) ты ( ф 2 π ) ] 2 π р грех θ
Таким образом,
р 3 р ( р , θ , ф ) д т "=" 0 π 0 2 π 0 Вопрос дельта ( р а ) дельта ( θ π 2 ) р [ ты ( ф 0 ) ты ( ф 2 π ) ] 2 π р грех θ р 2 грех θ д р д θ д ф "=" Вопрос 2 π 0 π 0 2 π 0 дельта ( р а ) дельта ( θ π 2 ) [ ты ( ф 0 ) ты ( ф 2 π ) ] д р д θ д ф "=" Вопрос 2 π π 2 ϵ π 2 + ϵ 0 2 π а ϵ а + ϵ дельта ( р а ) дельта ( θ π 2 ) д р д θ д ф "=" Вопрос 2 π 2 π "=" Вопрос
Я снова восстанавливаю полный заряд кольца, Вопрос . Однако мне кажется, что обе манеры описывать р оба не могут быть правы. Возможно, они оба дают один и тот же результат в этой задаче, но это не означает, что они оба верны.

Вопросы

Какое выражение для плотности заряда является правильным, выражение, данное уравнением 1, или выражение, данное уравнением 2? Почему?

Библиография

[1] Джексон, Классическая электродинамика, 3-е издание, с. 123.

[2] Боас, Математические методы в физических науках, 3-е издание, с. 457, 460.

Я думаю, можно с уверенностью сказать, что ф ( р ) дельта ( р а ) "=" ф ( а ) дельта ( р а ) , так что они в основном одинаковы. Что ты в ваших выражениях?
Дельта-функция фиксирует значения различных переменных, поэтому ничего не изменилось.
@MichaelLevy Я имею в виду, вы делаете ... Я полагаю, это функция, поскольку у вас есть, например, ты ( ф 0 ) , но что это?
@secavara Это ступенчатая функция Хевисайда.
Я вижу, хорошо. Просто в данном случае это кажется немного ненужным, но ладно.

Ответы (1)

Потому что есть дельта ( р а ) в р ( р ) , поэтому, пока речь идет об интеграле, эти два выражения дают один и тот же ответ на результат интегрирования. Они могут быть дифференцированы только в их производных.

Для упрощения набора текста и не теряя сути вопроса, рассмотрим распределение заряда оболочки на р "=" а со сферической симметрией. Два выражения становятся:

  1. версия Джексона

(1) р 1 ( р ) "=" Вопрос 4 π а 2 дельта ( р а )

  1. версия Боаса

(2) р 2 ( р ) "=" Вопрос 4 π р 2 дельта ( р а )

Интегрирование каждой плотности дает:

Ом р 1 ( р ) д 3 р "=" 0 р 2 д р 0 π грех θ д θ 0 2 π д ф Вопрос 4 π а 2 дельта ( р а ) "=" Вопрос

Для дифференцирования рассмотрим следующий интеграл

ф ( Икс ) дельта ( Икс ξ ) д Икс "=" ф ( Икс ) дельта ( Икс ξ ) | ф ( Икс ) дельта ( Икс ξ ) д Икс "=" ф ( ξ ) .
Граничные элементы исчезают до тех пор, пока ф ( Икс ) конечен как Икс ± .

Рассмотрим интеграл производной дельта-функции:

(3) Ом р 1 ( р ) ф ( р ) д 3 р "=" Вопрос 4 π а 2 0 р 2 д р 0 π грех θ д θ 0 2 π д ф ф ( р ) дельта ( р а ) "=" Вопрос а 2 0 р 2 ф ( р ) дельта ( р а ) д р "=" Вопрос а 2 [ д д р р 2 ф ( р ) ] р "=" а

Кроме того, попробуйте интеграл с р 2 ( р а )

(4) Ом р 2 ( р ) ф ( р ) д 3 р "=" Вопрос 4 π 0 р 2 д р 0 π грех θ д θ 0 2 π д ф ф ( р ) д д р ( дельта ( р а ) р 2 ) "=" Вопрос 0 р 2 ф ( р ) д д р ( дельта ( р а ) р 2 ) д р "=" Вопрос [ 1 р 2 д д р р 2 ф ( р ) ] р "=" а

Для большинства штатных функций ф ( р ) , эти две формы абсолютно одинаковы. Обратите внимание на форму дифференцирования, я отдаю свой голос за второе выражение. Дифференциальная форма похожа на ф ( р ) р ^ .

Вы не используете р 2 , Судя по вашему сообщению, р 2 "=" дельта ( р а ) / р 2 . Его производная включает дифференциацию 1 / р 2 , имеет больше членов, чем просто производная от дельта .
Это также хорошее исследование, если взять только производную дельта-функции и посмотреть, насколько это будет иметь значение. Попробуйте и посмотрите, есть ли что рассказать.
@МайклЛеви, я стараюсь ф ( р ) "=" грех ( 1 р / а ) / ( р а ) . Но лишний срок 1 / р 2 в р 2 без разницы, Моя ошибка, я не продумал.
Да. Убираю предложение о возможной разнице..
Мне кажется, вам следует добавить такой предикат, как «для любой функции». ф ( р ) таков, что лим р а д д р р 2 ф ( р ) "=" л для конечных л , и пока р , а 0 , эти две формы будут идентичными. Другими словами, что ф е С 1 ( [ а ϵ , а + ϵ ] ) (ср., en.wikipedia.org/wiki/Function_space )
Чего я до сих пор не до конца понимаю, так это того, что мотивирует вас вводить функцию ф совсем. Имеет ли оно какое-либо отношение к решению краевой задачи? Если да, а если нет, пожалуйста, объясните свою мотивацию. По сути, я хочу понять, как вы пришли к такому подходу.
Это довольно типичный способ исследовать дельта функция. Кроме дельта ( Икс ) д Икс "=" 1 , все остальные особенности дельта функция, всегда связанная с ф ( Икс ) . В частности, мы не можем интегрировать дельта ( Икс ) без существования другой функции ф ( Икс ) .
Я думаю, позвольте мне изложить это следующим образом. Что бы ф ( Икс ) находиться в краевой задаче? Что ж, если мы хотим вычислить энергию конфигурации, то Вт "=" 1 2 р 3 р В д т . Так ф может быть В в этом случае. Какие еще функции мы можем ожидать увидеть или использовать в этом контексте?
Многополюсное расширение в качестве другого примера, Вопрос я Дж к . . "=" Ом Икс я Икс Дж . . р ( р ) д 3 р .
С чисто математической точки зрения, дельта функция не имеет смысла без привязки к другой функции. И свойства дельта функция имеет смысл только в отношении ее воздействия на присоединенную функцию. Поэтому изучите особенности дельта функция, общая функция необходима, на мой взгляд.