[家里蹲大学数学杂志]第013期2010年西安偏微分方程暑期班试题---NSE,非线性椭圆,平均曲率流,非线性守恒律,拟微分算子
Navier-Stokes equations
1 Let $\omega$ be a domain in $\bbR^3$, complement of a compact set $\mathcal{B}$. Consider the following boundary value problem in $\omega$: $$\bee\label{NS:1} \left. \ba{cc} \left.\ba{ll} \nu \lap v=(v-\xi-\omega\times x) \cdot\n v+\n p+f\\ \Div v=0 \ea\right\}\mbox{in }\omega,\\ v|_{\p \omega}=0,\ \dps{\lim_{\sev{x}\to \infty}v(x)=0.} \ea \right. \eee$$We say that $v:\omega\to \bbR^3$ is a weak solution of \eqref{NS:1} iff the following conditions are satisfied:
(1)$v\in \mathcal{D}^{1,2}_0(\omega)$;
(2)$v$ obeys the following equation: $$\bex \nu\sex{\n v,\n \varphi} +\sex{\sex{v-\xi-\omega\times x}\cdot\n v,\varphi} +\sex{f,\varphi}=0,\ \forall\ \varphi\in \mathcal{D}(\omega), \eex$$ where, we recall, $$\bex \mathcal{D}(\omega)=\sed{\varphi\in C^\infty_0(\omega);\ \Div \varphi=0}, \eex$$ $$\bex \mathcal{D}^{1,2}_0(\omega)=\mbox{ completion of }\mathcal{D}(\omega)\mbox{ in the norm }\sen{\n \varphi}_2, \eex$$ and $\dps{\sex{g,h}=\int_\omega g\cdot h\rd x}$. Show that for any $\xi,\ \omega\in \bbR^3$ and for every $f$ such that the map $$\bex \mathcal{D}^{1,2}_0(\omega)\ni \varphi \mapsto \sex{f,\varphi}\in \bbR \eex$$ is a bounded (linear) functional, problem \eqref{NS:1} has, at least, one weak solution.
2 Let $$\bex \mathcal{C}(\omega)=\sed{u:\omega\to \bbR^3;\ \left.\ba{ll} u\mbox{ is a weak solution to } \eqref{NS:1}\mbox{ with }\xi=\omega=0\mbox{ and}\\ \mbox{with given }f,\ \sev{u(x)}\leq M/\sev{x},\mbox{ for some }M>0 \ea\right.} \eex$$ Show that there exists $\gamma>0$ such that if $v\in \mathcal{C}(\omega)$ and $$\bex \sup_{x\in \omega} \sez{(\sev{x}+1)\sev{v(x)}}<\gamma, \eex$$ then $v$ is the unique weak solution in the class $\mathcal{C}$.
Hint. Prove and use the inequality $$\bex \int_\omega \frac{\sev{u(x)}^2}{\sex{\sev{x}+1}^2} d x \leq 4 \int_\omega \sev{\nu(x)}^2 d x,\ u\in \mathcal{D}^{1,2}_0(\omega). \eex$$
Nonlinear Elliptic PDEs
1 Let $\omega$ be a bounded open set in $\bbR^n$. Let $V$ be the space of distributions on $\omega$, $X=L^2(\omega)$, $Y=H^1(\omega)$. Assume that $u$ is a solution of the equation $$\bex u=Tu+F \eex$$ in $X$ for some $F\in X\cap Y$. Suppose that
(1)$T:X\to X$ is contracting: $$\bex \sen{Tu-Tv}_X<\theta\sen{v-w}_X,\mbox{ for some }0<\theta<1,\ \forall\ v,w\in X; \eex$$
(2)$T:Y\to Y$ is shrinking: $$\bex \sen{Tv}_Y<\theta\sen{v}_Y,\ \mbox{for some }0<\theta<1,\ \forall\ v\in Y; \eex$$
(3)$T\cdot +F:X\cap Y\to X\cap Y$. Prove that $u\in Y$.
Note. You can not directly use the regularity lifting theorem II. However, you can use the idea of proof there.
2 Let $\alpha$ be a real number satisfying $0<\alpha<n$ and $\dps{\tau=\frac{n+\alpha}{n-\alpha}}$. Assume that $u$ is a positive solution of the integral equation $$\bee\label{NEPde:1} u(x)=\int_{\bbR^n} \frac{1}{\sev{x-y}^{n-\alpha}}\frac{u^\tau(y)}{\sev{y}^s}dy \eee$$with $s\geq 0$. Also assume that $u$ is continous and $$\bex \int_{\bbR^n} \sez{ \frac{u^{\tau-1}(y)}{\sev{y}^s} }^{n/\alpha}dy<\infty,\ u\in L^q(\bbR^n)\mbox{ for some }q>\frac{n}{n-\alpha}. \eex$$ Define $$\bex \varSigma_\lambda =\sed{x=(x_1,\cdots,x_n);\ x_1<\lambda}. \eex$$ Let $x^\lambda=(2\lambda-x_1,x_2,\cdots,x_n)$ be the reflection of $x$ in the plane $$\bex T_\lambda=\sed{x;\ x_1=\lambda}. \eex$$ Prove that for $\lambda$ sufficiently negative, we have $$\bee\label{NEPde:2} u(x^\lambda)\geq u(x),\ \forall\ x\in \varSigma_\lambda. \eee$$
Hint. You may use the fact that $$\bex u(x)-u(x^\lambda) =\int_{\varSigma_\lambda} \sez{\frac{1}{\sev{x-y}^{n-\alpha}}- \frac{1}{\sev{x^\lambda-y}^{n-\alpha}}} \sez{ \frac{u^\tau(y)}{\sev{y}^s} -\frac{u^\tau(y^\tau)}{\sev{y^\tau}^s} } dy. \eex$$
Note. If you have difficulty in proving \eqref{NEPde:2} for $s\geq 0$, then you can prove it in the special case when $s=0$, and you can still get $80\%$ of the credit.
Mean Curvature Flow
1假设 $X(\cdot,t):M^n\times [0,T)\to \bbR^{n+1}$ 是平均曲率流方程的解, 其中 $M^n$ 是紧流形且初始超曲面 $X_0=X(\cdot,0)$ 具有非负的平均曲率. 试证: 对于每个 $t\in (0,T)$, $X(\cdot,t)$ 或者是极小曲面 (即平均曲率为零), 或者具有正平均曲率.
2如果一族超曲面 $X(\cdot,t):M^n\times [0,T)\to \bbR^{n+1}$ 满足 $$\bex \frac{\p }{\p t}X(x,t) =H(x,t)n(x,t)+X(x,t),\ x\in M^n,\ t>0. \eex$$ 试证:
(1)$\dps{\frac{\p}{\p t}g_{ij}(x,t)=2g_{ij}(x,t)-2Hh_{ij}(x,t)}$;
(2)$\dps{\frac{\p }{\p t}d\mu_t =(n-H^2)d\mu_t}$, 其中 $\dps{d\mu_t=\sqrt{\det\sex{g_{ij}(x,t)}}\rd x^1\cdots \rd x^n}$ 是超曲面 $X(\cdot,t)$ 的体积元.
Nonlinear Conservation Laws
1证明: $$\bex u(x,t)=\left\{\ba{ll} -\frac{2}{3}\sex{t+\sqrt{3x+t^2}},&\mbox{if }4x+t^2>0,\\ 0,&\mbox{if }4x+t^2<0. \ea\right. \eex$$ 是方程 $u_t+uu_x=0$ 的熵解 (entropy solution).
2考虑如下方程的 $Riemann$ 问题 $$\bex \left\{\ba{lll} \varrho_t+\sex{\varrho u}_x=0,\\ \sex{\varrho u}_t +\sex{\varrho u^2+\varrho^\gamma}_x=0\ \sex{\gamma>1},\\ \sex{\varrho, u}|_{t=0} =\left\{\ba{ll} \sex{\varrho_-,u_-},&x<0,\\ \sex{\varrho_+,u_+},&x>0. \ea\right. \ea\right. \eex$$ 如果 $\varrho_-=0$, $\varrho_+>0$, 上述 $Riemann$ 问题能用激波直接连接么? 请说明原因. 如果不能用激波直接连接, 用稀疏波能够连接真空么? 如果能, 请写出解答表达式.
Pseudo-differential Operators
注. 下列各题任选四题, 记分独立, 可以直接互相引用.
1设 $m\in \bbR$, $\varLambda^m(\xi)=\sex{1+\sev{\xi}^2}^{m/2},\ \xi\in \bbR^n$. 证明: $\varLambda(\xi)\in S^m(\bbR^n)$; 且对 $\forall\ s\in \bbR$, $\varLambda^m(D):\ H^s(\bbR^n)\to H^{s-m}(\bbR^n)$ 是连续的.
2已知引理. 令 $K\in C(\bbR^n\times \bbR^n)$ 满足 $$\bex \sup_y\int_{\bbR^n}\sev{K(x,y)}\rd x\leq C,\ \sup_x\int_{\bbR^n}\sev{K(x,y)}dy\leq C. \eex$$ 若 $\dps{Ku(x)=\int_{\bbR^n}K(x,y)u(y)dy}$, 则 $\dps{\sen{Ku}_2\leq C\sen{u}_2}$.
假设 $a(x,\xi)\in S^{-n-1}(\bbR^n)$. 证明: $\dps{K(x,x-y)= \int_{\bbR^n}e^{-i\sex{x-y}\cdot\xi}a(x,\xi)d\xi}$ 满足引理的条件.
3若 $a(x,\xi)\in S^{-n-1}(\bbR^n)$. 证明: $a(x,D):L^2\to L^2$ 是连续的, 并由此导出对 $\forall\ a(x,\xi)\in S^{-1}(\bbR^n)$, $a(x,D):L^2(\bbR^n)\to L^2(\bbR^n)$ 连续.
4 设 $a(x,\xi)\in S^0(\bbR^n)$. 证明: $a(x,D):L^2(\bbR^n)\to L^2(\bbR^n)$ 连续.
5设 $a(x,\xi)\in S^m(\bbR^n)$. 证明: $a(x,D):\ H^s(\bbR^n)\to H^{s-m}(\bbR^n)$ 连续.
[家里蹲大学数学杂志]第013期2010年西安偏微分方程暑期班试题---NSE,非线性椭圆,平均曲率流,非线性守恒律,拟微分算子的更多相关文章
- [家里蹲大学数学杂志]第049期2011年广州偏微分方程暑期班试题---随机PDE-可压NS-几何
随机偏微分方程 Throughout this section, let $(\Omega, \calF, \calF_t,\ P)$ be a complete filtered probabili ...
- [家里蹲大学数学杂志]第033期稳态可压Navier-Stokes方程弱解的存在性
1. 方程 考虑 $\bbR^3$ 中有界区域 $\Omega$ 上如下的稳态流动: $$\bee\label{eq} \left\{\ba{ll} \Div(\varrho\bbu)=0,\\ \ ...
- [家里蹲大学数学杂志]第047期18 世纪法国数学界的3L
1 Lagrange---78岁 约瑟夫·拉格朗日, 全名约瑟夫·路易斯·拉格朗日 (Joseph-Louis Lagrange 1735~1813) 法国数学家.物理学家. 1736年1月25日生于 ...
- [家里蹲大学数学杂志]第237期Euler公式的美
1 Euler 公式 $e^{i\pi}+1=0$ (1) 它把 a. $e:$ 自然对数的底 $\approx 2. 718281828459$ (数分) b. $i$: 虚数单位 $=\sqr ...
- [家里蹲大学数学杂志]第041期中山大学数计学院 2008 级数学与应用数学专业《泛函分析》期末考试试题 A
1 ( 10 分 ) 设 $\mathcal{X}$ 是 Banach 空间, $f$ 是 $\mathcal{X}$ 上的线性泛函. 求证: $f\in \mathcal{L}(\mathcal{X ...
- [家里蹲大学数学杂志]第053期Legendre变换
$\bf 题目$. 设 $\calX$ 是一个 $B$ 空间, $f:\calX\to \overline{\bbR}\sex{\equiv \bbR\cap\sed{\infty}}$ 是连续的凸泛 ...
- [家里蹲大学数学杂志]第056期Tikhonov 泛函的变分
设 $\scrX$, $\scrY$ 是 Hilbert 空间, $T\in \scrL(\scrX,\scrY)$, $y_0\in\scrY$, $\alpha>0$. 则 Tikhonov ...
- [家里蹲大学数学杂志]第235期$L^p$ 调和函数恒为零
设 $u$ 是 $\bbR^n$ 上的调和函数, 且 $$\bex \sen{u}_{L^p}=\sex{\int_{\bbR^n}|u(y)|^p\rd y}^{1/p}<\infty. \e ...
- [家里蹲大学数学杂志]第269期韩青编《A Basic Course in Partial Differential Equations》 前五章习题解答
1.Introduction 2.First-order Differential Equations Exercise2.1. Find solutons of the following inti ...
随机推荐
- css\html布局及部分知识小分享~~~
近期发现和总结的知识跟大侠们分享,请大侠们多多评论指教一二? HTML 1.(1)body需设置页面默认字体大小 body{font-size:12px;} (2)IE6下png图片划过切换失效,建 ...
- Windows Store App 全球化:在XAML元素中引用文件资源
上一小节讲解了如何在XAML元素中使用x:Uid属性引用资源文件中的字符串资源,通过改变语言首选项显示不同的运行结果.如果把字符串资源变成文件资源,就不能使用x:Uid属性来引用这些文件资源.本小节将 ...
- jquery Ajax的load、post、get、put、delete的用法
1.load() load()方法是jquery中最简单和常用的Ajax方法,能载入远程html代码并插入到DOM中,结构为load( url [, data] [, callback]); ...
- 如何获取有性能问题的SQL
1.通过用户反馈获取存在性能问题的SQL. 2.通过慢查日志获取存在性能的SQL. 启动慢查日志 slow_query_log=on set global slow_query_log=o ...
- C# base64图片数据传送加号(+)变空格问题
今天遇到一个问题,将图片的base64数据转发,客户收到base64数据后生成图片失真. 通过日志监控,对比客户收到的数据和我发出的数据,最终发现客户base64数据中原本应该显示为加号(" ...
- web前端基础篇⑦
1.img src/url后一般接地址信息 标题为<h1>-<h6> 字体依次变小 预文本格式<pre></pre> 2.a标签实现跳转 例:<a ...
- python with语句
作用:处理异常或进行资源清理等工作,让代码更加简练. 基本格式:with statement as statement: do somthing....... statement会有一个返回对象,这 ...
- NSAssert的使用
NSAssert的使用 苹果在foundation.framework中定义了这么一个宏: #define NSAssert(condition, desc, ...) 第一个参数为一个条件判 ...
- Python学习路程day11
SqlAlchemy ORM SQLAlchemy是Python编程语言下的一款ORM框架,该框架建立在数据库API之上,使用关系对象映射进行数据库操作,简言之便是:将对象转换成SQL,然后使用数据A ...
- H5实现俄罗斯方块(三)
最高分的面板: (function (window) { 'use strict'; function HighScore() { this.canvas = new Canvas('highscor ...