Система Orphus

Понятие обобщенного (слабого) решения задачи Коши для волнового уравнения. Разрывные решения.

Вопрос 8. Понятие обобщенного (слабого) решения задачи Коши для волнового уравнения. Разрывные решения. Распространение разрывов.

Напомним, что классическим решением дифференциального уравнения в частных производных

порядка l > 1 с постоянными коэффициентами aα в области , n > 1, называют функцию u Cl(Ω), удовлетворяющую уравнению (2) во всех точках x ∈ Ω.

Обозначим через Rloc(Ω) линейное пространство функций, локально ограниченных и локально интегрируемых по Риману в области , т.е. ограниченных и интегрируемых по Риману на любом компакте (Напомним, что компактами в Rn являются ограниченные замкнутые множества) в . Обобщеным (или слабым) решением уравнения (2) в области будем называть функцию u ∈ Rloc(Ω), которая удовлетворяет интегральному тождеству

                                     ,                         (2)

где использовано обозначение C(Ω) для линейного пространства функций, бесконечно дифференцируемых и финитных (Функцию u называют финитной в области , если ее носитель suppu компактен в области , что означает, в частности, выполнение равенства u = 0 в некоторой окресности границы ) в области .

Проиллюстрируем понятие обобщенного (слабого) решения на примере волнового уравнения utt = a2uxx в случае одной пространственной переменной. Это проще сделать, переходя к характеристическим переменным ξ = x at и η = x + at, в которых волновое уравнение принимает простейший (канонический) вид uξη = 0. При этом обобщенное (или слабое) решение уравнения uξη = 0 опредляется как функция u ∈ Rloc(R2), которая удовлетворяет интегральному тождеству

                                                              .                                            (3)

Интересно, что общий вид решения уравнения uξη = 0 в обобщенной постановке (3) не отличается от его общего вида в классической постановке. Установить это фундаментальное свойство решений уравнения uξη = 0 можно было бы, например, рассматривая это уравнение в смысле D'(R2), что, однако, выходит за рамки программы курса. Тем не менее, нетрудно убедиться в справедливости более слабого утверждения о том, что функция вида u(ξ,η) = f(ξ) + g(η) с любыми f,g ∈ Rloc(R) будет обобщенным (слабым) решением уравнения uξη = 0. При этом допускается, например, что функции f и g могут не иметь классической производной ни в одной точке R. Точнее, справедлива следующая

Лемма. Функция вида u(ξ,η) = f(ξ) + g(η) удовлетворяет интегральному тождеству

(3) при любых заданных f,g ∈ Rloc(R).

Доказательство. Пусть u(ξ,η) = f(ξ) + g(η) с какими-либо f,g ∈ Rloc(R). Тогда имеем

 

Обозначив

,

и пользуясь (4), находим

                                ,                     (5)

Поскольку  при любом выборе функции. Лемма доказана.

Возвращаясь от характеристических переменных ξ,η к исходным x,t, заметим, что функция u(x,t) = f(x at) + g(x + at) будет обобщенным (слабым) решением волнового уравнения utt = a2uxx в смысле интегрального тождества

                                                                                        (6)

при любых заданных f,g ∈ Rloc(R). В частности, функции f и g могут быть кусочно непрерывно дифференцируемыми или даже просто кусочно непрерывными с разрывами первого рода. Пусть, например, функция f имеет разрыв в точке C1 R, а функция g — разрыв в точке C2 R. В таком случае все точки характеристик x at = C1 и x at = C2 будут точками разрыва обобщенного (слабого) решения u(x,t) = f(x at) + g(x + at), т.е. разрывы обобщенного (слабого) решения распространяются вдоль характеристик. Отметим, что разрывы самого решения или его первых производных принято называть сильными, тогда как слабыми называют разрывы вторых производных при условии непрерывности самого решения и его первых производных.     

В заключение остановимся на задаче Коши для волнового уравнения

В общем случае определение обобщенного (слабого) решения формулируется для функций, локально ограниченных и локально интегрируемых по Риману в замыкании . При этом начальные условия входят в соответствующее интегральное тождество, а также «извлекаются» из него с помомощью леммы Дю Буа-Реймонда в случае, когда обобщенное (слабое) решение имеет классическую гладкость, так что для решений с классической гладкостью обобщенная постановка обязательно равносильна классической постановке. Однако, в простейшем случае обобщенных (слабых) решений, имеющих лишь слабые разрывы, можно упростить определение обобщенного (слабого) решения, предполагая только, что такое решение u C1(), удовлетворяет начальным условиям (7) и интегральному тождеству (6). На такие решения распространяется все вышесказанное о распространении разрывов.


Система Orphus

Комментарии