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}$.

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,非线性椭圆,平均曲率流,非线性守恒律,拟微分算子的更多相关文章

1. [家里蹲大学数学杂志]第049期2011年广州偏微分方程暑期班试题---随机PDE-可压NS-几何

随机偏微分方程 Throughout this section, let $(\Omega, \calF, \calF_t,\ P)$ be a complete filtered probabili ...

2. [家里蹲大学数学杂志]第033期稳态可压Navier-Stokes方程弱解的存在性

1. 方程  考虑 $\bbR^3$ 中有界区域 $\Omega$ 上如下的稳态流动: $$\bee\label{eq} \left\{\ba{ll} \Div(\varrho\bbu)=0,\\ \ ... 3. [家里蹲大学数学杂志]第047期18 世纪法国数学界的3L 1 Lagrange---78岁 约瑟夫·拉格朗日, 全名约瑟夫·路易斯·拉格朗日 (Joseph-Louis Lagrange 1735~1813) 法国数学家.物理学家. 1736年1月25日生于 ... 4. [家里蹲大学数学杂志]第237期Euler公式的美 1 Euler 公式 e^{i\pi}+1=0 (1) 它把 a. e: 自然对数的底 \approx 2. 718281828459 (数分) b. i: 虚数单位 =\sqr ... 5. [家里蹲大学数学杂志]第041期中山大学数计学院 2008 级数学与应用数学专业《泛函分析》期末考试试题 A 1 ( 10 分 ) 设 \mathcal{X} 是 Banach 空间, f 是 \mathcal{X} 上的线性泛函. 求证: f\in \mathcal{L}(\mathcal{X ... 6. [家里蹲大学数学杂志]第053期Legendre变换 \bf 题目. 设 \calX 是一个 B 空间, f:\calX\to \overline{\bbR}\sex{\equiv \bbR\cap\sed{\infty}} 是连续的凸泛 ... 7. [家里蹲大学数学杂志]第056期Tikhonov 泛函的变分 设 \scrX, \scrY 是 Hilbert 空间, T\in \scrL(\scrX,\scrY), y_0\in\scrY, \alpha>0. 则 Tikhonov ... 8. [家里蹲大学数学杂志]第235期L^p 调和函数恒为零 设 u 是 \bbR^n 上的调和函数, 且$$\bex \sen{u}_{L^p}=\sex{\int_{\bbR^n}|u(y)|^p\rd y}^{1/p}<\infty. \e ...

9. [家里蹲大学数学杂志]第269期韩青编《A Basic Course in Partial Differential Equations》 前五章习题解答

1.Introduction 2.First-order Differential Equations Exercise2.1. Find solutons of the following inti ...

## 随机推荐

1. Debian下安装mono

从mono的官网上查,debian的步骤写得太乱了.其实总结起来,就是这么几步: apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --rec ...

2. linux学习日记之老男孩

2016年10月5日企业面试题:cp 命令复制文件是如果有覆盖可能的话如何去除确认步骤,如:将/mnt/text.txt 复制 到/temp/text.txt,去除覆盖确认命令.方法:1.加全路径的c ...

3. 数据库 &#39;MessageManage&#39; 的事务日志已满。若要查明无法重用日志中的空间的原因，请参阅 sys.databases 中的 log_reuse_wait_desc 列。

提供两种办法:(SQL Server2008) 注意:建议使用第一种方法.第二种方法只是删除已有日志文件,日后还会继续生成. 第一种方法:清空日志. 1.打开企业管理器,直接在查询分析器里执行:(如果 ...

4. Android中ActionBar的使用

简介 从Android3.0开始(targetSdkVersion或者minSdkVersion为11或者更高),ActionBar被包括在了所有主题为Theme.holo(或者子类)的主题当中. 使 ...

5. 【转】【MMX】 基于MMX指令集的程序设计简介

(一) MMX技术简介 Intel 公司的MMX™(多媒体增强指令集)技术可以大大提高应用程序对二维三维图形和图象的处理能力.Intel MMX技术可用于对大量数据和复杂数组进行的复杂处理,使用MMX ...

6. Hibernate检索策略（抓取策略）（Hibernate检索优化）

7. mysql使用硬链接配合truncate 删除2.2T的表 --杨奇龙

http://blog.csdn.net/wyzxg/article/details/8626814 http://blog.itpub.net/22664653/viewspace-750408/ ...

8. Windows下安装Nodejs步骤

最近打算把我们的微信端用Vue.js重构,为什么选择Vue.js,一是之前使用的是传统的asp.net mvc,多页面应用用户体验比单页面要差.二是使用过Angular.js,感觉对开发人员要求较 ...

9. maven项目添加findbugs，checkstyle，jacoco，assembly，maven-jar-plugin插件的配置

(1)名称解释(插件的作用) findbugs:检测代码的不明显的语法错误.例如:用了==去比较字符串,定义了没有用的变量-- checkstyle:检测代码的格式规范.例如:方法没有写注释,类的命名 ...

10. Linux shell 脚本总结

在中括号中,判断变量的值, 加不加双引号的问题? -z 判断 变量的值,是否为空: zero = 0 - 变量的值,为空,返回0,为true - 变量的值,非空,返回1,为false -n 判断变量的 ...