6.1

Общая теория

[15/100%]
Показать
LaTeX
Задача 6.1.1
?
(a)

Пусть A=(aij)i,j=1nA = (a_{ij})_{i,j=1}^{n} — вещественная матрица. Докажите, что

∫∣x∣<1(x,Ax) dx=ωnn(n+2)trace⁡A. \int _{\left|x\right|<1} (x, Ax)\, dx = \frac{\omega _n}{n(n+2)} \operatorname {trace} A.

Здесь (⋅,⋅)(\cdot , \cdot ) — скалярное произведение векторов в Rn\mathbb {R}^{n}, а ωn\omega_n — площадь единичной сферы в Rn\mathbb {R}^{n}.

(b)

Докажите, что из u∈C02(Rn)u \in C_0^2(\mathbb {R}^{n}) следует

∫Rn(Δu)2 dx=∑i,j=1n∫Rn∣Diju∣2 dx. \int _{\mathbb {R}^{n}} (\Delta u)^2\, dx = \sum _{i,j=1}^{n} \int _{\mathbb {R}^{n}} \left|D_{ij} u\right|^2\, dx.
Задача 6.1.2

Пусть TT — распределение на R\mathbb {R}, и пусть T′=0T' = 0 на R\mathbb {R}. Докажите, что T=const⁡T = \operatorname {const}; то есть покажите, что существует число aa такое, что

T(ϕ)=∫Raϕ dxдля всех ϕ∈C0∞(R). T(\phi ) = \int _{\mathbb {R}} a \phi \, dx \quad \text{для всех } \phi \in C_0^{\infty }(\mathbb {R}).
?
Задача 6.1.3

Пусть u∈Hs(Rn)u \in H^s(\mathbb {R}^{n}) с s>n/2s > n/2. Докажите, что lim⁡∣x∣→∞u(x)=0\lim_{\left|x\right| \to \infty } u(x) = 0.

?
Задача 6.1.4

Пусть uu определено для f∈D((0,1))f \in \mathcal{D}((0,1)) по формуле

⟨u,f⟩=∑n=0∞f(n)(1n). \langle u, f \rangle = \sum _{n=0}^{\infty } f^{(n)}\left(\frac{1}{n}\right).

Определите, является ли uu распределением на (0,1)(0,1), и обоснуйте ответ.

?
Задача 6.1.5

Пусть

B={(x,y)∣x2+y2<1}. B = \left\{ (x,y) \mid x^2 + y^2 < 1\right\} .

При каких p≥1p \geq 1 функция

u(x,y)=xx2+y2 u(x,y) = \frac{x}{\sqrt{x^2+y^2}}

принадлежит W1,p(B)W^{1,p}(B)?

?
Задача 6.1.6

Пусть Σ\Sigma — гладкая гиперповерхность, делящая Rn\mathbb {R}^{n} на два непересекающихся открытых множества Ω1\Omega_1 и Ω2\Omega_2. Обозначим через ν=ν(x)\nu = \nu (x) единичную нормаль к Σ\Sigma, направленную в Ω2\Omega_2. Предположим, что v:Rn→Rnv : \mathbb {R}^{n} \to \mathbb {R}^{n} решает уравнение

div⁡v(x)=b(x)при x∈Rn−Σ(*) \operatorname {div} v(x) = b(x) \quad \text{при } x \in \mathbb {R}^{n} - \Sigma \tag {*}

в классическом (C1C^1) смысле, где bb — непрерывная функция. Предположим далее, что vv принадлежит как C0(Ω1‾)C^0(\overline{\Omega_1}), так и C0(Ω2‾)C^0(\overline{\Omega_2}) (но не обязательно C0(Rn)C^0(\mathbb {R}^{n})!!), причём

v+(x0)≡lim⁡x→x0x∈Ω1v(x),v−(x0)≡lim⁡x→x0x∈Ω2v(x) v^{+}(x_0) \equiv \lim _{\substack {x \to x_0 \\ x \in \Omega _1}} v(x), \qquad v^{-}(x_0) \equiv \lim _{\substack {x \to x_0 \\ x \in \Omega _2}} v(x)

