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

LS-Sb90326

.pdf
Скачиваний:
3
Добавлен:
13.02.2021
Размер:
530.67 Кб
Скачать

МИНОБРНАУКИ РОССИИ

Санкт-Петербургский государственный электротехнический университет ЛЭТИ

УРАВНЕНИЯ МАТЕМАТИЧЕСКОЙ ФИЗИКИ

Методические указания к одноименному курсу лекций

Санкт-Петербург Издательство СПбГЭТУ ЛЭТИ 2013

УДК 517.95 Уравнения математической физики: метод. указания к одноименному

курсу лекций / сост.: Н. А. Широков, А. М. Коточигов, А. С. Колпаков. СПб.: Изд-во СПбГЭТУ ЛЭТИ , 2013. 32 с.

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

Предназначены для студентов 4-го курса ФКТИ как основа курсаУравнения математической физики .

Утверждено редакционно-издательским советом университета

в качестве методических указаний

c СПбГЭТУ ЛЭТИ , 2013

Введение

Раздел математики, называемый уравнениями математической физики, имеет альтернативное название (уравнения в частных производных). С формальной точки зрения этот раздел исследует существование и свойства решений уравнений, включающих неизвестную функцию (или неизвестные функции) от нескольких переменных и их частные производные. Конкретные типы этих уравнений впервые появились два столетия назад в физике при описании реальных процессов в природе. За прошедшее значительное время эта область математики стала чрезвычайно обширной, в ней появилось много разных новых направлений исследований по сравнению с первыми десятилетиями ее существования. В мире имеется много учебников и монографий, посвященных уравнениям математической физики, содержание которых может существенно различаться.

Ограниченность объема курса математической физики естественным образом ставит вопрос о выборе материала, наиболее востребованного будущими инженерами. Наш подход к решению этого вопроса состоит в уче- те опыта курса дифференциальных уравнений. Подобно тому как главной целью курса обыкновенных дифференциальных уравнений для студентов технических специальностей является набор типов уравнений, разрешимых в интегралах, мы составили курс как набор физически значимых задач, разрешимых в определенном смысле явно (выписываемые подробно одинарные или кратные ряды засчитывались нами за явные решения). В соответствии с этим взглядом вначале мы рассмотрели уравнения, относящиеся к колебаниям струн или мембран для тех ситуаций, которые можно было довести до явного ответа. Мембраны рассматривались прямоугольными. Затем разбирается уравнение теплопроводности для прямой. Большая часть этих задач излагается близко к тексту книги В. И.Смирнова [1]. Изу- чение уравнения для колебаний круглой мембраны не вошло в текст указаний. В отличие от предыдущих задач описание решений в этом случае требует обстоятельного знакомства с функциями Бесселя. Соответствующий материал также можно найти в учебнике В. И.Смирнова [1]. Этот аппарат составляет базу, необходимую для полноценного математического образования инженера.

Объем вошедшего в методические указания материала ничтожен в сравнении с накопленными к настоящему времени знаниями по этим вопросам. Хорошее представление об аппарате математической физики, ставшем уже классическим, можно получить из монографии С. Г. Михлина [2]. Современный стиль изложения уравнений математической физики хорошо представлен в учебнике М. А. Шубина [3]. В 70-е гг. XX в. появились типы нелинейных уравнений, возникающих в различных физических задачах, которые, в определенном смысле, допускают явные решения. В

3

первую очередь речь идет об уравнении Кортевега де Фриза. Эти исследования приобрели большую популярность. Хорошее представление об этих вопросах можно получить из книги В. Ю. Новокшенова [4].

В связи с нацеленностью этого курса на получение решений уравнений математической физики в каком-то обозримом виде для возможных ситуаций технические детали некоторых доказательств в тексте методических указаний не приводятся.

1. Уравнение колебаний бесконечной струны

Математическое описание колебаний струны естественно проводить в терминах функции, описывающей отклонение точки струны от положения равновесия в каждый момент времени. Здесь будет рассмотрена задача описания колебаний бесконечной горизонтальной струны. Точки на вещественной оси (ось Ox) соответствуют положению струны в состоянии по-

коя. Форма струны, выведенной из состояния покоя, описывается графиком функции u(x, t), указывающей отклонение точки x от положения равнове-

