Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

umf

.pdf
Скачиваний:
12
Добавлен:
03.06.2015
Размер:
314.63 Кб
Скачать

1.3. Уравнение Гамильтона–Якоби

 

 

11

ω(ξ, ∂v∂z η) = (ξp · (Hpxηx + Hppηp)) − (ξx · (−Hxxηx − Hxpηp))

При подстановке этих равенств получаем:

 

 

 

dt

t=0 = ω(

∂z ξ, η) + ω(ξ,

∂z η) = 0,

 

df

 

∂v

∂v

то есть при движении по траекториям

значение формы ω не меняется, что и требовалось доказать.

 

 

 

Итак, утверждение доказано, вернёмся к доказательству теоремы о существовании и единственности решения нехарактеристической лагранжевой задачи Коши. Из доказанного утверждения следует, если ω|Λ0 = 0, то и ω|gtΛ0 = 0 (поскольку поле v, напомним, характеристическое). В таком случае, на всей поверхности Λ, построенной переносом Λ0 вдоль траекторий, форма ω вырождена (равна нулю), Λ решение лагранжевой задачи Коши. Теорема доказана.

Опишем поверхность Λ0 в координатах. Пусть она параметризована n − 1 переменными y, тогда её уравнения будут выглядеть так: x = r(y), p = p0(y). Вспомним о неизвестной функции u. Она задана на пространстве Rnx R2(x,pn ). Следовательно, если мы рассмотрим проекцию γn−1 Rnx поверхности Λn0 −1 на

подпространство Rxn, то на этой поверхности будут заданы начальные условия: u(x)

= u(r(y)) = u0(y).

Кроме того, так как ∂u = p, то

∂u

 

 

= p (y).

 

 

 

 

 

 

γ

 

|

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

∂u

 

 

 

 

 

 

 

 

 

 

 

 

∂x

∂x γ

 

 

 

 

 

 

 

 

 

= 0 и

Λ

n−1

 

Следует, однако, заметить, что

p

0

(y) однозначно задаются r(y) и теми условиями, что ω

 

Λ0

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(p0(y)

 

 

) =

 

.

 

 

(y)) = 0, и du

 

= du

= (

 

 

 

 

 

 

 

 

2n−1

 

следовательно, H(r(y), p

 

 

 

 

· dx) Λ0

 

 

 

 

 

 

 

 

 

и,∂r

 

∂u0

 

 

0

 

 

 

0

 

Λ0

 

∂x

= (p · dx) Λ0

= (p0 · r), откуда

 

·

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

∂yj

 

∂yj

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определение. Задача Коши для уравнения Гамильтона–Якоби это задача отыскания функции u(x) такой, что u(x) удовлетворяет ( ), и u γ = u0, где γ заданная (n − 1)-мерная поверхность, u0 заданная

∂u

функция, ∂x γ = p0 заданный вектор; при этом du0 = (p0 · dx)|γ , H(x, p0)|x γ = 0.

Определение. Задача Коши для уравнения Гамильтона–Якоби нехарактеристическая в точке y0 γ,

если ∂H∂p (y0, p0(y0)) / Ty0 γ.

Последнее условие соответствует условию нехарактеристичности лагранжевой задачи Коши. Задача. Объяснить, почему.

Опишем полностью, как найти решение (нехарактеристической) задачи Коши.

Поверхность Λ строится путём выпускания из точек поверхности Λ0 траекторий векторного поля v = ( ∂H∂p , − ∂H∂x ) и задаётся следующей системой уравнений:

p˙ = −Hx

 

 

 

 

 

x˙ = Hp

 

 

 

 

x(0) = r(y)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p(0) = p0(y)

 

 

 

 

 

 

∂r

0

 

 

 

∂u

 

При этом зависимость p0(y) извлекается из условий (p0 ·

 

) =

 

, H(r(y), p0(y)) = 0. (Это возможно,

∂yj

∂yj

так как πx диффеоморфизм.)

 

 

 

 

 

Решая систему, получаем зависимости:

 

 

 

 

 

x = x(t) = X(y, t), p = p(t) = P (y, t)

Якобиан преобразования X : Rn(y,t) → Rnx не равен нулю, так как строки соответствующей матрицы Якоби представляют собой (мы для простоты берём t = 0, но это соображение не является важным) векторы

∂r

и вектор

∂x

=

∂H

=

∂H

(y0, p0(y0)); векторы

∂r

это базис в касательном пространстве к

 

 

∂p t=0

 

 

∂yj

 

∂t t=0

 

 

∂p

 

∂yj

поверхности Λ , а последний вектор не лежит в этом касательном пространстве, поскольку не лежит и в

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

T

y0

γ по условию нехарактеристичности.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таким образом, нам известны зависимости x(t) и p(t) =

∂u

(t), а также значения u при t = 0. Этого

 

 

 

 

 

 

 

∂x

 

достаточно, чтобы найти u(y, t) и выразить y и t через x, откуда и получается искомая функция u(x).

 

 

Вычислительные формулы. Из условий (p0 ·

∂r

∂u0

, H(r(y), p0(y)) = 0 находим зависимость

 

 

 

) =

 

 

 

∂yj

∂yj

p0(y), составляем написанную выше характеристическую систему, решаем её, выражаем t(x) и y(x) и, наконец, ищем u. Для этого следует проинтегрировать du = (p · dx) = (p(y, t) · dx(y, t)) от начальной точки до требуемой; так как интегрируется полный дифференциал, то интеграл не зависит от пути интегрирования, и его можно разбить на два интеграла: начальное значение u(y, 0) = u0(y) и интеграл вдоль траектории при

12

Глава 1. Уравнения в частных производных первого порядка

фиксированном y тогда переменной интегрирования будет t.

Zt

u = u0(y) + (p · dx)

0

1.4Общие уравнения первого порядка

Общая форма уравнения в частных производных первого порядка, напомним, такова:

 

L(x, ∂x∂u , u) = 0

( )

Числовая функция L задана на пространстве R2n+1

(как и раньше, x первые n значений, p вторые

(x,p,w)

 

 

n значений, и теперь w (2n + 1)-е значение).

Решение общего уравнения 1-го порядка ищется почти так же, как решение уравнения Гамильтона–Якоби. Сначала для любой числовой функции u, заданной на Rnx , строим её график поверхность Λn, задаваемую

уравнениями:

( w = u(x)

 

 

 

p =

∂u(x)

 

 

∂x

( )

Проектор πx : R2(x,p,wn+1 ) → Rnx всегда будет для такой поверхности Λ диффеоморфизмом.

Далее, пусть функция u(x) решение уравнения ( ). Так как du = ( ∂u∂x · dx), то во всех точках (x, p, w),

принадлежащих её графику, будет верно равенство (p · dx) = dw. Таким образом, если ввести 1-форму

Pn

α = (p · dx) − dw = j=1 pj dxj − du, то для графика Λ решения u уравнения ( ) будет верно равенство

α Λ = 0.

Кроме того, вводим поверхность 2n, задаваемую уравнением L(x, p, w) = 0. Если u решение ( ), и для некоторой точки (x, p, w) соблюдаются равенства ( ) (то есть она принадлежит Λ), то тогда координаты этой точки удовлетворяют и уравнению L(x, p, w) = 0. Следовательно, в этом случае Λ .

Таким образом, можно сформулировать следующее утверждение.

Утверждение. Пусть функция u(x) гладкое решение уравнения ( ). Тогда поверхность Λn, заданная уравнениями ( ), удовлетворяет свойствам:

1)Λ , где поверхность задана уравнением L(x, p, w) = 0;

2)α Λ = 0, где α = (p · dx) − dw;

