Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
matphys_tex.pdf
Скачиваний:
143
Добавлен:
16.04.2015
Размер:
932.96 Кб
Скачать

= ; = ,

( ; ),

( ) =

 

( ; ) (поскольку ).

( ) 0(∞)

 

 

 

 

 

 

 

 

 

( ) = 0 вблизи точки = ( ) = 0 вблизи точки .

( ) = 0 вблизи точки = ( ) = вблизи точки . Так как 0(∞)( ; ), то эта константа равна нулю.

0(∞)( ; )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( ) = 0 ( = 0).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть = + . −

 

 

 

 

 

 

 

 

 

 

 

 

( −

) = 0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Как выбрать ? Возьмем 0(∞)( ; ) :

= 1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Положим ( ) = ( ) ·

= · ( ) 0(∞)( ; ).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Получаем, что dim = 1, так как пространство натянуто на вектор .

 

 

 

 

Как действует : < , > = < , + > = < , >+ < , >

= < , >.

 

 

 

 

 

 

 

0

 

 

 

 

 

:=

 

 

 

 

 

 

 

 

 

 

 

...

 

 

· .

 

 

 

 

 

 

 

 

 

 

 

< , > = C. < , > = =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( ; ) < , > =

= < , >.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

5.5Фундаментальное решение.

Пусть есть дифференциальный оператор (∂ ) с постоянными коэффициентами, то есть он

 

 

 

|

∂ ( ), то есть как конечная сумма производных

определяется как ( (∂ ) )( ) =

 

 

 

 

 

 

 

|≤

 

 

 

 

 

 

 

 

от с какими-то коэффициентами.

 

 

 

 

 

 

 

 

 

Определение : (R ) – фундаментальное решение оператора , если (∂ ) = .

 

 

 

 

 

 

 

 

 

 

 

< , > =

|

 

 

 

 

 

< ∂ , > =

(−1)| | < , ∂ > = < ,

 

(−1)| | ∂ > .

 

 

| |≤

 

|≤

 

 

 

| |≤

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

*(∂ ) −

 

 

 

 

 

 

 

 

 

 

 

 

сопряженный к P

< (∂ ) , >

=

< , *(∂ ) > =

< , >

= (0) (R ).

(∂ ) = .

Определение

 

:

свертка функций

и

, заданных на

R ,

определяется как

 

 

 

 

( * )( ) = R( − ) ( ) , при условии, что интеграл абсолютно сходится.

Замена − = : ( * )( ) =

( − ) ( ) = ( * )( ).

 

 

 

 

 

 

Если говорить про сходимостьRинтеграла:

 

 

 

 

 

 

 

 

1. (R ); (R ), 1 + 1 = 1 = * (R ).

68

Неравенство Гельдера помогает нам:

| ( − ) ( )| ≤

| ( − )|

 

1

·

| ( )|

 

1

 

.

R

 

(R

 

)

 

(R

 

)

Из этого следует ( по всем ): ‖ * ‖≤ ‖ ‖ · ‖ ‖ .

2. , 1(R ) = ( * ) 1(R ),

‖ * ‖1 ≤ ‖ ‖1 · ‖ ‖1.

 

 

 

 

==

 

| ( )| ·| ( )|

| ( − ) ( )|

=

| ( − )| | ( )|

 

(

 

 

 

 

)

 

 

(

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

)

 

 

 

R

R

 

 

 

 

 

R

R

 

 

 

 

R

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м.б. = +∞ на множестве ненулевой меры надо < ∞ п.в.

3. Неравенство Юнга.

 

 

(R ); (R ), 1 + 1

= 1 + 1 , [1; +∞].

Тогда *

и ‖ * ‖

≤ ‖ ‖ · ‖ ‖ .

интеграл сходится абсолютно

Если 0(∞)(R ), * (∞)(R ), то ∂ ( * ) = * (∂ ).

∂ (( ) ( − ) ) =

( )∂ ( ( − )) =

( )(∂ )( − )

R

R

R

, что и хотели. Производную можем внести под интеграл, поскольку свертка гладкая, а – хорошая.

Введем свертку * , (R ), (R ).

1, (R ), (R ):

 

 

( * )( ) = ( ) ( − ) = < , >

 

 

R

 

, где для R

( )( ) = ( − ) (R ) по .

 

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

(R ), (R ). ( * )( ) =

< , >. То есть, это обычная

 

 

 

 

 

 

(не обобщенная) функция от . < ( ), ( − ) > – имеется ввиду, что действует по , внутри < · · · > – параметр.

Теорема.

* (∞)(R )

~

( * ∂ )( )

∂ ( * )( ) = (∂ * )( ) =

69

Доказательство. Докажем только равенство ~:

( * ∂ )( ) = < , (∂ ) > =

(

)

(∂ )( ) = (∂ )( − )

= (−1)| |∂ ( ( − )) = < , (−1)| |∂ ( ) > = < ∂ , > = (∂ * )( ).

Пример : ( * ) = ?

( * )( ) = < , > = ( − ) = ( )

=0