сия в момент времени t. Предполагается, что струна совершает колебания

с малыми амплитудами и отклонение точки от положения равновесия происходит точно по вертикали. Уравнение, отвечающее такой модели, имеет вид

utt00 (x, t) = a2uxx00 (x, t),

(1.1)

где a > 0, x (−∞, ∞), t > 0. Такая запись предполагает, что у функции

u(x, t) существуют непрерывные частные производные u00tt(x, t), u00xx(x, t), u00xt(x, t). Уравнение (1.1) называется однородным. Это означает, что ес-

ли u дает решение (1.1), то функция v(x, t) = cu(x, t) тоже является его решением. Проверим это утверждение:

vtt00 (x, t) = cu00tt(x, t) = a2cu00xx(x, t) = a2(cu(x, t))00xx = a2vxx00 (x, t).

Решение такого уравнения требует задания начальных условий формы и скорости в начальный момент времени (t = 0):

u(x, 0) = ϕ(x), ut0(x, 0) = ψ(x);

(1.2)

начальные условия предполагаются гладкими: ϕ C2(R), ψ C1(R).

Теорема 1.1. Уравнение (1.1) при начальных условиях (1.2) имеет единственное решение, которое можно получить по формуле

u(x, t) =

(

 

+

 

)

2

 

+ 2a

x+at

x

at

at)

Z

ψ(l)dl.

 

ϕ

 

 