3)πx : Λn → Rnx диффеоморфизм.

Верно и обратное.

Утверждение. Если поверхность Λn такова, что условия 1–3 выполнены, то уравнение Λ можно записать в виде ( ), где u(x) решение ( ).

Доказательство. Из свойства 3 следует, что Λ можно задать уравнениями w = u(x), p = f(x). По свой-

ству 2

(x) =

n

 

p

dx

 

 

=

n

 

f

(x)dx , поэтому f

(x) =

∂u

, f(x) =

∂u . Тогда из свойства 1 следует,

Pj=1

 

 

Pj=1

 

 

du∂u

 

j

 

j

 

 

j

j

j

 

 

∂xj

 

∂x

 

 

 

 

 

 

что L(x, ∂x , u) = 0, то есть u решение ( ).

 

 

 

 

 

 

 

 

 

 

 

 

 

Напомним, что все наши рассуждения верны в окрестности некоторой точки.

 

 

 

 

 

Итак, возьмём произвольную точку P = (x, p, w) R(2x,p,wn+1

). Выделим в касательном пространстве в этой

точке плоскость ΦP2n

TP R(2x,p,wn+1

), такую, что для любого вектора ξ ΦP будет α(ξ) = 0. (Форма α по-

прежнему задана как α = (p · dx) − dw.) В стандартном базисе в TP R(2x,p,wn+1

) вектор ξ имеет координаты

x, ξp, ξw) R(2x,p,wn+1

). Таким образом, в точке P :

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(p · ξx) − ξw = 0

 

 

 

 

 

 

 

 

 

 

По свойству 2 Λ во

всех своих точках P должна касаться плоскостей Φ

P

. Иными словами, для всех P

 

Λ

 

 

 

n

 

 

2n

 

 

 

 

 

 

 

 

 

 

 

 

 

должно выполняться TP Λ

 

 

 

ΦP .

 

 

 

 

 

 

 

 

2n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Рассмотрим

ω = dα =

 

 

 

j=1 dpj dxj . Но такая форма невырождена на TP R(x,p) то есть на пространстве

с любыми ξ и ξ , а в ΦP

 

как раз ξx и ξp могут быть любые (только ξw тогда заданный), значит, ω

ΦP

 

x

p

 

 

 

P

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

невырождена. Следовательно, не существует 2n-мерной поверхности, касающейся ΦP в каждой своей

точке

 

 

 

 

P : ведь на такой поверхности

ω была бы вырожденной. Нам, однако, требуется лишь n-мерная

поверхность

 

 

 

 

 

Λ.

