TIME OPTIMAL BOUNDARY CONTROL FOR SYSTEMS GOVERNED BY PARABOLIC EQUATIONS

In this paper we consider the systems governed, by parabolioc equations \[\frac{{\partial y}}{{\partial t}} = \sum\limits_{i,j = 1}^n {\frac{\partial }{{\partial {x_i}}}} ({a_{ij}}(x,t)\frac{{\partial y}}{{\partial {x_j}}}) - ay + f(x,t)\] subject to the boundary control \[\frac{{\partial y}}{{\partial {\nu _A}}}{|_\sum } = u(x,t)\] with the initial condition \[y(x,0) = {y_0}(x)\] We suppose that U is a compact set but may not be convex in \[{H^{ - \frac{1}{2}}}(\Gamma )\], Given \[{y_1}( \cdot ) \in {L^2}(\Omega )\] and d>0, the time optimal control problem requiers to find the control \[u( \cdot ,t) \in U\] for steering the initial state {y_0}( \cdot )\] the final state \[\left\| {{y_1}( \cdot ) - y( \cdot ,t)} \right\| \le d\] in a minimum, time. The following maximum principle is proved: Theorem. If \[{u^*}(x,t)\] is the optimal control and \[{t^*}\] the optimal time, then there is a solution to the equation \[\left\{ {\begin{array}{*{20}{c}} { - \frac{{\partial p}}{{\partial t}} = \sum\limits_{i,j = 1}^n {\frac{\partial }{{\partial {x_i}}}({a_{ji}}(x,t)\frac{{\partial p}}{{\partial {x_j}}}) - \alpha p,} }\{\frac{{\partial p}}{{\partial {\nu _{{A^'}}}}}{|_\sum } = 0} \end{array}} \right.\] with the final condition \[p(x,{t^*}) = {y^*}(x,{t^*}) - {y_1}(x)\], such that \[\int_\Gamma {p(x,t){u^*}} (x,t)d\Gamma = \mathop {\max }\limits_{u( \cdot ) \in U} \int_\Gamma {p(x,t)u(x)d\Gamma } \]     

NONLINEAR BOUNDARY PROBLEMS WITH NONLOCAL BOUNDARY CONDITIONS

By means of the supersolution and subsolution method and monotone iteration technique, the following nonlinear elliptic boundary problem with the nonlocal boundary conditions is considerd. The sufficient conditions which ensure at least one solution are given. Furthermore, the estimate of the first nonzero eigenvalue for the following linear eigenproblem is obtained, that is λ_1≥2α/(nd~2).     

On the Existence of Solutions for First Order Quasilinear Symmetrizable Systenis of Partial Differential Equations

In this paper we study the first order quasilinear symmetrizable system of partial differential equations $\sum\limits_{i = 1}^n {{a_i}(x,u)\frac{{\partial u}}{{\partial {x_i}}} + \lambda u = f(x,u)}$ (1) where a_i(x,y) are k*k matrices.     

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.     

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.     

THE GLOBAL SMOOTH SOLUTIONS OF SECOND ORDER QUASILINEAR HYPERBOLIC EQUATIONS WITH DISSIPATIVE BOUNDARY CONDITIONS

The paper deals with the following boundary problem of the second order quasilinear hyperbolic equation with a dissipative boundary condition on a part of the boundary:u_(tt)-sum from i,j=1 to n a_(ij)(Du)u_(x_ix_j)=0, in (0, ∞)×Ω,u|Γ_0=0,sum from i,j=1 to n, a_(ij)(Du)n_ju_x_i+b(Du)u_t|Γ_1=0,u|t=0=φ(x), u_t|t=0=ψ(x), in Ω, where Ω=Γ_0∪Γ_1, b(Du)≥b_0>0. Under some assumptions on the equation and domain, the author proves that there exists a global smooth solution for above problem with small data.     

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).\]$     

The Existence Theorem for Solutions of General Boundary Value Problem of Quasi-Linear Second Order Elliptic Differential Equations

In this paper, we provide the existence theorem for solutions of general boundary value problem of quasi-linear second order elliptic differential equations in the following form: $\[\sum\limits_{i,j = 1}^n {({a_{ij}}(x,u)\frac{{\partial u}}{{\partial {x_j}}}) + a(x,u,{u_{{x_k}}}),{\rm{ }}in} {\rm{ }}\Omega \]$, $\[\alpha (x,u)\frac{{\partial u}}{{\partial \gamma }} + \beta (x,u) = 0,{\rm{ on }}\partial \Omega \]$, where \alpha(x, u) \geq 0,\alpha_u(x, u) \leq 0 and \gamma is some direction, defining on $\[\partial \Omega \]$.     

Multiplicity of Solutions to Nonlinear Boundary Value Problem with Nonlocal Boundary Condition

In this paper the author considers the following nonlinear boundary value problem with nonlocal boundary conditions $[\left\{ \begin{array}{l} Lu \equiv - \sum\limits_{i,j = 1}^n {\frac{\partial }{{\partial {x_i}}}({a_{ij}}(x)\frac{{\partial u}}{{\partial {x_j}}}) = f(x,u,t)} \u{|_\Gamma } = const, - \int_\Gamma {\sum\limits_{i,j = 1}^n {{a_{ij}}\frac{{\partial u}}{{\partial {x_j}}}\cos (n,{x_i})ds = 0} } \end{array} \right.\]$ Under suitable assumptions on f it is proved that there exists $t_0\in R,-\infinityt_0, at least one solution at t=t_0 at least two solutions as t相似文献   

SINGULAR PERTURBATIONS FOR QUASILINEAR HYPERBOLIC EQUATIONS

This paper deals with the following mixed problem for Quasilinear hyperbolic equationsThe M order uniformly valid asymptotic solutions are obtained and there errors areestimated.     

DIRICHLET FORMS AND SYMMETRIC DIFFUSIONS ON A BOUNDED DOMAIN IN R~d

Let D be a bounded C~3-domain in R~d and(a_(ij))be a bounded symmetric matrixdefined on D.Consider the symmetric form(u,v)=1/2∫_D a_(ij)(x)(u(x))/(x_i) (v(x))/(x_j)dx,u,v∈H~1(D).Under some assumptions it is shown that the diffusion process associated with the regularDirichlet space(,(H~1(D))on L~2(D)can be characterized as a unique solution of acertain stochastic differential equation.     

THROREMS OF DISTORTION FOR SCHLICHT FUNCTIONS

Let \[f(z) = z + \sum\limits_{n = 1}^\infty {{a_n}{z^n} \in S} {\kern 1pt} {\kern 1pt} {\kern 1pt} and{\kern 1pt} {\kern 1pt} {\kern 1pt} \log \frac{{f(z) - f(\xi )}}{{z - \xi }} - \frac{{z\xi }}{{f(z)f(\xi )}} = \sum\limits_{m,n = 1}^\infty {{d_{m,n}}{z^m}{\xi ^n},} \], we denote \[{f_v} = f({z_v})\] , \[\begin{array}{l} {\varphi _\varepsilon }({z_u}{z_v}) = {\left| {\frac{{{f_u} - {f_v}}}{{{z_u} - {z_v}}}} \right|^\varepsilon }\frac{1}{{(1 - {z_u}{{\bar z}_v})}},\g_m^\varepsilon (z) = - {F_m}(\frac{1}{{f(z)}}) + \frac{1}{{{z^m}}} + \varepsilon {{\bar z}^m}, \end{array}\], where \({F_m}(t)\) is a Faber polynomial of degree m. Theorem 1. If \[f(z) \in S{\kern 1pt} {\kern 1pt} {\kern 1pt} and{\kern 1pt} {\kern 1pt} {\kern 1pt} \sum\limits_{u,v = 1}^N {{A_{u,v}}{x_u}{{\bar x}_v} \ge 0} \] and then \[\begin{array}{l} \sum\limits_{u,v = 1}^N {{A_{u,v}}{\lambda _u}{{\bar \lambda }_v}} {\left| {\frac{{{f_u} - {f_v}}}{{{z_u} - {z_v}}}} \right|^\varepsilon }\exp \{ \alpha {F_l}({z_u},{z_v})\} \ \le \sum\limits_{u,v = 1}^N {{A_{u,v}}{\lambda _u}{{\bar \lambda }_v}} \varphi _\varepsilon ^\alpha ({z_u}{z_v})l = 1,2,3, \end{array}\], where \[\begin{array}{l} {F_1}({z_u},{z_v}) = \frac{1}{2}\sum\limits_{n = 1}^\infty {\frac{1}{n}} g_n^\varepsilon ({z_u})\bar g_n^\varepsilon ({z_v}),\{F_2}({z_u},{z_v}) = \frac{1}{{1 + {\varepsilon _n}R{d_{n,n}}}}Rg_n^\varepsilon ({z_u})Rg_n^\varepsilon ({z_v}),\{F_3}({z_u},{z_v}) = \frac{1}{{1 - {\varepsilon _n}R{d_{n,n}}}}Rg_n^\varepsilon ({z_u})Rg_n^\varepsilon ({z_v}). \end{array}\] The \[F({z_u},{z_v}) = \frac{1}{2}{g_1}({z_u}){{\bar g}_2}({z_v})\] is due to Kungsun. Theorem 2. If \(f(z) \in S\) ,then \[P(z) + \left| {\sum\limits_{u,v = 1}^N {{A_{u,v}}{\lambda _u}{{\bar \lambda }_v}} {{\left| {\frac{{{f_u} - {f_v}}}{{{z_u} - {z_v}}}\frac{{{z_u}{z_v}}}{{{f_u}{f_v}}}} \right|}^\varepsilon }} \right| \le \sum\limits_{u,v = 1}^N {{\lambda _u}{{\bar \lambda }_v}} \frac{1}{{1 - {z_u}{{\bar z}_v}}}\], where \[\begin{array}{l} P(z) = \frac{1}{2}\sum\limits_{n = 1}^\infty {\frac{1}{n}} {G_n}(z),\{G_n}(z) = {\left| {\left| {\sum\limits_{n = 1}^N {{\beta _u}({F_n}(\frac{1}{{f({z_u})}}) - \frac{1}{{z_u^n}})} } \right| - \left| {\sum\limits_{n = 1}^N {{\beta _u}z_u^n} } \right|} \right|^2}, \end{array}\], \(P(z) \equiv 0\) is due to Xia Daoxing.     

ON THE GROWTH OF SOME RANDOM HYPERDIRICHLET SERIES

The paper considers the random L-Dirichlet seriesf(s,ω)=sum from n=1 to ∞ P_n(s,ω)exp(-λ_ns)and the random B-Dirichlet seriesψτ_0(s,ω)=sum from n=1 to ∞ P_n(σ iτ_0,ω)exp(-λ_ns),where {λ_n} is a sequence of positive numbers tending strictly monotonically to infinity, τ_0∈R is a fixed real number, andP_n(s,ω)=sum from j=1 to m_n ε_(nj)a_(nj)s~ja random complex polynomial of order m_n, with {ε_(nj)} denoting a Rademacher sequence and {a_(nj)} a sequence of complex constants. It is shown here that under certain very general conditions, almost all the random entire functions f(s,ω) and ψ_(τ_0)(s,ω) have, in every horizontal strip, the same order, given byρ=lim sup((λ_nlogλ_n)/(log A_n~(-1)))whereA_n=max |a_(nj)|.Similar results are given if the Rademacher sequence {ε_(nj)} is replaced by a steinhaus seqence or a complex normal sequence.     

A NECESSARY AND SUFFICIENT CONDITION FOR THE OSCILLATION OF HIGHER-ORDER NEUTRAL EQUATIONS WITH SEVERAL DELAYS

Consider the higher-order neutral delay differential equationd~t/dt~n(x(t)+sum from i=1 to lp_ix(t-τ_i)-sum from j=1 to mr_jx(t-ρ_j))+sum from k=1 to Nq_kx(t-u_k)=0,(A)where the coefficients and the delays are nonnegative constants with n≥2 even. Then anecessary and sufficient condition for the oscillation of (A) is that the characteristicequationλ~n+λ~nsum from i=1 to lp_ie~(-λτ_i-λ~n)sum from j=1 to mr_je~(-λρ_j)+sum from k=1 to Nq_ke~(-λρ_k)=0has no real roots.     

Some Coneral Results on the First Boundry Value Problem for Quasiliear Degenerate Parabolic Equation

In this paper, the authors investigate the first boundary value problem for equations of the form $\[Lu = \frac{{\partial u}}{{\partial t}} - \frac{\partial }{{\partial {x_i}}}({a^{ij}}(u,x,t)\frac{{\partial u}}{{\partial {x_j}}}) - \frac{{\partial {f^i}(u,x,t)}}{{\partial {x_i}}} = g(u,x,t)\]$ with $a^ij(u,x,t)\xi_i\xi_j\geq 0$ An existence theorem of solution in BV_1,1/2(Q_T) is proved. The principal condition is that there exists \delta>0 such that for any (x, t)\in Q_T,|u|\geq M $a^ij(u,x,t)\xi_i\xi_j-\delta\sum\limits_i,j=1^m(a_x^ij(u,x,t)\xi_i)^2\geq 0$     

LARGE DEVIATIONS FOR SYMMETRIC DIFFUSION PROCESSES

Let a(x)=(a_(ij)(x)) be a uniformly continuous, symmetric and matrix-valued function satisfying uniformly elliptic condition, p(t, x, y) be the transition density function of the diffusion process associated with the Diriehlet space (, H_0~1 (R~d)), where(u, v)=1/2 integral from n=R~d sum from i=j to d(u(x)/x_i v(x)/x_ja_(ij)(x)dx).Then by using the sharpened Arouson's estimates established by D. W. Stroock, it is shown that2t ln p(t, x, y)=-d~2(x, y).Moreover, it is proved that P_y~6 has large deviation property with rate functionI(ω)=1/2 integral from n=0 to 1<(t), α~(-1)(ω(t)),(t)>dtas s→0 and y→x, where P_y~6 denotes the diffusion measure family associated with the Dirichlet form (ε, H_0~1(R~d)).     

Solvability of the Dirichlet problem for degenerate quasilinear elliptic equations

In a bounded domain of the n -dimensional (n?2) space one considers a class of degenerate quasilinear elliptic equations, whose model is the equation $$\sum\limits_{i = 1}^n {\frac{{\partial F}}{{\partial x_i }}} (a^{\ell _i } (u)\left| {u_{x_i } } \right|^{m_i - 2} u_{x_i } ) = f(x),$$ where x =(x₁,..., x_r), l_i?0, m_i>1, the function f is summable with some power, the nonnegative continuous function a(u) vanishes at a finite number of points and satisfies \(\frac{{lim}}{{\left| u \right| \to \infty }}a(u) > 0\) . One proves the existence of bounded generalized solutions with a finite integral $$\int\limits_\Omega {\sum\limits_{i = 1}^n {a^{\ell _i } (u)\left| {u_{x_i } } \right|^{m_i } dx} }$$ of the Dirichlet problem with zero boundary conditions.     

Behavior of Solutions of Quasilinear Elliptic Inequalities

The paper considers solutions of the coercive inequalities

The Minimal Process Generated by a Differential Operator of the Second Order in R^n

For a differential operator $\Omega u=\sum\limits_i,j=1^n \frac{\partial}{\partial x_i}(a_ij(x)\frac{\partial u}{\partial x_j})+\sum\limits_{i=1}^n b_i(x)\frac{\partial u}{\partial x_i}+c(x)u$ with unbounded coefficients in R^n, a standard continuous paths process with infinitesimal operator \Omega has been constructed in this paper, and the invariance of such process under a transformation group of phase space has been discussed.