6.3

Параболические уравнения

[16/100%]
Показать
LaTeX
Задача 6.3.1

Рассмотрим задачу Коши для оператора теплопроводности в R1\mathbb {R}^{1}:

u_t = u_xx (-< x < , t > 0) u(x,0) = f(x) (-< x < ),

где ff ограничена, непрерывна и удовлетворяет

∫−∞∞∣f(x)∣2 dx<∞. \int _{-\infty }^{\infty } \left|f(x)\right|^2\, dx < \infty .

Докажите, что существует постоянная CC такая, что

∣u(x,t)∣≤Ct14 \left|u(x,t)\right| \leq \frac{C}{t^{\frac{1}{4}}}

для всех −∞<x<∞-\infty < x < \infty, t>0t > 0.

?
Задача 6.3.2

Пусть Ω⊂Rn\Omega \subset \mathbb {R}^{n} — открытое множество с гладкой границей, и пусть u∈C∞(Ω×[0,∞))u \in C^{\infty }(\Omega \times [0,\infty )) — решение уравнения

ut−Δu=f u_t - \Delta u = f

с u=0u = 0 на ∂Ω×[0,∞)\partial \Omega \times [0,\infty ). Предположим, что

lim⁡t→∞∫Ωf(x,t)2 dx=0. \lim _{t \to \infty } \int _{\Omega } f(x,t)^2\, dx = 0.

Пусть

ψ(t)=∫Ωu(x,t)2 dx. \psi (t) = \int _{\Omega } u(x,t)^2\, dx.

Докажите, что ψ(t)→0\psi (t) \to 0 при t→+∞t \to +\infty.

?
Задача 6.3.3

Рассмотрим задачу Коши

u_t = u_xx (-< x < , t > 0), u(x,0) = f(x),

где ff ограничена и непрерывна.

?
(a)

С помощью преобразования Фурье явно постройте фундаментальное решение этой задачи и запишите решение uu.

(b)

Сформулируйте принцип максимума для этой задачи. Почему возможен пример Тихонова о неединственности?

(c)

Предположим дополнительно, что f∈L1(R)f \in L^1(\mathbb {R}). Покажите, что

lim⁡x→∞u(x,t)=0. \lim _{x \to \infty } u(x,t) = 0.
(d)

Покажите, как решить задачу

u_t = u_xx (x > 0, t > 0) u(x,0) = f(x) (x > 0) u(0,t) = 0 (t > 0)

используя (a) и подходящее продолжение ff.

Задача 6.3.4

Рассмотрим задачу

u_t = u_xx (x R, t > 0) u(x,0) = u_0(x) L^2(R).

Найдите оценку для ∫−∞∞∣ux(x,t)∣2 dx\int_{-\infty }^{\infty } \left|u_x(x,t)\right|^2\, dx при t>0t > 0.

?
Задача 6.3.5

Для указанной области Ω\Omega (внутренность параболы) пусть ΩT\Omega_T обозначает точки (x,t)(x,t) с x∈Ωx \in \Omega и t<Tt < T. Пусть B1B_1 обозначает открытый отрезок прямой, образующий верхнюю часть ∂ΩT\partial \Omega_T, и пусть B2=∂ΩT∖B1B_2 = \partial \Omega_T \setminus B_1. Пусть u(x,t)∈C0(ΩT‾)u(x,t) \in C^0(\overline{\Omega_T}) с uxx,ut∈C0(ΩT∪B1)u_{xx}, u_t \in C^0(\Omega_T \cup B_1) — решение

uxx−ut+a(x,t)u=f(x,t) u_{xx} - u_t + a(x,t) u = f(x,t)

с a,f∈C0(Ω‾)a, f \in C^0(\overline{\Omega }). Покажите, что если a<0a < 0, f≤0f \leq 0 в ΩT\Omega_T, то любое непостоянное решение uu достигает своего отрицательного минимума (если он существует) на B2B_2. Что можно сказать, если a<0a < 0, f≥0f \geq 0 в ΩT\Omega_T?

?
Задача 6.3.6

Рассмотрим краевую задачу

u_xx + u_t = 0 (0 x и t > 0), Г.У. u(0,t) = 0, u_x(,t) = 0, Н.У. u(x,0) = f(x).

Используя последовательность {fn(x)=2n+1sin⁡(n+12x)}\left\{ f_n(x) = \dfrac {2}{n+1} \sin \left(\dfrac {n+1}{2}x\right)\right\} и подходящее пространство непрерывных функций, определите, является ли эта задача корректно поставленной.

?
Задача 6.3.7

В теории вероятностей встречается процесс Орнштейна—Уленбека, в котором частицы броуновского движения подвержены упругой силе. Требуется решить

u_t = u_xx - xu_x (x R, t > 0) u(x,0) = u_0(x).

Предположим u0∈Su_0 \in S и найдите uu. (Вы должны суметь найти uu явно; если нет, оставьте результат в виде одномерного интеграла.)

?
Задача 6.3.8

Пусть LL — обычный оператор теплопроводности