Определение. Контактная структура в области пространства R2n+1 это соответствие, сопоставляющее каждой точке P из этой области 2n-мерную плоскость ΦP TP R2n+1. При этом ΦP задаётся уравнением

1.4. Общие уравнения первого порядка

 

 

 

 

 

 

13

 

= 0, где α некоторая форма на TP R2n+1, и форма dα

невырождена. Эта плоскость называется

α

ΦP

 

ΦP

 

 

 

 

 

 

 

 

 

 

контактной плоскостью.

 

 

умножения на функцию: d(fα) = df α+fdα =

 

Отметим, что в общем случае α определена с точностью до

 

 

 

 

 

 

 

fdα.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определение. Лежандрова поверхность в R2n+1 это n-мерная поверхность Λ, такая, что в любой точке

P поверхность Λ касается контактной плоскости ΦP , то есть TP Λ ΦP . Следовательно, если ΦP задаётся

уравнением α ΦP = 0, то α Λ = 0, и dα Λ = 0.

 

 

 

 

 

 

 

 

Возьмём

теперь 2n-мерную поверхность .

 

 

 

 

 

 

 

 

 

 

2n

 

 

 

 

2n

2n

 

 

 

Определение.

 

 

 

 

 

 

 

 

2n−1

 

Точка P

 

нехарактеристическая, если

TP

 

6= ΦP ; или, что то же самое, TP

ΦP = MP

. (Понятно, что размерность пересечения может быть в принципе равна либо 2n − 1, либо 2n.)

Заметим теперь, что в каждой точке P мы имеем пространство векторов Φ2Pn и невырожденную на этом пространстве 2-форму ω. Следовательно, имеется симплектическое пространство.

Возьмём в нехарактеристической точке P поверхности пространство lP1 = (MP2n−1)Ü MP2n−1. Если взять в каждой точке P по вектору из соответствующего пространства lP , то получится векторное поле.

Определение. Такое поле на поверхности с контактной структурой ΦP называется характеристическим. Прямые, касающиеся lP , называются характеристиками.

Как видно, поиск решения общего уравнения первого порядка, в общем, очень похож на поиск решения уравнения Гамильтона–Якоби. Из новых понятий здесь вводится только контактная структура.

Утверждение. Пусть Λ лежандрова поверхность, и Λ . Тогда Λ инвариантна относительно харак-

теристик. (Это значит, напомним, что P Λ lP TP Λ.)

 

 

 

 

 

 

 

 

 

 

Доказательство.

 

 

 

 

 

Так как Λ лежандрова, то T

 

Λ

 

Φ

 

, и dα

 

= ω

 

= 0. Значит,

 

 

 

 

 

Пусть P Λ. Ü

= TP Λ.

 

P

 

 

P

 

Λ

 

Λ

 

поверхность Λ лагранжева: (TP Λ)

 

 

 

 

 

 

 

 

 

 

Далее, Λ

 

 

 

TP Λ

 

TP

 

TP Λ

 

TP

ΦP = MP . Последнее следует из TP Λ

 

ΦP .

Далее, так как

 

 

Ü

 

 

Ü

 

 

 

 

 

 

 

 

 

 

 

 

TP Λ MP , то (MP )

= lP (TP Λ)

 

= TP Λ, что и требовалось доказать.

 

 

 

 

 

 

 

Точно так же, как и при нахождении решения уравнения Гамильтона–Якоби, для однозначного задания

поверхности Λ нужно указать (n − 1)-мерную поверхность Λ0, такую, что Λ0 и α Λ0 = 0. Задав её, поступим уже привычным образом: будем двигать Λ0 вдоль характеристик.

Определение. Лежандрова задача Коши это задача построения лежандровой поверхности Λn 2n, такой, что Λ0 Λ (Λn0 −1 заданная поверхность).

Определение. Лежандрова задача Коши нехарактеристическая в точке P Λn0 −1, если

1)Точка P нехарактеристическая точка поверхности , то есть TP 6= ΦP (ведь только в этом случае в окрестности точки P будут определены характеристики);

2)lP / TP Λ0.

Теорема. Пусть P нехарактеристическая точка поверхности Λ0. Тогда в окрестности точки P лежандрова задача Коши имеет единственное решение.

Доказательство. Собственно, из определений нехарактеристической точки и лежандровой задачи Коши и из свойств поверхности Λ0 следует утверждение теоремы. Нужно только доказать, что поверхность Λ0со сдвигом (и, следовательно, составленная из сдвинутых вдоль характеристик поверхностей Λ) тоже ле-

жандрова, как и сама Λ0, то есть α

 

= 0.

 

 

Задача. Доказать, что α Λ = 0.

Λ

 

 

, то он будет лежать в контактной плоскости и после

 

 

что если вектор ξ лежит в Φ

 

Для этого надо доказать,

 

 

 

P

 

сдвига вдоль

характеристики.

 

 

 

 

 

 

 

 

 

 

Опишем поверхность Λ0 в координатах. Пусть она параметризована n − 1 переменными y, тогда её уравнения будут выглядеть так: x = r(y), p = p0(y), w = u0(y). Вспомним о неизвестной функции u. Она задана

на пространстве Rxn R(2x,p,wn+1

). Следовательно, если мы рассмотрим проекцию γn−1 Rxn поверхности Λ0n−1