+ ϕ(x

 

 

1

 

 

x−at

Замечание. Эта формула для решения задачи (1.1), (1.2) называется формулой Даламбера.

4

Доказательство. Оставляя в стороне вопрос о единственности решения, ограничимся доказательством формулы Даламбера. Вывод формулы достаточно сложный. На первом этапе проводится замена переменной, упрощающая вид уравнения. Затем проводится еще одна замена, дающая возможность вскрыть некоторые внутренние симметрии уравнения, что, в конце концов, позволяет получить формулу.

На первом этапе проведем преобразования, устраняющие из уравнения параметр a. Введем новую переменную τ = ta, τ > 0 и обозначим

v(x, τ) = u(x, τ/a). Перепишем (1.1) в этих обозначениях. Для этого надо пересчитать производные по новой переменной:

 

 

vτ0 (x, τ) = a τ0 ut0

(x, t) t=τ/a

= aut0(x, τ/a),

 

 

 

 

 

 

 

 

 

τ

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

1

 

 

τ

 

 

 

 

 

 

1

 

 

 

(1.3)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

v

ττ00

(x, τ) =

 

 

 

 

 

0

 

u

tt00

(x, t)

 

=

 

 

u

tt00

(x, τ/a).

 

 

 

 

 

 

a2

 

 

 

a a τ

 

 

t=τ/a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Другая переменная (координата) не менялась, поэтому производные

по ней сохраняются:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

vx0 (x, τ) = ux0

(x, τ/a),

vxx00

(x, τ) = uxx00 (x, τ/a).

(1.4)

Подставим в (1.1) новую переменную:

a2 utt00

(x, t) = uxx00

(x, t)

a2 utt00

(x, t) t=τ/a = uxx00 (x, t)|t=τ/a.

1

 

 

 

1

 

 

 

Используя (1.3), (1.4), заменим функцию u

на функцию v и получим экви-

 

 

 

 

 

 

 

 

валентное уравнение:

 

 

 

 

vττ00 (x, τ) = vxx00 (x, τ).

 

(1.5)

Замена

позволила убрать параметр

a. Начальные условия

òîæå íàäî

переписать в терминах новой функции v; поскольку v(x, 0)

= u(x, 0) è

vτ0 (x, τ) = aut0

(x, t) t=τ/a, то начальные условия

(1.2) можно записать в

âèäå

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

v(x, 0) = ϕ(x),

vτ0 (x, 0) =

 

ψ(x).

(1.6)

 

 

 

 

a

 

 

 

 

 

 

 

 

Следующий (заключительный) этап вывод явной формулы для решения (1.5) с начальными условиями (1.6). Проведем еще одну замену переменных:

x + τ

= s,

x − τ

= σ.

(1.7)

2

 

2

 

 

 

 

Заметим, что условие t > 0 эквивалентно условию τ > 0, а оно, в свою очередь, эквивалентно s > σ. Перепишем (1.7) в виде x = s + σ, τ = s − σ

5

и введем новую функцию:

ω(s, σ) = v(s + σ, s − σ).

(1.8)

Из (1.7) и (1.8), используя правило дифференцирования сложной функции от нескольких переменных, находим первые производные новой функции:

ω0s = vx0 (s + σ)0s + vτ0 (s − σ)0s = vx0 + vτ0 , ω0σ = vx0 (s + σ)0σ + vτ0 (s − σ)0σ = vx0 − vτ0 .

Покажем, что смешанная производная ω00равна нулю:

ω00= vx0 0σ + vτ0 0σ =

=vxx00 (s + σ)0σ + vx00τ(s − σ)0σ + vx00τ(s + σ)0σ + vττ00 (s − σ)0σ =

=vxx00 − vx00τ + vτ00x − vττ00 .

Âполученной формуле два средних слагаемых взаимно уничтожаются, так

как смешанная производная не зависит от порядка дифференцирования. Оставшееся выражение равно нулю это следует из (1.5). Таким образом,

ωs00σ(s, σ) = 0.

(1.9)

Это и есть упомянутая внутренняя симметрия уравнения. На ее основании будет выведена формула Даламбера.

Формула Ньютона Лейбница позволяет написать равенство

s

ωs0 (s, s) − ωs0 (s, σ) = ω00 (s, λ)dλ.

 

R

 

σ

 

Воспользуемся равенством (1.9) и получим

 

ωs0 (s, s) − ωs0 (s, σ) = 0.

(1.10)

Проведем аналогичные выкладки со второй переменной:

 

s

 

ωσ0 (s, σ) − ωσ0 (σ, σ) = ωµ00σ(µ, σ)dµ,

 

R

 

σ

 

ωσ0 (s, σ) − ωσ0 (σ, σ) = 0.

(1.11)

Из определения (1.8) функции ω следует, что

 

ω(s, s) = v(2s, 0) = ϕ(2s).

(1.12)

Напомним производные функции ω, посчитанные после определения (1.8):

ω0s(s, σ) = vx0 (s + σ, s − σ) + vτ0 (s + σ, s − σ),

ω0σ(s, σ) = vx0 (s + σ, s − σ) − vτ0 (s + σ, s − σ).

6

Далее эти функции будут использоваться для равных аргументов. Пусть s = σ = l. Тогда предыдущие равенства можно записать в виде

ωs0 (l, l) = vx0 (2l, 0) + vτ0 (2l, 0),

(1.13)

ωσ0 (l, l) = vx0 (2l, 0) − vτ0 (2l, 0).

(1.14)

Из (1.6) для описания начальных условий следует, что

 

v0 (2l, 0) =

1

ψ(2l).

(1.15)

 

τ

a

 

 

 

Вычитая (1.14) из (1.13) и учитывая (1.15), получим:

 

ωs0 (l, l) − ωσ0

2

 

 

(l, l) =

 

ψ(2l).

(1.16)

a

Суммируя (1.13) и (1.14), получим равенство

 

ωs0 (l, l) + ωσ0 (l, l) = 2vx0 (2l, 0).

(1.17)

Следующий шаг вывода формулы, решающей задачу, основан на интегрировании (1.16) и (1.17):

r

 

 

r

Z

 

ωs0 (l, l) + ωσ0 (l, l) dl = Z 2vx0 (2l, 0)dl =

0

 

0

 

 

2r

 

Z

= |2l = y| = vy0 (y, 0)dy = v(2r, 0) − v(0, 0).

0

С учетом начальных условий (1.6) получим выражение интеграла через функцию, данную в условии задачи:

r

Z

ω0s(l, l) + ω0σ(l, l)

dl = ϕ(2r) − ϕ(0).

(1.18)

0

Аналогичные действия с (1.16) дают соотношение:

r

 

 

r 2

 

 

 

2r

1

 

s0

(l, l) − ωσ0 (l, l)) dl =

R

 

ψ(2l)dl =

 

ψ(y)dy.

a

a