для каждого x0∈Σx_0 \in \Sigma. Выведите необходимое и достаточное условие в терминах v+v^+, v−v^- и ν\nu для того, чтобы vv было распределительным решением уравнения (*) на всём Rn\mathbb {R}^{n}.

?
Задача 6.1.7

Напомним определение оператора ротора в двух измерениях, действующего на векторное поле U(x,y)=(u(x,y),v(x,y))U(x,y) = (u(x,y), v(x,y)):

∇×U≡uy−vx. \nabla \times U \equiv u_y - v_x.
?
(a)

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

(b)

Предположим, что UU имеет вид

U(x,y)≡{U1,(x,y)∈Ω1,U2,(x,y)∈Ω2, U(x,y) \equiv \begin{cases} U_1, & (x,y) \in \Omega _1, \\ U_2, & (x,y) \in \Omega _2, \end{cases}

где Ω1\Omega_1 и Ω2\Omega_2 — открытые множества такие, что Ω1‾∪Ω2‾=R2\overline{\Omega_1} \cup \overline{\Omega_2} = \mathbb {R}^{2}, Γ≡∂Ω1∩∂Ω2\Gamma \equiv \partial \Omega_1 \cap \partial \Omega_2 — гладкая кривая, а U1U_1 и U2U_2 — (различные) постоянные векторы. Если UU имеет нулевой ротор в R2\mathbb {R}^{2} в смысле распределений, опишите как можно полнее кривую Γ\Gamma.

Задача 6.1.8

Пусть pp — многочлен от nn переменных, и пусть множество {x:p(ix)=0}\left\{ x : p(ix) = 0\right\} ограничено. Докажите, что существует умеренное распределение EE на Rn\mathbb {R}^{n} такое, что p(D)E−δ∈Sp(D)E - \delta \in S. Здесь SS — пространство Шварца быстро убывающих функций, а δ\delta — распределение Дирака, определённое как δ⋅ϕ=ϕ(0)\delta \cdot \phi = \phi (0).

?
Задача 6.1.9

Пусть P(D)P(D) — линейный дифференциальный оператор в частных производных порядка mm с постоянными коэффициентами на Rn\mathbb {R}^{n}; то есть

P(D)=∑∣α∣≤mCαDα P(D) = \sum _{\left|\alpha \right| \leq m} C_{\alpha } D^{\alpha }

где α\alpha обозначает мультииндекс α=(α1,α2,…,αn)\alpha = (\alpha_1, \alpha_2, \ldots , \alpha_n), а CαC_{\alpha } — постоянные. Предположим, что

P(iξ)≡∑∣α∣≤mCα(iξ)α≠0для всех ξ∈Rn−{0}. P(i\xi ) \equiv \sum _{\left|\alpha \right| \leq m} C_{\alpha } (i\xi )^{\alpha } \neq 0 \quad \text{для всех } \xi \in \mathbb {R}^{n} - \left\{ 0\right\} .

Если u∈S′u \in S' удовлетворяет P(D)u=0P(D)u = 0, докажите, что uu обязательно является многочленом. (Здесь S′S' обозначает пространство умеренных распределений на Rn\mathbb {R}^{n}.)

?
Задача 6.1.10
?
(a)

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

lim⁡t→0+14πte−x2/4t=δ(x) \lim _{t \to 0^+} \frac{1}{\sqrt{4\pi t}} e^{-x^2/4t} = \delta (x)

в D′\mathcal{D}'.

(b)