на подпространство Rxn, то на этой поверхности будут заданы начальные условия: u(x)

= u(r(y)) = u0(y).

Кроме того, так как ∂u = p, то

∂u

 

= p (y).

∂u

 

 

 

γ

 

 

 

 

∂x

 

 

0

 

 

 

 

 

 

 

 

Определение.

 

∂x γ

 

 

 

 

 

 

 

 

L(x, p0, u0) γ = 0.

Задача Коши

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

u, удовлетворяющей уравнению ( ), а также уравнениям u γ = u0,

∂x γ

= p0, причём du0

γ

= (p0 · dx) γ , и

 

Задача Коши нехарактеристическая в точке y

 

γ, если

∂L

(y , p (y ), u (y )) / T 0 γ.

Определение.

 

 

 

 

 

 

0

 

 

∂p

0 0 0

 

0 0 y

 

 

 

 

 

 

 

 

 

 

Теорема. Пусть задача Коши нехарактеристическая в точке y0. Тогда в окрестности этой точки она

имеет единственное решение.

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Итак, имеются: уравнение ( ); пространство R(2x,p,wn+1

); поверхность 2n :

L(x, p, w) = 0;

заданные в каждой точке P R2n+1

плоскости ΦP : α = 0; поверхность Λ0n−1, удовлетворяющая условиям

Λ решение

 

 

 

p

 

 

= u0(y) (здесь γ = πx0)); форма α = (p · dx) − dw. Попробуем получить поверхность

x γ = p0(y), w

x γ

n

лежандровой задачи Коши.

 

14 Глава 1. Уравнения в частных производных первого порядка

y0 проекция на Rnx точки P = (y0, p0(y0), u0(y0)) R2n+1.

Точки P поверхности задаются условием L(P ) = 0, соответственно, касательное пространство TP задаётся условием dL(ξ) = 0, или (Lx · ξx) + (Lp · ξp) + Lwξw = 0. Далее, плоскости ΦP задаются условием α = 0, откуда для любого ξ ΦP имеем (p · ξx) − ξw = 0. Ввиду нехарактеристичности лежандровой задачи Коши пересечение TP ∩ ΦP = MP имеет размерность 2n − 1. Векторы из пересечения удовлетворяют обоим указанным условиям, поэтому:

(Lx · ξx) + (Lp · ξp) + Lwξw = 0, (p · ξx) − ξw = 0

(Lx · ξx) + (Lp · ξp) + Lw(p · ξx) = 0 ((Lx + Lwp) · ξx) + (Lp · ξp) = 0

Вектор из поля lP тоже лежит в рассматриваемом пересечении. Рассмотрим такое векторное поле, удовлетворяющее всем уравнениям:

vx = Lp, vp = −Lx − Lwp, vw = (p · vx) = (p · Lp)

Для любого вектора ξ TP ∩ ΦP = MP выражение ω(ξ, v) даст как раз левую часть последнего уравнения; это означает, что поле v лежит в ортогональном дополнении к этому пересечению, а потому v и есть характеристическое поле.

Характеристическое поле найдено, по нему составляется характеристическая система (из 2n + 1 уравнений) и проделываются все те же операции, что и при решении задачи Коши для уравнения Гамильтона– Якоби. Осталось, однако, показать, что найденное решение существует и единственно.

Задача. Показать, что из нехарактеристичности задачи Коши следует нехарактеристичность и лежандровой задачи Коши.

Тогда согласно доказанной выше теореме решение существует и единственно.

Задача. Последнее, что осталось сделать показать, что у поверхности Λ, составленной из траекторий векторного поля v, πx будет диффеоморфизмом.

Итог. Итак, пусть задано уравнение ( ) и начальные условия u(r(y)) = u0(y). Тогда составляем характеристическую систему:

 

x˙ = ∂L

 

∂w p

p˙ =

∂x

 

 

 

 

 

 

 

∂L

 

 

 

∂p

 

 

 

 

 

∂L

 

∂L

w˙ = (p · ∂p )

 

x(0) = r(y)

с начальными условиями

w(0) = u0(y)

p(0) = p0(y)

 

 

При этом функцию p0(y) узнаём из условий L(r(y), p0(y), u0(y)) = 0, ∂u∂y0 = (p0(y) · ∂y∂r ). Решая систему, получаем:

x = x(t) = X(y, t), p = p(t) = P (y, t), w = w(t) = U(y, t)

Отсюда выражаем y = y(x), t = t(x) и получаем ответ u(x) = U(y(x), t(x)).

∂w
∂t

Глава 2

Волновое уравнение

2.1Общие сведения о волновых уравнениях

Заметим, что волновое уравнение по своим свойствам заметно отличается от уравнений теплопроводности и Пуассона, что связано с тем, что оно описывает распространение волн. Логично ожидать, что для решения волнового уравнения не существует принципа максимума, так как при распространении волны максимум в разные моменты времени находится в разных точках. По этой причине доказательство теоремы единственности решения волнового уравнения отличается от предыдущих случаев.

Мы будем рассматривать волновое уравнение в неограниченном пространстве. Требуется найти функцию u(x, t), удовлетворяющую уравнению