L=∂∂t−(∂2∂x12+⋯+∂2∂xn2), L = \frac{\partial }{\partial t} - \left(\frac{\partial ^2}{\partial x_1^2} + \cdots + \frac{\partial ^2}{\partial x_n^2}\right),

пусть ϕ∈D(Rn)\phi \in D(\mathbb {R}^{n}), и пусть hh — фиксированная точка Rn\mathbb {R}^{n}. Рассмотрим задачу

(Lu)(x,t) = u(x-h,t), x R^n, t > 0, u(x,0) = (x), x R^n

для неизвестной функции u(x,t)u(x,t).

?
(a)

Выведите явное представление для решения u(x,t)u(x,t) указанной задачи через начальные данные. (Вы должны доказать, что ваша uu корректно определена, но не обязаны доказывать, что она представляет гладкое решение.)

(b)

Предположим, что ϕ\phi — преобразование Фурье функции, обращающейся в нуль в шаре радиуса R≥0R \geq 0 с центром в начале координат. Покажите тогда, что решение uu удовлетворяет

∥u(⋅,t)∥L2(Rn)≤e(1−R2)t∥ϕ∥L2(Rn). \left\| u(\cdot ,t)\right\| _{L^2(\mathbb {R}^{n})} \leq e^{(1-R^2)t} \left\| \phi \right\| _{L^2(\mathbb {R}^{n})}.
Задача 6.3.9

Пусть Ω⊂Rn\Omega \subset \mathbb {R}^{n} — ограниченная область, и предположим, что u(x,t)≥0u(x,t) \geq 0 — функция с u∈C2(Ω‾×[0,∞))u \in C^2(\overline{\Omega } \times [0,\infty )), которая решает уравнение

ut−Δu=−u4 u_t - \Delta u = -u^4

(теплопроводность с потерей тепла за счёт излучения) с граничным условием u∣∂Ω=0u|_{\partial \Omega } = 0. Докажите, что можно найти постоянную CC такую, что

E(1)=∫Ωu2(x,1) dx≤C E(1) = \int _{\Omega } u^2(x,1)\, dx \leq C

независимо от начального значения u(x,0)u(x,0).

?
Задача 6.3.10

Пусть

u∈C2(B(0,r)×(0,T])∩C(B(0,r)‾×[0,T]) u \in C^2(B(0,r) \times (0,T]) \cap C(\overline{B(0,r)} \times [0,T])

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

