The Periodic Initial Value Problem and Initial Value Problem for the Non-Newtonian Boussinesq Approximation

The Boussinesq approximation, where the viscosity depends polynomially on the shear rate, finds more and more frequent use in geological practice. In this article, we consider the periodic initial value problem and initial value problem for the non-Newtonian Boussinesq equations describing the behavior of flows of an incompressable viscous fluid in processes where the thermal effects play an essential role. The existence of weak solution is proved for p ≥2, its uniqueness and regularity for p>(1+2n/(n+2)).     

On the Cauchy Problem and Initial Trace for Nonlinear Filtration Type with Singularity

In this paper, we consider the Cauchy problem \frac{∂u}{∂t} = Δφ(u) in R^N × (0, T] u(x,0} = u_0(x) in R^N where φ ∈ C[0,∞) ∩ C¹(0,∞), φ(0 ) = 0 and (1 - \frac{2}{N})^+ < a ≤ \frac{φ'(s)s}{φ(s)} ≤ m for some a ∈ ((1 - \frac{2}{n})^+, 1), s > 0. The initial value u_0 (z) satisfies u_0(x) ≥ 0 and u_0(x) ∈ L¹_{loc}(R^N). We prove that, under some further conditions, there exists a weak solution u for the above problem, and moreover u ∈ C^{α, \frac{α}{2}}_{x,t_{loc}} (R^N × (0, T]) for some α > 0.     

Global W2,p Solutions of GBBM Equations on Unbounded Domain

In this paper we study the initial boundary value problem of GBBM equations on unbounded domain u_t - Δu_t = div f(u) u(x,0) = u_0(x) u|_{∂Ω} = 0 and corresponding Cauchy problem. Under the conditions: f( s) ∈ C^sup1 and satisfies (H)\qquad |f'(s)| ≤ C|s|^ϒ, 0 ≤ ϒ ≤ \frac{2}{n-2} if n ≥ 3; 0 ≤ ϒ < ∞ if n = 2 u_0(x) ∈ W^{2,p}(Ω) ∩ W^{2,2}(Ω) ∩ W^{1,p}_0(Ω)(W^{2,p}(R^n) ∩ W^{2,2}(R^n) for Cauchy problem), 2 ≤ p < ∞, we obtain the existence and uniqueness of global solution u(x, t) ∈ W^{1,∞}(0, T; W^{2,p}(Ω) ∩ W^{2,2}(Ω) ∩ W^{1,p}_0(Ω))(W^{1,∞}(0, T; W^{2,p}(R^n) ∩ W^{2,2} (R^n)) for Cauchy problem), so the results of [1] and [2] are generalized and improved in essential.     

The Initial Value Problems and Nonlinear Boundary Value Problems for a Class of the Second order Quasilinear Parabolio Systems

In this paper initial value problems and nonlinear mixed boundary value problems for the quasilinear parabolic systems below $\[\frac{{\partial {u_k}}}{{\partial t}} - \sum\limits_{i,j = 1}^n {a_{ij}^{(k)}} (x,t)\frac{{{\partial ^2}{u_k}}}{{\partial {x_i}\partial {x_j}}} = {f_k}(x,t,u,{u_x}),k = 1, \cdots ,N\]$ are discussed.The boundary value conditions are $\[{u_k}{|_{\partial \Omega }} = {g_k}(x,t),k = 1, \cdots ,s,\]$ $\[\sum\limits_{i = 1}^n {b_i^{(k)}} (x,t)\frac{{\partial {u_k}}}{{\partial {x_i}}}{|_{\partial \Omega }} = {h_k}(x,t,u),k = s + 1, \cdots N.\]$ Under some "basically natural" assumptions it is shown by means of the Schauder type estimates of the linear parabolic equations and the embedding inequalities in Nikol'skii spaces,these problems have solutions in the spaces $\[{H^{2 + \alpha ,1 + \frac{\alpha }{2}}}(0 < \alpha < 1)\]$.For the boundary value problem with $\[b_i^{(k)}(x,t) = \sum\limits_{j = 1}^n {a_{ij}^{(k)}} (x,t)\cos (n,{x_j})\]$ uniqueness theorem is proved.     

A Nonhomogeneous Boundary Value Problem for the Boussinesq Equation on a Bounded Domain

In this paper, we study the well-posedness of an initial-boundary-value problem (IBVP) for the Boussinesq equation on a bounded domain,\begin{cases} &u_{tt}-u_{xx}+(u^2)_{xx}+u_{xxxx}=0,\quad x\in (0,1), \;\;t>0,\\ &u(x,0)=\varphi(x),\;\;\; u_t(x,0)=ψ(x),\\ &u(0,t)=h_1(t),\;\;\;u(1,t)=h_2(t),\;\;\;u_{xx}(0,t)=h_3(t),\;\;\;u_{xx}(1,t)=h_4(t).\\ \end{cases} It is shown that the IBVP is locally well-posed in the space $H^s (0,1)$ for any $s\geq 0$ with the initial data $\varphi,$ $\psi$ lie in $H^s(0,1)$ and $ H^{s-2}(0,1)$, respectively, and the naturally compatible boundary data $h_1,$ $h_2$ in the space $H_{loc}^{(s+1)/2}(\mathbb{R}^+)$, and $h_3 $, $h_4$ in the the space of $H_{loc}^{(s-1)/2}(\mathbb{R}^+)$ with optimal regularity.     

Initial Boundary Value Problem for a Damped Nonlinear Hyperbolic Equation

In the paper, the existence and uniqueness of the generalized global solution and the classical global solution of the initial boundary value problems for the nonlinear hyperbolic equation u_{tt} + k_1u_{xxxx} + k_2u_{xxxxt} + g(u_{xx})_{xx} = f(x, t) are proved by Galerkin method and the sufficient conditions of blow-up of solution in finite time are given.     

Global W2,p (2<=p

This paper studies the initial-boundary value problem of GBBM equations u_t - Δu_t = div f(u) \qquad\qquad\qquad(a) u(x, 0) = u_0(x)\qquad\qquad\qquad(b) u |∂Ω = 0 \qquad\qquad\qquad(c) in arbitrary dimensions, Ω ⊂ R^n. Suppose that. f(s) ∈ C¹ and |f'(s)| ≤ C (1+|s|^ϒ), 0 ≤ ϒ ≤ \frac{2}{n-2} if n ≥ 3, 0 ≤ ϒ < ∞ if n = 2, u_0 (x) ∈ W^{2⋅p}(Ω) ∩ W^{1⋅p}_0(Ω) (2 ≤ p < ∞), then ∀T > 0 there exists a unique global W^{2⋅p} solution u ∈ W^{1,∞}(0, T; W{2⋅p}(Ω)∩ W^{1⋅p}_0(Ω)), so the known results are generalized and improved essentially.     

Cauchy Problem for Semilinear Wave Equations in Four Space Dimensions with Small Initial Data

In this paper, we consider the Cauchy problem ◻u(t,x) = |u(t,x)|^p, (t,x) ∈ R^+ × R^4 t = 0 : u = φ(x), u_t = ψ(x), x ∈ R^4 where ◻ = ∂²_t - Σ^4_{i=1}∂²_x_i, is the wave operator, φ, ψ ∈ C^∞_0 (R^4). We prove that for p > 2 the problem has a global solution provided tile initial data is sufficiently small.     

关于Banach空间一阶非线性脉冲积分-微分方程初值问题解存在性的注记

设m(t)∈C[Jk,R ](k=1,2,…,m),且满足不等式m(t)<(L1 L2t)∫tn(s)ds L3t∫a m(s)ds ∑o0满足KaLs(eδ(L1 aL2)-1)相似文献   

THE FIRST BOUNDARY VALUE PROBLEM FOR SOLUTIONS OF DEGENERATE QUASUJNEAR PARABOLIC EQUATIONS

In this paper, the author proves the existence and uniqueness of nonnegative solution for the first boundary value problem of uniform degenerated parabolic equation $$\[\left\{ {\begin{array}{*{20}{c}} {\frac{{\partial u}}{{\partial t}} = \sum {\frac{\partial }{{\partial {x_i}}}\left( {v(u){A_{ij}}(x,t,u)\frac{{\partial u}}{{\partial {x_j}}}} \right) + \sum {{B_i}(x,t,u)} \frac{{\partial u}}{{\partial {x_i}}}} + C(x,t,u)u\begin{array}{*{20}{c}} {}&{(x,t) \in [0,T]} \end{array},}\{u{|_{t = 0}} = {u_0}(x),x \in \Omega ,}\{u{|_{x \in \partial \Omega }} = \psi (s,t),0 \le t \le T} \end{array}} \right.\]$$ $$\[\left( {\frac{1}{\Lambda }{{\left| \alpha \right|}^2} \le \sum {{A_{ij}}{\alpha _i}{\alpha _j}} \le \Lambda {{\left| \alpha \right|}^2},\forall a \in {R^n},0 < \Lambda < \infty ,v(u) > 0\begin{array}{*{20}{c}} {and}&{v(u) \to 0\begin{array}{*{20}{c}} {as}&{u \to 0} \end{array}} \end{array}} \right)\]$$ under some very weak restrictions, i.e. $\[{A_{ij}}(x,t,r),{B_i}(x,t,r),C(x,t,r),\sum {\frac{{\partial {A_{ij}}}}{{\partial {x_j}}}} ,\sum {\frac{{\partial {B_i}}}{{\partial {x_i}}} \in \overline \Omega } \times [0,T] \times R,\left| {{B_i}} \right| \le \Lambda ,\left| C \right| \le \Lambda ,\],\[\left| {\sum {\frac{{\partial {B_i}}}{{\partial {x_i}}}} } \right| \le \Lambda ,\partial \Omega \in {C^2},v(r) \in C[0,\infty ).v(0) = 0,1 \le \frac{{rv(r)}}{{\int_0^r {v(s)ds} }} \le m,{u_0}(x) \in {C^2}(\overline \Omega ),\psi (s,t) \in {C^\beta }(\partial \Omega \times [0,T]),0 < \beta < 1\],\[{u_0}(s) = \psi (s,0).\]$     

Existence of Bounded Solutions for Quasilinear Subelliptic Dirichlet Problems

This paper proves the existence of solution for the following quasilinear subelliptic Dirichlet problem: {Σ^m_{j=1}X^∗_ja_j(X, v, Xv)+ a_o(x, v, Xv) + H(x,v, Xv) = 0 v ∈ M^{1,p}_0(Ω) ∩ L^∞(Ω) Here X = {X_1 , …, X_m} is a system of vector fields defined in an open domain M of R^n, n ≥ 2, Ω ⊂ ⊂ M, and X satisfies the so-called Hormander's condition at the order of r > 1 on M. M_{1,p}_0(Ω) is the weighted Sobolev's space associated with the system X . The Hamiltonian H grows at most like |Xv|^p.     

The Stability of Systems of Neutral Type with Small Time Lag

In this paper, we have obtained the equivalence theorems of stability between the system of differential equations $[{\dot x_i}(t) = \sum\limits_{j = 1}^n {{a_{ij}}{x_j}(t)} + \sum\limits_{j = 1}^n {{b_{ij}}{x_j}(t)} + \sum\limits_{j = 1}^n {{c_{ij}}{{\dot x}_j}(t)} (i = 1,2, \cdots ,n)\]$ and the system of differential-difference equations of neutral type $[{\dot x_i}(t) = \sum\limits_{j = 1}^n {{a_{ij}}{x_j}(t)} + \sum\limits_{j = 1}^n {{b_{ij}}{x_j}(t - {\Delta _{ij}})} + \sum\limits_{j = 1}^n {{c_{ij}}{{\dot x}_j}(t - {\Delta _{ij}})} (i = 1,2, \cdots ,n)\]$ where a_ij, b_ij, c_ij are given constants, and \Delta_ij are non-negative real constants.     

COMPLETELY POSITIVE MAPS AND $*$-OMORPHISM OF $\[{C^*}\]$-ALGEBRAS

Let $A$, $B$ be unital $\[{C^*}\]$-algebras. $\[{\chi _A} = \{ \varphi |\varphi \]$ are all completely postive linear maps from $\[{M_n}(C)\]$ to $A$ with $\[\left\| {a(\varphi )} \right\| \le 1\]$ $}$. $\[(a(\varphi ) = \left( {\begin{array}{*{20}{c}} {\varphi ({e_{11}})}& \cdots &{\varphi ({e_{1n}})}\{}& \cdots &{}\{\varphi ({e_{n1}})}& \cdots &{\varphi ({e_{nn}})} \end{array}} \right),\]$ where $\[\{ {e_{ij}}\} \]$ is the matrix unit of $\[{M_n}(C)\]$. Let $\[\alpha \]$ be the natural action of $\[SU(n)\]$ on $\[{M_n}(C)\]$ For $\[n \ge 3\]$, if $\[\Phi \]$ is an $\[\alpha \]$-invariant affine isomorphism between $\[{\chi _A}\]$ and $\[{\chi _B}\]$, $\[\Phi (0) = 0\]$, then $A$ and $B$ are $\[^*\]$-isomorphic In this paper a counter example is given for the case $\[n = 2\]$.     

On a Singular Two-Point Boundary Value Problem for the Nonlinear mth-Order Differential Equation with Deviating Arguments

Sufficient conditions of solvability and unique solvability of the boundary value problem are established, where are measurable functions and the vector function is measurable in the first and continuous in the last kmn arguments; moreover, this function may have nonintegrable singularities with respect to the first argument.     

Symmetry-Breaking Phenomena in an Optimization Problem for some Nonlinear Elliptic Equation

Let $\Omega$ be a bounded domain in ${\bf R^n}$ with Lipschitz boundary, $\lambda >0,$ and $1\le p \le (n+2)/(n-2)$ if $n\ge 3$ and $1\le p< +\infty$ if $n=1,2$. Let $D$ be a measurable subset of $\Omega$ which belongs to the class $ {\cal C}_{\beta}=\{D\subset \Omega \quad | \quad |D|=\beta\} $ for the prescribed $\beta\in (0, |\Omega|).$ For any $D\in{\cal C}_{\beta}$, it is well known that there exists a unique global minimizer $u\in H^1_0(\Omega)$, which we denote by $u_D$, of the functional \[\quad J_{\Omega,D}(v)=\frac12\int_{\Omega}|\nabla v|^2\, dx+\frac{\lambda}{p+1}\int_{\Omega}|v|^{p+1}\, dx -\int_{\Omega}\chi_Dv\,dx \] on $H^1_0(\Omega)$. We consider the optimization problem $ E_{\beta,\Omega}=\inf_{D\in {\cal C}_{\beta}} J_D(u_D) $ and say that a subset $D^*\in {\cal C}_{\beta}$ which attains $E_{\beta,\Omega}$ is an optimal configuration to this problem. In this paper we show the existence, uniqueness and non-uniqueness, and symmetry-preserving and symmetry-breaking phenomena of the optimal configuration $D^*$ to this optimization problem in various settings.     

一类分数阶微分方程多点边值问题解的存在性

本文讨论下面一类分数阶微分方程多点边值问题 $$\align &D^{\alpha}_{0+}u(t) = f(t, u(t),~D^{\alpha-1}_{0+}u(t), D^{\alpha-2}_{0+}u(t), D^{\alpha-3}_{0+}u(t)),~~t\in(0,1), \\&I^{4-\alpha}_{0+}u(0) = 0, ~D^{\alpha-1}_{0+}u(0)=\displaystyle{\sum_{i=1}^{m}}\alpha_{i}D^{\alpha-1}_{0+}u(\xi_{i}),\\&D^{\alpha-2}_{0+}u(1)=\sum\limits_ {j=1}^{n}\beta_{j} D^{\alpha-2}_{0+}u(\eta_{j}),~D^{\alpha-3}_{0+}u(1)-D^{\alpha-3}_{0+}u(0)=D^{\alpha-2}_{0+}u(\frac{1}{2}),\endalign$$其中$3<\alpha \leq 4$是一个实数.通过应用Mawhin重合度理论和构建适当的算子,得到了该边值问题解的存在性结果.     

Existence and Stability of Solitary Waves of an M-Coupled Nonlinear Schrödinger System

In this paper, the existence and stability results for ground state solutions of an m-coupled nonlinear Schrödinger system $$i\frac{∂}{∂ t}u_j+\frac{∂²}{∂x²}u_j+\sum\limits^m_{i=1}b_{ij}|u_i|^p|u_j|^{p-2}u_j=0,$$ are established, where $2 ≤ m, 2≤p<3$ and $u_j$ are complex-valued functions of $(x,t) ∈ \mathbb{R}^2, j=1,...,m$ and $b_{ij}$ are positive constants satisfying $b_{ij}=b_{ji}$. In contrast with other methods used before to establish existence and stability of solitary wave solutions where the constraints of the variational minimization problem are related to one another, our approach here characterizes ground state solutions as minimizers of an energy functional subject to independent constraints. The set of minimizers is shown to be orbitally stable and further information about the structure of the set is given in certain cases.     

The Left Hilbert BVP for h-Regular Functions in Clifford Analysis

Consider the real Clifford algebra ${\mathbb{R}_{0,n}}$ generated by e ₁, e ₂, . . . , e _n satisfying ${e_{i}e_{j} + e_{j}e_{i} = -2\delta_{ij} , i, j = 1, 2, . . . , n, e_{0}}$ is the unit element. Let ${\Omega}$ be an open set in ${\mathbb{R}^{n+1}}$ . u(x) is called an h-regular function in ${\Omega}$ if $$D_{x}u(x) + \widehat{u}(x)h = 0, \quad\quad (0.1)$$ where ${D_x = \sum\limits_{i=0}^{n} e_{i}\partial_{xi}}$ is the Dirac operator in ${\mathbb{R}^{n+1}}$ , and ${\widehat{u}(x) = \sum \limits_{A} (-1)^{\#A}u_{A}(x)e_{A}, \#A}$ denotes the cardinality of A and ${h = \sum\limits_{k=0}^{n} h_{k}e_{k}}$ is a constant paravector. In this paper, we mainly consider the Hilbert boundary value problem (BVP) for h-regular functions in ${\mathbb{R}_{+}^{n+1}}$ .     

Supercritical Elliptic Equation in Hyperbolic Space

In this paper, we study the following semi-linear elliptic equation $$-Δ_H^nu=|u|^{p-2}u,\qquad\qquad (0.1)$$ in the whole Hyperbolic space $\mathbb{H}^n$,where n ≥ 3, p › 2n/(n-2). We obtain some regularity results for the radial singular solutions of problem (0.1). We show that the singular solution $u^∗$ with $lim_{t → 0}(sinht)^{\frac{2}{p-2}}⋅u(t)=±(\frac{2}{p-2}(n-2-\frac{2}{p-2})^{\frac{1}{p-2}}$ belongs to the closure (in the natural topology given by $H¹_{loc}(\mathbb{H}^N)∩L^p_{loc}(H^N))$ of the set of smooth classical solutions to the Eq. (0.1). In contrast, we also prove that any oscillating radial solutions of (0.1) on $\mathbb{H}^N$\{0} fails to be in the space $H¹_{loc}(\mathbb{H}^N)∩L^p_{loc}(H^N)$.     

Regularity of the Solution to the Dirichlet Problem in Morrey Spaces

The aim of this paper is to study Morrey regularity of the solution to the Dirichlet problem for second order elliptic equation of the form Lu = -(a_{ij}u_x_i + b_j_u)_x_j + du = e + (f_j)x_j in a bounded open subset of Rn(n ≥ 3), where b_j , d, e, f_j are assumed to be in some Morrey spaces.