2u = c2 u ∂t2

где x Rn, t - переменная времени. Реально мы рассмотрим размерности физические, где n = 1, 2, 3. Определение. Классическая задача Коши для волнового уравнения - задача отыскания функции u(x, t)

C2(Rn, (0, +∞)) T C(Rn, [0, +∞)) где x Rn, t > 0, удовлетворяющей условию:

u

 

 

= u (x)

 

2u

= c2

 

u + f(x, t)

u

 

 

 

= u (x)

 

∂t2

 

 

 

 

 

 

|t=0

 

 

0

 

 

 

t|t=0

 

 

 

 

 

 

1

Для решения этой задачи удобно воспользоваться следующим соображением. Пусть u(x, t) - решение классической задачи Коши. Тогда u(x, t) = v(x, t) + w(x, t) + z(x, t) где функции v(x, t), w(x, t), z(x, t) удовлетворяют уравнениям

v

 

 

= u (x)

,

w

 

 

= 0

 

2v

= c2

 

v

 

 

2w

= c2

w

v

 

 

= 0

 

 

w

 

 

= u (x)

 

∂t2

 

 

 

 

 

 

∂t2

 

 

 

 

|t=0

 

0

 

 

 

|t=0

 

 

 

 

t|t=0

 

 

 

 

 

 

t|t=0

 

 

 

 

 

 

 

 

 

 

 

1

2z

∂t2 = c2 z + f

,z|t=0 = 0

zt|t=0 = 0

Замечание. В силу линейности волнового уравнения решение классической задачи сводится к решению трех задач по-отдельности.

Замечание. Оказывается, что для решения классической задачи Коши для волнового уравнения необходимо решить лишь одну из трех задач, а именно задачу для функции w(x, t) для любой функции u1(x).

Пусть w(x, t) решение второй задачи Коши. Для того чтобы подчеркнуть, что u1(x) любая, обозначим ϕ(x) = u1(x). Рассмотри v(x, t) = ∂w∂t . Тогда

v|t=0 = wt|t=0 = ϕ2

w|t=0 = 0

vt|t=0 = wt|t=0 = c

Таким образом функция v(x, t) = является решением первой задачи Коши, где надо лишь положить ϕ(x) = u0(x). Для того чтобы решить третью задачу Коши, зная решение второй задачи, необходимо воспользоваться принципомRДюамеля.

Определение. z(x, t) = 0t ω(t, τ, x)dτ - интеграл Дюамеля

Будем искать рещение третьей задачи в виде интеграла Дюамеля, где ω(t, τ, x) решение следующей некоторой задачи Коши, условия которой мы сейчас получим.

Преобразуем уравнение на z(x, t) в уравнение на ω(t, τ, x), наложив условие ω|t=τ = 0:

15

16

 

 

 

R

 

 

 

Глава 2. Волновое уравнение

ztt = ωt(t, t, x)

0t

0

tt

 

zt = ω(t, t, x) +

ωt(t, τ, x)dτ

 

 

 

 

+

 

t

ω (t, τ, x)dτ

 

R

 

 

 

 

z =

t

 

 

x)dτ

 

 

 

0