Покажите, как определить 1x\frac{1}{x} как распределение (то есть определите главное значение по Коши и покажите, что оно принадлежит D′\mathcal{D}').

(c)

Строго вычислите производную log⁡∣x∣\log \left|x\right| и выразите результат через ответ пункта (b).

(d)

Вычислите преобразование Фурье распределения 1x\frac{1}{x}.

Задача 6.1.11
?
(a)

Пусть

Lu(x)=∑∣α∣≤maαDαu(x),x∈Rn Lu(x) = \sum _{\left|\alpha \right| \leq m} a_{\alpha } D^{\alpha } u(x), \quad x \in \mathbb {R}^{n}

где aαa_{\alpha } — постоянные, а α\alpha — мультииндекс. Что такое фундаментальное решение оператора LL? Когда оно единственно?

(b)

Если I+I_+ обозначает функцию Хевисайда,

I+(ξ)={1,ξ≥0,0,ξ<0, I_+(\xi ) = \begin{cases} 1, & \xi \geq 0, \\ 0, & \xi < 0, \end{cases}

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

F(x,t)=12I+(t)I+(t−∣x∣) F(x,t) = \frac{1}{2} I_+(t) I_+(t - \left|x\right|)

является фундаментальным решением волнового оператора W(u)=utt−uxxW(u) = u_{tt} - u_{xx} на R2\mathbb {R}^{2}.

(c)

Выразите решение задачи Коши

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

(f,g,ϕf, g, \phi достаточно хорошие) через указанное выше фундаментальное решение. Упростите результат, чтобы получить решение Даламбера этой задачи.

Задача 6.1.12

Пусть uu — решение начальной задачи

u_tt = -u_x_j x_j x_k x_k, x R^3, t > 0, u(x,0) = 0, u_t(x,0) = (x),

где суммирование понимается в смысле уравнения в частных производных, а ϕ\phi — функция класса C∞C^{\infty } на R3\mathbb {R}^{3} с компактным носителем. Предположим, что существует постоянная CC такая, что

∥u(⋅,t)∥L2(R3)≤Ct1/4/log⁡t, \left\| u(\cdot ,t)\right\| _{L^2(\mathbb {R}^{3})} \leq C t^{1/4} / \log t,

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

∫ϕ(x) dx=0. \int \phi (x)\, dx = 0.
?
Задача 6.1.13

Пусть ϕ∈S\phi \in S (быстро убывающие функции) на R1\mathbb {R}^{1}, рассмотрим решение uu уравнения Шрёдингера

iu_t + u_xx = 0 (x R^1, t > 0), u(x,0) = (x).

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

lim⁡t→∞∫∣x∣<t∣u(x,t)∣2 dx=∫∣ξ∣<12∣ϕ^(ξ)∣2 dξ. \lim _{t \to \infty } \int _{\left|x\right|<t} \left|u(x,t)\right|^2\, dx = \int _{\left|\xi \right|<\frac{1}{2}} \left|\hat{\phi }(\xi )\right|^2\, d\xi .

Здесь ϕ^\hat{\phi } обозначает преобразование Фурье функции ϕ\phi.

?
Задача 6.1.14

Пусть uu — гладкое решение следующей задачи

u_xxt + u_xx - u^3 = 0, в [0,1] [0,), u(0,t) = u(1,t) = 0 при t [0,)

с начальными данными u(x,0)=x(x−1)u(x,0) = x(x-1). Выведите дифференциальное неравенство для w:=∫01∣ux(x,t)∣2 dxw := \int_0^1 \left|u_x(x,t)\right|^2\, dx и докажите, что u(x,t)u(x,t) равномерно стремится к нулю при t→∞t \to \infty.

?
Задача 6.1.15

Предположим, что g∈L2(R)g \in L^2(\mathbb {R}), и рассмотрим задачу Коши

ut+ux=εuxxx,u(0,x)=g(x).(CP)ε) u_t + u_x = \varepsilon u_{xxx}, \quad u(0,x) = g(x). \tag {$CP$)$_{\varepsilon }$}
?
(a)

Для каждого ε\varepsilon запишите формулу для решения uε(t,x)u^{\varepsilon }(t,x) с помощью преобразования Фурье. Покажите, что

∥uε(t,⋅)∥L2(R)=∥g∥L2(R)∀t≥0. \left\| u^{\varepsilon }(t,\cdot )\right\| _{L^2(\mathbb {R})} = \left\| g\right\| _{L^2(\mathbb {R})} \quad \forall t \geq 0.
(b)

Докажите, что при ε→0\varepsilon \to 0 решения uεu^{\varepsilon } задачи (CP)ε(CP)_{\varepsilon } сходятся к функции v(t,x)=g(x−t)v(t,x) = g(x-t). Точнее, покажите, что ∥uε(t)−v(t)∥L2(R)→0\left\| u^{\varepsilon }(t) - v(t)\right\|_{L^2(\mathbb {R})} \to 0 для каждого фиксированного момента времени tt.