Теорема. Пусть – фундаментальное решение оператора . Тогда ( ) := ( * )( ) –

решение уравнения = при 0(∞)(R ).

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

 

(∂ ) = | |≤ ∂ ( * ) =

|≤ (∂ ) * =

(| |≤ (∂ ))

* =

 

 

 

 

 

 

 

 

 

 

 

|

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема (Мальгранж – Эренпрайс). Для любого оператора существует фундаментальное

 

решение

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Примеры фундаментальных решений :

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1.

 

.

 

 

 

.

+

{

0, < 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= 1 =

 

( ) =

1, ≥

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

.

 

 

– фундаментальное решение

 

 

 

. Так как отображение

 

 

 

 

взаимно

 

 

 

+

 

 

+

 

 

 

−→

 

 

 

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

 

 

 

Далее так тоже часто будем делать.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Других решений, кроме как + + , нет.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

−1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2. = 1. =

+

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= 0

 

 

 

. То есть сумма производных до порядка , при этом

 

 

 

 

 

 

 

 

 

 

=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(

1)

(0) = 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

[0 :

2]

 

производная присутствует. Пусть ( ) – решение задачаи Коши:

( )(0)

= 0,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( ) = ( ) ( )

 

 

 

 

 

 

 

 

 

 

 

Тогда

 

– регулярная обобщенная, и

 

 

 

 

+

 

 

 

(то есть

 

 

 

 

 

 

 

 

 

 

функцией).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Докажем, что:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(0 ≤ < )

 

 

 

 

 

 

 

 

 

 

 

( + )

= +

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

70

(∞)(R). = 0 – равенство тривиально.

 

 

 

= 1: ( + )= ++ +

 

 

(по формуле дифференцирования произведения). Так

как += (тут все также имеется ввиду обобщенная функция), то

· = (0) = 0

(выводили, когда описывали произведение). Так что ( + )= + .

 

Аналогично с остальными производными [0 : − 1].

· ( −1)(0) = .

-я производная получается равна + + ( ).

 

 

 

Получаем, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

−1

 

 

 

−1

 

 

 

 

 

 

 

 

 

 

 

( + ) = ( + )( ) +

( + )( ) = + + ( ) +

+ ( ) = + + ( ).

 

 

 

 

 

 

=0

 

 

 

=0

 

По выбору : + ( ) = 0. Так что получаем ( + ) =

 

Порешаем дифференциальные уравнения.

 

 

 

(a) Рассмотрим уравнение

+ = . Оператор : = + .

 

– его фундаментальное решение. ( ) = + .

 

 

(0)

= 1

 

 

} = ( ) = .

 

 

 

+ = = 0

 

 

 

 

 

 

 

 

 

 

 

 

Решение неоднородного уравнения, согласно теореме этого параграфа: ( ) = ( *

 

+∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

)( ) =

+( − ) − ( − ) ( ) =

− ( − ) ( )

 

 

 

− >0

 

 

 

 

 

 

−∞

 

 

 

 

 

 

 

 

 

 

 

 

−∞

 

 

 

 

, >

 

 

 

 

 

 

 

 

 

 

 

(b) ′′ + =

0.

 

 

 

 

 

: ′′ + = 0. (0) = 0, (0) = 1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение: ( ) =

sin(

)

.

( ) = +( ) ( ).

 

 

 

 

 

 

 

 

 

 

+∞

 

(

 

 

 

 

 

 

 

))

 

( ) = ( * )( ) =

+( − )·

sin(

 

 

 

 

( ) =

 

 

 

 

 

 

 

 

−∞

 

 

 

 

 

 

 

 

 

 

−∞

sin( ( − ))

√ ( )

Пример : вспоминаем колобок, там было фундаментальное решение оператора Лапласа.

= − . Фундаментальное решение ( = ):

 

 

 

{

1|

ln ,

 

= 2

 

 

 

 

 

 

1

,

≥ 3

 

 

( ) =

 

( 2) 1|| | −2

 

 

 

 

 

| |

 

 

 

 

 

 

2

 

 

0(∞)( )

( ) = − ( − ) · ( )

 

 

 

 

 

 

 

 

 

 

 

Ω

 

 

 

 

 

 

0(∞)( ) = 0(∞)(R ). Так что положим := R

< , > = < , *(∂ ) > =

< , >

= (0),

 

(R ).

71

* – формально сопряженный к .

Рассмотрим (−∂ ) = − = −

=1

2 .

Что такое *?

· =

· * . У нас была формула Грина:

· =

· .

 

 

Ω

 

Ω

 

Ω

Ω

То есть *

=

( * = ).

 

 

(R )

 

(0)

= < , >.

 

 

(0) = (− ) (− ) ( ) = < , (− ) > .

R

= ( ) – обобщенная функция. – фундаментальное решение − . Если нужно решать уравнение (− ) = , (R ),

то знаем, что ( ) = ( * )( ) – решение.

( * )( ) = ( ) ( − ) = < , >. Похожая штука у нас также встречалась,

R

была равна ( ) = − ( * )( ) и называлась объемным потенциалом.

72

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