ωt(t, τ,R

 

 

 

Тем самым уравнение на z(x,t) преобразуется в уравнение на ω(t, τ, x):

Zt Zt

ωt|t=τ + ωtt(t, τ, x)dτ = c2 ωdτ + f(x, t)

0 0

Приравнивая отдельно подынтегральные и свободные члены получаем

ωt|t=τ = f(x, t)2

ω

ωttt(t, τ, x) = c

Заметим, что условия z|t=0 = 0, zt|t=0 = 0 выполняются автоматически в силу ω|t=τ = 0 В итоге получается задача на функцию ω(t, τ, x):

ω

2ω

 

= 0

 

= c2

ω

 

|t=τ

= f(x, τ)

ω

 

 

 

∂t2

 

 

 

 

t|t=τ

 

 

 

 

 

 

 

 

Или же, используя замену переменных t − τ = ξ, данная система преобразуется к виду

∂ξ2 = c2

ω

 

2ω

 

ω|ξ=0 = 0

 

 

 

 

 

ωξ|ξ=0 = f(x, τ)

 

 

 

Таким образом, чтобы решить классическую задачу Коши для волнового уравнения, достаточно лишь научиться решать задачу Коши, где ненулевая лишь только функция u1(x). Обозначим через St разрешающий оператор второй задачи Коши, то есть w(x, t) = Stϕ(x). Тогда решение классической задачи Коши можно записать в виде:

u(x, t) = Stu1(x) + ∂St∂t

( ) + Z0

Stτ f(x, τ)dτ

 

 

 

t

 

u0

x

 

2.2Решение волнового уравнения в одномерном случае. Формула д’Аламбера

Задача Коши для волнового уравнения в одномерном случае имеет вид:

w

 

 

= 0

 

2w

= c2wxx

w

 

 

= ϕ(x)

 

∂t2

 

 

 

|t=0

 

 

 

t|t=0

 

 

 

 

В данном случае решение пишется довольно просто, так как для уравнения 2w = c2wxx можно написать

∂t2

общее решение.

2

 

 

 

2

 

 

 

 

 

 

 

 

 

(

 

− c2

)w = 0

 

 

 

 

∂t

2

∂x2

 

 

 

 

(

− c

)(

+ c

)w = 0

 

 

 

 

∂t

∂x

∂t

∂x

 

 

 

 

Перепишем это уравнение в переменных ξ = x − ct, η = x + ct. Тогда x =

ξ + η

, t =

η − ξ

.

2

2c

wξ = 12 wx + (− 21c )wt = (− 21c )( ∂t− c ∂x)w wη = 12 wx + 21c wt = 21c ( ∂t+ c ∂x)w

∂w2 = 0 ∂ξ, η

2.3. Решение волнового уравнения в одномерном случае. Формула Кирхгофа

17

Общее решение этого уравнение пишется в виде w = f(ξ)+ g(η). Эта формула показывает, как распространяются волны с постоянной скоростью в одномерном случае: это волны, бегущие по и против оси x со скоростью c. Таким образом мы доказали следующее утверждение:

Утверждение. Пусть w(x, t) - произвольное решение одномерного волнового уравнения. Тогда w(x, t) = f(x − ct) + g(x + ct).

Осталось подобрать такие функции f(x, t), g(x, t), удовлетворяющие условию задачи Коши. А именно

f(x) + g(x) = 0

−cf(x) + cg(x) = ϕ(x)

Из этих условий легко получить явные формула для f(x) и g(x):

g(x) = 1 R x ϕ(ζ)dζ, f(x) = − 1 R x ϕ(ζ)dζ

2c 0 2c 0

xZ+ct

w = 21c ϕ(ζ)dζ

xct

Таким образом разрешающий оператор для волнового уравнения в одномерном случае действует на ϕ(x) следующим образом:

xZ+ct

Stϕ = 21c ϕ(ζ)dζ

xct

Само же решение задачи Коши волнового уравнения в одномерном случае имеет вид

 

 

x+ct

 

t

x+c(tτ )

u(x, t) =

1

Z

ϕ(ζ)dζ +

1

(u0(x − ct) + u0(x + ct)) +

1

Z

(

Z

f(ζ, τ)dζ)dτ

2c

2c

2c

 

 

xct

 

 

 

 

0 xc(tτ )

 

и называется формулой д’Аламебра.

2.3Решение волнового уравнения в одномерном случае. Формула Кирхгофа

Стоит отметить, что оператор сферически симметричен. Логично предположить, что в трехмерном случае, как и в одномерном, при наличии точеченого возмущения в точке x волны начнут распространяться во все стороны со скоростью c, то есть через какое-то время t это возмущение будет сосредоточено на сфере радиуса ct. В физике этот принцип называется принципом Гюйгенса-Френеля. Идея отыскания решения волнового уравнения в трехмерном пространстве такова: чтобы найти решение u(x,t) необходимо собрать начальное возмущение по сфере с центром в точке x радиуса ct.

Утверждение. Пусть имеется произвольная функция f(x) C2(R3) . Тогда

w(x, τ) = τ1

Z

f(y)dσ

 

|yx|=τ

 

удовлетворяет волновому уравнению wτ τ = w.

 

 

Доказательство. Для доказательства надо лишь убедиться, что функция w(x, τ) удовлетворяет волновому уравнению. Проблемы возникают при дифференцировании, так как x и τ стоят в пределах интегрирования, соотвественно необходимо переписать функцию в других переменных, а именно использовать замену

y = x + τω, |ω| = 1.

Z

 

 

 

 

 

 

 

 

 

 

 

 

w(x, τ) = τ

f(x + τω)dσ0 , где dσ0 - форма площади шара единичного радиуса.

 

|ω|=1

 

 

 

Z

 

 

Z

 

 

 

 

 

w = τ

Z

f(x + τω)dσ0, wτ =

f(x + τω)dσ0 + τ

(ω,

 

∂x

)dσ0

 

 

 

 

 

 

 

 

 

 

∂f(x + τ ω)

 

|ω|=1

 

Z

 

|ω|=1

 

Z

|ω|=1

 

 

 

 

 

wτ = wτ + τ1

(ω,

∂f(y)

)dσ = wτ + τ1

 

∂f(y)

 

 

 

 

 

 

 

 

∂x

 

∂n

 

 

|yx|=τ

|yx|=τ

18

Глава 2. Волновое уравнение

Последнее слагаемое стоит преобразовать, используя первую формулу Грина:

wτ = wτ + τ1

Z

f(y)dy = wτ + τ1

Zτ

Z

fdσρ , где dσρ = (ρ)2sinθdθdϕ.

 

|yx|<=τ

 

 

 

 

 

 

0

|yx|=ρ

 

 

 

wτ τ = −

w

+

wτ

1

Zτ

Z

 

fdσρ + τ1

Z

fdσ

 

τ 2

τ

τ 2

 

 

 

0

|yx|=ρ

 

 

|yx|=τ

 

Последнее слагаемое в точности совпадает с выражением для w. Тем самым остается проверить, что остальные три слагаемых равны 0, что легко видеть, если подставить выражение для wτ .

Замечание. Может показаться, что

 

 

w(x, τ) = τ1

Z

f(y)dσ

 

|yx|=τ

 

при τ → 0 имеет особенность. Легко видеть, что никакой особенности нет, так как dσ → 0 как τ2, в силу чего w(τ) → 0 при τ → 0.

Таким образом мы получили довольно большой запас решений волнового уравнения в трехмерном пространстве, так как функция f(y) любая. Из этого большого запаса решений теперь необходимо выбрать те, которые будут решениями задачи Коши. Перепишем решение w(x, τ) положив τ = ct:

w(x, τ) = c2t

Z

 

f(x + ctω)dσ0

 

 

w|t=0 = 0, wt = c2

Z

 

 

|ω|=1

+ c2t Z

 

 

f(x + ctω)dσ0

∂t

0

 

 

 

 

 

 

 

 

 

∂f(x + ctω)

 

 

|ω|=1

 

 

 

 

 

|ω|=1

 

 

 

 

wt|t=0 = 4πc2f(x)

 

 

Таким образом мы доказали следующее

 

 

 

 

 

 

 

 

 

Утверждение.

 

 

 

 

 

 

 

 

 

 

Пусть ϕ(x) C2(R3). Тогда u(x, t) =

1

 

 

Z

ϕ(y)dσ , удовлетворяет задаче Коши:

4πc2t

 

 

 

u

 

|yx|=ct

 

 

 

 

 

 

 

= 0

 

 

 

 

 

 

2u = c2 u

 

 

 

 

 

u

 

 

 

= ϕ(x)

 

 

 

 

 

∂t2

 

 

 

 

 

 

 

 

 

|t=0

 

 

 

 

 

 

 

 

 

t|t=0

 

 

 

 

 

 

 

 

 

 

 

 

Таким образом разрешающий оператор волнового уравнения в трехмерном случае имеет вид:

 

 

 

 

 

 

 

 

 

 

Stϕ = 4πc2t

Z

ϕ(y)dσ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

|yx|=ct

 

 

 

 

 

 

И справедлива следующая

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема. (Формула Кирхгофа) Рассмотри задачу Коши

 

 

 

 

 

 

 

 

 

u

 

= u (x)

 

 

, где u0, u1, f

 

 

C2, x R3

 

 

 

 

 

2u = c2

 

 

u + f(x, t)

 

 

 

 

 

 

 

 

 

 

 

 

|t=0

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

u

 

 

= u (x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

∂t2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t|t=0

 

 

1

 

 

 

 

 

 

 

 

 

 

 

Тогда

Z

 

 

 

 

 

 

 

 

 

 

 

Z

 

(y)dσ) + Z

 

 

 

Z

 

u(x, t) = 4πc2t

u1(y)dσ + ∂t ( 4πc2t

 

u0

t

4πc2(t − τ )

f(y, τ)dydτ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

1

 

 

 

 

 

|yx|=ct

 

 

 

 

 

 

 

 

 

 

|yx|=ct

 

0

 

 

 

|yx|=c(tτ )

 

- классическое решение задачи Коши.

2.4. Решение волнового уравнения в двумерном случае. Формула Пуассона

19

2.4Решение волнового уравнения в двумерном случае. Формула Пуассона

В двумерном случае цель остается той же самой: необходимо найти разрешающий оператор St для решения задачи Коши:

 

2u

= c2

u

 

 

 

∂t2

 

= 0

, где x

 

R2

u

|t=0

 

 

 

 

 

 

 

u

t|t=0

= ϕ(x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Для решения данной задачи удобно воспользоваться методом спуска. Суть его заключается в том, что, зная решение задачи в R3, можно спроектировать его на подпространство R2. Формально это означает, что мы можем решать задачу Коши в R3, но только функция ϕ(x) не зависит от третьей переменной x3.

Обозначим z = (x, x3), где x R2, и будем решать следующую задачу:

 

2w2

= c2 zw

 

 

 

 

 

 

∂t

 

= 0

, где ϕ(z) = ϕ(x) - не зависит от x3.

w

|t=0

 

 

 

 

b

 

 

wt|t=0 = ϕ(z)

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таким образом u(x, t) = w(z, t)|x3 = 0.

 

 

 

Z

 

 

 

 

 

w(z, t) = 4πc2t

ϕ(y)dσ

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

|yz|=ct

 

Так как ϕ(y) от переменной y3 не зависит, то

Z

 

 

 

 

 

u(x, t) = 2πc2t

ϕ(y)dσ

 

 

 

 

 

1

 

 

 

полусфера

А интеграл по полусфере стоит переписать через координаты ξ R2, y = (ξ, y3).

u(x, t) =

1

Z

ϕ(ξ)dσ, где dσ стоит вычислить отдельно.

2πc2t

 

 

|ξx|≤ct

 

Полусфера параматризуется следующим образом:

r = (y1, y2, y3) y1 = ξ1

y2 = ξ2 p

y3 = c2t2 − (ξ1 − x1)2 − (ξ2 − x2)2

Форма площади, как известно, имеет вид dσ = gdξ1 2, где g = det(gij ), gij - матрица первой квадратичной формы.

 

∂r

 

 

 

 

 

 

 

ξ1 − x1

 

 

 

 

= (1, 0, −

 

 

 

 

 

 

)

 

∂ξ1

 

 

 

 

 

p

c2t2 − (ξ1 − x1)2 − (ξ2 − x2)2

 

 

∂r

 

 

 

 

 

 

 

ξ2 − x2

 

 

 

 

= (0, 1, −

 

 

 

 

 

)

 

∂ξ2

 

 

 

 

 

p

c2t2 − (ξ1 − x1)2 − (ξ2 − x2)2

 

 

 

 

 

1 +

(ξ1 − x1)2

 

(ξ1 − x1)(ξ2 − x2)

 

 

gij =

c2t2 − |ξ − x|2

2

 

 

 

 

 

c2t2 − |ξ − x|2

 

 

 

 

 

(ξ1 − x1)(ξ2 − x2)

 

 

 

(ξ2 − x2)

 

 

 

 

 

 

c2t2 − |ξ − x|2

1 +

c2t2 − |ξ − x|2

 

А для определителя этой матрицы получаем следующее выражение:

g = 1 +

|ξ − x|2

=

c2t2

c2t2 − |ξ − x|2

c2t2 − |ξ − x|2

 

u(x, t) =

1

 

Z

ϕ(ξ)

 

1

 

12

2πc

 

 

p

c2t2 − |ξ − x|2

 

|ξx|≤ct

20

 

 

 

 

 

Глава 2. Волновое уравнение

Таким образом выражение для разрешающего оператора задачи Коши имеетвид:

 

1

Z

 

ϕ(y)

Stϕ =

 

 

 

dy

2πc

 

p

c2t2 − |y − x|2

 

|yx|≤ct

Теорема. (Формула Пуассона) Рассмотри задачу Коши

Тогда

Z

u(x, t) = 2πc1

|yx|≤ct

 

u

 

 

 

= u (x)

 

, где u0, u1, f

 

 

C2, x

 

R2

 

 

 

 

 

 

 

2u = c2

u + f(x, t)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

|t=0

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

u

 

 

 

 

= u (x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

∂t2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t|t=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Z

 

 

 

 

 

dy)+Z

t

 

Z

 

 

 

 

 

u1(y)

 

 

 

 

 

 

 

1

 

 

u0(y)

 

 

 

1

 

f(x, τ )

 

 

 

dy+

 

(

 

 

 

 

 

 

 

 

 

 

dydτ

 

∂t

2πc

p

 

 

2πc

p

 

p

c2t2 − |y − x|2

 

c2t2 − |y − x|2

 

 

c2(t − τ )2 − |y − x|2

 

 

 

 

 

 

 

 

 

 

 

 

|yx|≤ct

 

 

 

 

0

 

 

|yx|≤c(tτ )

 

 

 

 

- классическое решение задачи Коши.

Стоит отметить, что формула Пуассона хоть и похожа на формулу Кирхгофа, но качественно от нее отличается. В трехмерном случае возмущения, которые имели место при t0 < t не оказывают никакого влияния на решение u(x, t). Говорят, что в трехмерном случае волна имеет резкий фронт. В двумерном же случае возмущения, которые имели место при t0 < t, влияют на решение u(x, t), так как интеграл берется не по окружности, а по целому кругу |y − x| ≤ ct. Говорят, что в двумерном случае волна имеет нерезкий фронт. Так же стоит отметить, что скорость распространения волн во всех случаях конечна и равна c. Возмущения, имеющие место при t0 > t не влияют на u(x, t), в то время как для уравнения теплопроводности скорость является бесконечной. Формулы д’Аламбера, Пуассона и Кирхгофа автоматически дают теоремы существования решения волнового уравнения в R1, R2, R3 соотвественно.

2.5Закон сохранения энергии. Теорема единственности волнового уравнения.

Предположим, что функция u(x, t), x Rn, убывает по переменным x достаточно быстро при |x| → ∞ (вместе со своими производными). Тогда для волны u(x, t) можно определить функцию энергии:

Z

 

∂u 2

2

E(t) = (

∂t ) + ( u) dx

Rn

Теорема. (Закон сохранения энергии). Пусть u(x, t) C2 достаточно быстро убывает |x| → ∞ и удовлетворяет волновому уравнению utt = u. Тогда энергия этой волны сохраняется во времени.

 

˙

 

 

 

 

 

 

Доказательство. Убедимся, что E = 0

 

 

 

Z

 

 

˙

Z

 

 

 

 

 

E =

[2ututt + 2( u, ut)]dx = 2 [ut u + ( u, ut)]dx =

 

Rn

 

 

 

Rn

 

 

 

= 2 lim

Z

[u

 

u + ( u,

u

)]dx

 

R→∞

 

t

 

t

 

|x|≤R

Для интеграла по области |x| ≤ R теперь можно применить первую формулу Грина:

˙

lim

Z

u

∂u

E = 2 R→∞

 

t ∂r

|x|=R

Если для функции u(x, t) справедливо |ut ∂u∂r | ≤ R2+C α , α > 0, то имеет место следующая оценка

Z

|ut ∂u∂r dσ| ≤ 4π R2+C α R2

|x|=R

И тем самым

˙

E = 0

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]