R

 

 

 

 

c 1

R

 

 

0

 

 

0

 

 

R

 

 

0

 

 

 

r

 

 

 

 

 

 

 

 

 

Для сокращения записи положим h(c) =

 

 

 

ψ(y)dy и получим формулу

 

 

 

 

 

 

0

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Z

ωs0 (l, l) − ωσ0

(l, l)

 

dl = h(2r).

(1.19)

 

0

 

 

 

 

 

 

 

 

 

7

Складывая (1.18) и (1.19), получим:

r

ωs0 (l, l)dl =

 

 

2

.

(1.20)

Z

 

ϕ(2r)

 

 

 

 

ϕ(0) + h(2r)

 

 

0

 

 

 

 

 

 

 

Вычитая их, получим:

 

 

 

 

 

 

r

ωσ0 (l, l)dl =

ϕ(2r)

ϕ(0) − h(2r).

 

R

 

 

 

 

 

 

 

 

0

2

 

Формулы (1.10) и (1.11)

ω0s(s, σ) = ω0s(s, s), ω0σ(s, σ) = ω0σ(σ, σ)

позволяют перенести явное описание производных функции ω на саму эту функцию. По формуле Ньютона Лейбница находим:

s

ω(s, σ) − ω(σ, σ) = R ω0s(l, σ)dl.

σ

Формула (1.10) позволяет убрать из-под интеграла переменную σ:

 

s

 

s

 

s

(l, l)dl

σ

ω0

(l, l)dl

ω(s, σ) ω(σ, σ) = ω0

(l, σ)dl = ω0

(l, l)dl = ω0

R

 

R

 

R

 

R

 

 

 

σ

s

σ

s

s

 

s

 

 

 

 

 

 

0

 

0

 

 

и далее подстроиться под (1.20), чтобы вычислить интеграл:

ω(s, σ)

ω(σ, σ) =

(ϕ(2s) − ϕ(0) + h(2s)) − (ϕ(2σ) − ϕ(0) + h(2σ))

,

 

 

 

 

 

 

2

 

 

 

 

 

ω(s, σ)

ω(σ, σ) =

ϕ(2s) − ϕ(2σ)

+

h(2s) − h(2σ)

.

(1.21)

 

 

 

 

 

2

2

 

 

 

Формула (1.12) гарантирует равенство ω(σ, σ) = ϕ(2σ). Это позволяет переписать (1.21):

 

ω(s, σ)

ϕ(2σ) =

ϕ(2s) − ϕ(2σ)

 

+

h(2s) − h(2σ)

,

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

ω(s, σ) =

ϕ(2s) + ϕ(2σ)

+

h(2s) − h(2σ)

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

c 1

 

теграл так, чтобы исключить вспомогательнуюRфункцию h из дальнейших

Воспользуемся определением функции h(c) =

 

 

ψ(y)dy и преобразуем ин-

 

 

 

 

 

 

 

 

 

 

 

 

 

0

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

вычислений:

0

ψ(l)dl = a

0

ψ(l)dl + ψ(l)dl! = h(2σ) + a

ψ(l)dl.

h(2s) = a

1

2s

 

 

1

 

2s

 

1

2s

 

 

R

 

 

 

 

 

R

R

 

 

 

 

 

 

R

8

Запишем окончательную формулу для функции ω:

ω(s, σ) =

(2 )

2

 

 

 

2s

ψ(l)dl.

(1.22)

 

+ 2a Z

 

ϕ

s

+ ϕ(2σ)

1

 

 

 

 

 

 

 

 

 

 

 

 

Чтобы получить нужную формулу, остается вернуться к исходным обозна- чениям. По определению (1.8) ω(s, σ) = v(s + σ, s −σ), x = s + σ, τ = s −σ;

и из (1.22) получим:

v(x, τ) = ϕ(x + τ) + ϕ(x − τ) +

1

x+τ

ψ(l)dl.

 

 

 

 

R

 

2

 

2a x−τ

 

По определению v(x, τ) = u (x, τ/a), τ = at, таким образом,

u(x, t) =

(

 

+

 

)

2

 

+ 2a

x+at

(1.23)

x

at

at)

Z

ψ(l)dl.

 