{ut+u3+sin⁡(u)=Δxu,B(0,r)×(0,T],u=h,∂B(0,r)×(0,T],u=g,B(0,r)‾×{0} \begin{cases} u_t + u^3 + \sin (u) = \Delta _x u, & B(0,r) \times (0,T], \\ u = h, & \partial B(0,r) \times (0,T], \\ u = g, & \overline{B(0,r)} \times \left\{ 0\right\} \end{cases}

где g,hg,h непрерывны и g,h<1g,h < 1. Докажите, что max⁡u<1\max u < 1 на B(0,r)‾×[0,T]\overline{B(0,r)} \times [0,T].

?
Задача 6.3.11

Пусть u∈C2(Ω×(0,T))∩C0(Ω‾×[0,T])u \in C^2(\Omega \times (0,T)) \cap C^0(\overline{\Omega } \times [0,T]) — решение задачи

{ut=Δu−u3x∈Ω,t>0,u=0x∈∂Ω,t>0,u(x,0)=f(x)x∈Ω, \begin{cases} u_t = \Delta u - u^3 & x \in \Omega , t > 0, \\ u = 0 & x \in \partial \Omega , t > 0, \\ u(x,0) = f(x) & x \in \Omega , \end{cases}

где Ω\Omega — гладкая ограниченная область в Rn\mathbb {R}^{n}.

?
(a)

Докажите, что

∥u∥L2(Ω)(t)≤∥f∥L2(Ω)для всех t∈(0,T]. \left\| u\right\| _{L^2(\Omega )}(t) \leq \left\| f\right\| _{L^2(\Omega )} \quad \text{для всех } t \in (0,T].
(b)

Докажите, что

∥u∥L∞(Ω)(t)≤∥f∥L∞(Ω)для всех t∈(0,T]. \left\| u\right\| _{L^{\infty }(\Omega )}(t) \leq \left\| f\right\| _{L^{\infty }(\Omega )} \quad \text{для всех } t \in (0,T].
(c)

Докажите, что решение этой краевой задачи единственно.

(d)

Покажите, что для f∈L4(Ω)∩H1(Ω)f \in L^4(\Omega ) \cap H^1(\Omega ) также выполнена следующая оценка:

∥u∥L4(Ω)4(t)+∥u∥H1(Ω)2(t)≤∥f∥L4(Ω)4+∥f∥H1(Ω)2. \left\| u\right\| _{L^4(\Omega )}^4(t) + \left\| u\right\| _{H^1(\Omega )}^2(t) \leq \left\| f\right\| _{L^4(\Omega )}^4 + \left\| f\right\| _{H^1(\Omega )}^2.
Задача 6.3.12

Для каждого p∈Rnp \in \mathbb {R}^{n} пусть A(p)A(p) — вещественная положительно определённая матрица размера n×nn \times n с элементами aij(p)a_{ij}(p). Предположим A∈C1(Rn)A \in C^1(\mathbb {R}^{n}). Пусть Ω⊂Rn\Omega \subset \mathbb {R}^{n} — ограниченное открытое множество. Докажите (исходя из первых принципов) следующий принцип сравнения:

Пусть uu и vv — решения класса C2C^2 неравенств

ut≤aij(∇u)uxixjдля (x,t)∈Ω×(0,∞) u_t \leq a_{ij}(\nabla u) u_{x_ix_j} \quad \text{для } (x,t) \in \Omega \times (0,\infty )

и

vt≥aij(∇v)vxixjдля (x,t)∈Ω×(0,∞), v_t \geq a_{ij}(\nabla v) v_{x_ix_j} \quad \text{для } (x,t) \in \Omega \times (0,\infty ),

соответственно. Предположим далее, что uu и vv непрерывны на Ω‾×[0,∞)\overline{\Omega } \times [0,\infty ) и удовлетворяют условию u≤vu \leq v на параболической границе

(Ω×{0})∪(∂Ω×[0,∞)). (\Omega \times \left\{ 0\right\} ) \cup (\partial \Omega \times [0,\infty )).

Тогда u≤vu \leq v на Ω‾×[0,∞)\overline{\Omega } \times [0,\infty ).

?
Задача 6.3.13

Для ограниченного открытого Ω⊂Rn\Omega \subset \mathbb {R}^{n} пусть u∈C2(Ω‾×[0,∞))u \in C^2(\overline{\Omega } \times [0,\infty )). Предположим, что aij(x,t,z,p)a_{ij}(x,t,z,p) и bi(x,t,z)b_i(x,t,z) — непрерывные функции своих аргументов, и предположим, что

∑i,j=1naij(x,t,z,p)ξiξj≥λ(x,t,z,p)∣ξ∣2>0для любого ξ∈Rn−{0}, \sum _{i,j=1}^n a_{ij}(x,t,z,p) \xi _i \xi _j \geq \lambda (x,t,z,p) \left|\xi \right|^2 > 0 \quad \text{для любого } \xi \in \mathbb {R}^{n} - \left\{ 0\right\} ,

где λ\lambda — положительная функция. Предположим, что uu удовлетворяет неравенству

ut−∑i,j=1naij(x,t,u,∇u)uxixj−∑i=1nbi(x,t,u)uxi≥0для x∈Ω,t>0. u_t - \sum _{i,j=1}^n a_{ij}(x,t,u,\nabla u) u_{x_ix_j} - \sum _{i=1}^n b_i(x,t,u) u_{x_i} \geq 0 \quad \text{для } x \in \Omega , t > 0.

Докажите, что для любого T>0T > 0

min⁡Ω‾×[0,T]u(x,t)=min⁡Qu(x,t) \min _{\overline{\Omega } \times [0,T]} u(x,t) = \min _Q u(x,t)

где Q=(Ω×{0})∪(∂Ω×[0,T])Q = (\Omega \times \left\{ 0\right\} ) \cup (\partial \Omega \times [0,T]).

?
Задача 6.3.14

Пусть Ω\Omega — ограниченное открытое множество в Rn\mathbb {R}^{n} с гладкой границей ∂Ω\partial \Omega. Пусть u∈C2(Ω×(0,∞))u \in C^2(\Omega \times (0,\infty )), причём uu непрерывна на Ω×[0,∞)\Omega \times [0,\infty ), — решение начально-краевой задачи

u_t - u = (u) для x , t > 0 u(x,t) = 0 для x u(x,0) = f(x) для x .

Покажите, что если f(x)≤1f(x) \leq 1, то u(x,t)≤etu(x,t) \leq e^t для всех x∈Ω,t>0x \in \Omega , t > 0.

?
Задача 6.3.15

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

u_t - u_xx + uu_x = 0, R (0,), u(x,0) = g(x)

где g∈L∞∩L1(−∞,∞)g \in L^{\infty } \cap L^1(-\infty ,\infty ). Выведите явную формулу решения задачи Коши.

?
Задача 6.3.16

Рассмотрим прямоугольник Q=[0,a]×[0,b]⊂R2Q = [0,a] \times [0,b] \subset \mathbb {R}^{2}.

?
(a)

Методом разделения переменных вычислите первое собственное значение λ1\lambda_1 и первую собственную функцию ϕ1\phi_1 оператора Лапласа −Δ-\Delta на QQ:

Δu+λu=0, на Q,u=0 на ∂Q. \Delta u + \lambda u = 0, \text{ на } Q, \quad u = 0 \text{ на } \partial Q.
(b)

Пусть gg — гладкая функция, обращающаяся в нуль на границе ∂Q\partial Q. Предполагая, что κ<λ1\kappa < \lambda_1, докажите, что решение параболической задачи

u_t = u + u t > 0, x Q u(0,x) = g(x), x Q u(t,x) = 0, x Q

стремится к нулю равномерно на QQ при t→∞t \to \infty.