ϕ

 

 

+ ϕ(x

 

 

1

 

 

 

x−at

Получена формула для решения однородного уравнения, описывающего колебания бесконечной струны.

2. Бесконечная струна. Неоднородное уравнение

Результат, полученный для свободных колебаний бесконечной струны, можно перенести на более общий случай, когда струна испытывает внешнее воздействие. Пусть функция f(x, t) описывает силу, приложенную к точке

струны x в момент времени t. Уравнение колебаний струны приобретает вид

utt00 (x, t) = a2uxx00 (x, t) + f(x, t), a > 0.

(2.1)

Начальные условия форма и скорости при t = 0 остаются прежними:

u(x, 0) = ϕ(x), ut0(x, 0) = ψ(x).

(2.2)

Решение неоднородной задачи можно получить как модификацию решения однородной задачи.

Теорема 2.1. Уравнение (2.1) при условиях (2.2) имеет единственное решение:

u(x, t) = u0(x, t) + v(x, t),

ãäå u0(x, t) решение однородной задачи (1.1), (1.2), а v(x, t) решение неоднородной задачи с нулевыми начальными условиями.

Доказательство. Задача построения u0(x, t) решается формулой Даламбера (1.23):

u0(x, t) = ϕ(x + at) + ϕ(x − at) +

1

x+at

ψ(l)dl.

 

 

 

 

R

 

2

 

2a x−at

 

9

Эта функция удовлетворяет уравнению

(u0)tt00 (x, t) = a2(u0)xx00 (x, t),

a > 0

 

(2.3)

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

 

 

 

 

 

 

 

 

 

u0(x, 0) = ϕ(x),

(u0)t0(x, 0) = ψ(x).

 

(2.4)

Рассмотрим функцию

 

 

 

 

 

 

 

 

 

 

v(x, t) = u(x, t) − u0(x, t).

 

 

Из начальных условий (2.2) и (2.4) следует, что

 

 

 

v(x, 0) = u(x, 0)

u

(x, t) = ϕ(x)

ϕ(x) = 0, v0

(x, 0) = 0.

 

 

0

 

 

 

t

 

 

Из (2.1) и (2.3) вытекает:

 

 

 

 

 

 

 

 

vtt00 = utt00 − (u0)tt00 = a2(uxx00

− (u0)xx00 ) + f = a2vxx00 + f.

(2.5)

Достаточно построить функцию v(x, t), которая решает неоднородное урав-

нение (2.1) с нулевыми начальными условиями. Тогда, в силу (2.5), функция u = u0 + v будет удовлетворять всем условиям теоремы.

Рассмотрим семейство однородных волновых уравнений, с параметром

τ (точка

отсчета):

 

 

 

 

 

 

 

w00

(x, t) = a2w00

(x, t),

x

 

R, t > τ,

(2.6)

 

tt

xx

 

 

 

 

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

 

 

 

 

 

 

w(x, τ) = g(x), wt0(x, τ) = h(x).

(2.7)

Решение каждой такой задачи легко свести к формуле Даламбера. Введем в рассмотрение функцию l(x, t) = w(x, t + τ). Очевидно, что

ltt00 (x, t) = wtt00 (x, t + τ), lxx00 (x, t) = wxx00 (x, t + τ).

 

Следовательно, функция l(x, t)

удовлетворяет однородному

уравнению

(2.6) для t > 0. Из начального условия (2.7) следует, что

 

l(x, 0) = g(x),

lt0(x, 0) = wt0(x, τ) = h(x).

(2.8)

Соотношения (2.6) (2.8) сводят построение функции w(x, t) к однородному волновому уравнению для функции l, решение которого дает формула Даламбера:

 

l(x, t) = g(x + at) + g(x − at) +

 

1 x+ath(s)ds.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

 

Следовательно,

 

 

 

 

 

 

 

2

 

 

 

 

 

 

2a x−at

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

w(x, t) =

(

 

+

(

 

 

))

2

 

 

 

 

+ 2a

x+a(t−τ)

x

t

 

a(t

τ))

 

Z

h(s)ds. (2.9)

 

g

 

a

 

τ

 

+ g(x

 

 

 

1

 

 

 

x−a(t−τ)

10

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