REGULARITY OF THE FREE BOUNDARY FOR SOME ELLIPTIC AND PARABOLIC PROBLEMS. I

We study the free boundary of solutions to some obstacle problems in the elliptic and parabolic cases. In the one-phase Stefan problem, the parabolic case, we prove that the points where the zero set has no density lie in a Lipschitz surface in space and time.

For some fully nonlinear elliptic equations of second order, we get similar results.

Furthermore, we prove the C ¹ regularity for singular points with some (n ? 1)-dimensional density.     

退化椭圆型障碍问题弱解的边界正则性

本文研究包含于R~N的有Lipschitz边界的有界区域Ω上涉及到 p-Laplacian算子的退化椭圆障碍问题弱解的边界正则性,得到了C_(loc)~(1,α)边界正则性。     

退化椭圆型障碍问题弱解的边界正则性

本文研究包含于RN的有Lipschitz边界的有界区域Ω上涉及到p-Laplacian算子的退化椭圆障碍问题弱解的边界正则性,得到了C1,aloc边界正则性.     

ON THE REGULARITY UP TO THE BOUNDARY OF SOLUTIONS OF ELLIPTIC BOUNDARY VALUE PROBLEMS

Abstract

We consider the regularity up to the boundary of solutions of those elliptic boundary value problems that can be treated by the non-variational theory developed by Schechter and others. The usual method of differential quotients is replaced by a method of Schappel [5] which is based on the properties of a Laplace-type operator 1-?2. In this paper the results of Schappel, which are given for boundary value problems in variational form, are extended to the non-variational case. We make important use of fractional order Sobolev spaces on the boundary and trace theorems.     

THE COMPLEX FORM AND SOME BOUNDARY VALUE PROBLEMS FOR NONLINEAR ELLIPTIC SYSTEMS OF SECOND ORDER

The present paper is concerned with the nonlinear elliptic system of second order. Firstly, we shall establish a complex form of the system. Secondly .we shall consider the solvability of some boundary value problems for tbe complex equation of second order. let (1) \[{\Phi _j}(x,y,U,V,{U_x},{U_y},...,{U_{xx}},{U_{yy}},{V_{xx}},{V_{xy}},{V_{yy}}) = 0,j = 1,2\] be the I. G. Petrowkii’s nonlinear elliptic system of second Qrder in the botinded domain G, where \[{\Phi _j}(x,y,{z_1},...,{z_{12}})(j = 1,2)\]) are continuous real functions of the variables \[x,y[(x,y) \in G],{z_1},...,{z_{12}} \in R\], (the real axis), and contiriupusly differentiable for \[{z_1},...,{z_{12}} \in R\]. The solutions \[[U(x,y),V(x,y)]\], F(a?, y)] of the system are understood in the generalized sense. THEOBEM I. i) If the I. G. Petrovskii;s nonlinear system of equations (1) satisfies the M. I. visik-D. Xiagi’s uniformly elliptic condition for any solutions U(x,y),V(x,y) of (1) in G, then it can be written as the following complex equation? (2)\[{W_{z\overline z }} = F(z,W,{W_z},\overline {{W_z}} ,{W_{zz}},{\overline W _{zz}})\] where W=U+iV, z=x+iy, \[{W_z} = \frac{1}{2}[{W_x} - i{W_y}],...,\], ii) If the I. G. Petrovskii's nonlinear elliptic system (1) satisfies the condition that there exist two positive constants \[\delta \] and K, such that (3) \[|{\Phi _{j{U_{xx}}}}|,|{\Phi _{j{U_{xy}}}}|,|{\Phi _{j{U_{yy}}}}|,|{\Phi _{j{V_{xx}}}}|,|{\Phi _{j{V_{xy}}}}|,|{\Phi _{j{V_{yy}}}}| \leqslant K,j = 1,2\] \[|det(A)| \geqslant \delta > 0\], in G, then by a suitable linear trans-formation of the variables (x,y)into variables \[(\xi ,\eta )\], system (1) can be written as the following coinplex equation ⑷ \[{W_{\xi \xi }} = F(\xi ,W,{W_\xi },{\overline W _\xi },{W_{\xi \xi }},{\overline W _{\xi \xi }}),\varsigma = \xi + i\eta \] In the following section, we discuss the complex equation (2) of the following form: ,We^B(z9 Wee)x .\[(5)\left\{ \begin{gathered} {W_{zz}} = F(z,W,{W_z},{\overline W _z},{W_{zz}},{\overline W _{zz}}) \hfill \ F = {Q_1}{W_{zz}} + {Q_2}\overline {{W_{\overline z \overline z }}} + {Q_4}{W_{zz}} + {A_1}{W_z} + {A_2}{\overline W _{\overline z }} \hfill \ + {A_3}\overline {{W_z}} + {A_4}{W_{\bar z}} + {A_5}W + {A_6}\bar W + {A_7}, \hfill \ {Q_j} = {Q_j}(z,W,{W_{\bar z}},{\overline W _{\bar z}},{W_{zz}},{\overline W _{zz}}),j = 1,...,4 \hfill \ {A_j} = {A_j}(z,W,{W_z},{\overline W _z}),j = 1,...,7 \hfill \\ \end{gathered} \right.\] 1) \[{Q_j}(z,W,{W_z},{\overline W _z},U,V),j = 1,...,4.{A_j} = (z,W,{W_z},{\overline W _z}),j = 1,...,7\] are measurable functions of z for any continuously differentiable functions W(z) and measurable functions U(z), V(z) in G, Furthermore they satisfy (6)\[{\left\| {{A_j}} \right\|_{{L_p}(\overline {G)} }} \leqslant {K_0},j = 1,2,{\left\| {{A_j}} \right\|_{{L_p}(\overline {G)} }} \leqslant {K_1},j = 3,...,7\] where\[{K_0},{K_1}( \leqslant {K_0}),p( > 2)\] are constants: 2) Qj, Aj are continuous for \[W,{W_z},{\overline W _z} \in E\](the whole plane) and the continuity is uniform with respect to almost every point \[z \in G\] and \[U,V \in E\] 3) \[F(z,W,{W_z},{\overline W _z},U,V)\] satisfies the following Lipschitz's condition, i.e. for almost every point \[z \in G\], and for all \[W,{W_z},{\overline W _z}{U_1},{U_2},{V_1},{V_2} \in E\], the inequality (7)\[\begin{gathered} |F(z,W,{W_z},{\overline W _z},{U_1},{V_1}) - F(z,W,{W_z},{\overline W _z},{U_2},{V_2})| \hfill \ \leqslant {q_0}|{U_1} - {U_2}| + q_0^'|{V_1} - {V_2}|,{q_0} + q_0^' < 1 \hfill \\ \end{gathered} \] holds where \[{q_0},q_0^'\] are two nonnegative constants. In this paper, let G be a simply connected domain with boundary \[\Gamma \in C_\mu ^2(0 < \mu < 1)\]； without loss of geaerality, we may assume that G is the unit disk |z|<1. Now we, describe the results of the solvability of Riemann-Hilbert botindary value problem (Problem R-H) and the oblique derivative problem (Problem P) for Eq. (5) in the unit disk G: |z| <1. Problem R-H. We try to find a solution W（z）of Eq. (5) which is continuonsly differentiable on \[G\], and satisfies the boundary conditions: (8) \[\operatorname{Re} [{{\bar z}^{{\chi _1}}},{W_z}] = {r_1}(z),Re[{{\bar z}^{{\chi _2}}}\overline {W(z)} ] = {r_2}(z),z \in \Gamma \]? where \[{\chi _1},{\chi _2}\] are two integers, and \[{r_j} \in C_v^{j - 1}(\Gamma ),j = 1,2,\frac{1}{2} < v < 1\] Problem P. we try to find a solution W（z) of Eq. (5) which is continuously diffierentiabfe on \[\overline G \] and satisfies the boundaory conditions： (9) \[\operatorname{Re} [{{\bar z}^{{\chi _1}}}{W_z}] = {r_1}(z),Re[{{\bar z}^{{\chi _2}}}\overline {W(z)} ] = {r_2}(z),z \in \Gamma \], Where \[{\chi _1},{\chi _2},{r_1}(z),{r_2}(z)\] are the same as in (8), but \[{r_2}(z) \in {C_v}(\Gamma )\]. Theorem II. Suppose that Eq. (5) satisfies the condition C and the constants \[q_0^'\] and K1 are adequately small; then the solvability of Problem R-H is as follows： 1) When \[{\chi _1} \geqslant 0,{\chi _2} \geqslant 0\] Problem R-H is solvable; 2) When \[{\chi _1} < 0,{\chi _2} \geqslant 0(or{\kern 1pt} {\kern 1pt} {\chi _1} \geqslant 0,{\chi _2} < 0){\kern 1pt} \] there are \[2|{\chi _1}| - 1(or2|{\chi _2}| - 1)\] solvable conditions for Problem R-H; 3) WHen \[{\chi _1} < 0,{\chi _2} < 0\], there are \[2(|{\chi _1}| + |{\chi _2}| - 1)\] solvable conditions for Problem R-H. Theorem III Let Eq (5) satisf the condition C and the constants \[q_0^'\] and \[{K_1}\] are adequately small, then tbe solvability of Problem P is as follows： 1) When \[{\chi _1} \geqslant 0,{\chi _2} \geqslant 0\] Problem P is solvable; 2) When \[{\chi _1} < 0,{\chi _2} \geqslant 0(or{\kern 1pt} {\kern 1pt} {\chi _1} \geqslant 0,{\chi _2} < 0){\kern 1pt} {\kern 1pt} {\kern 1pt} \], there are \[2|{\chi _1}| - 1(or2|{\chi _2}| - 1)\] solvable conditions for Problem P; 3) When \[{\chi _1} < 0,{\chi _2} < 0\]; there are \[2|{\chi _1}|{\text{ + }}|{\chi _2}| - 1)\] solvable conditions for Problem P. Furthermore, the solution W(z) of Problem P for Eq. (5) may be expressed as \[{g_j}(\xi ,z) = \left\{ \begin{gathered} \int_0^z {\frac{{{z^{2{\chi _j} + 1}}}}{{1 - \bar \xi z}}dz,{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} for{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\chi _j} \geqslant 0} \hfill \ \int_0^z {\frac{{{\xi ^{ - 2{\chi _j} - 1}}}}{{1 - \bar \xi z}}dz,{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} for{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\chi _j} < 0} \hfill \\ \end{gathered} \right.j = 1,2\] where \[{\Phi _0}(z) = a + ib\] is a complex constant,and \[{\Phi _1}(z),{\Phi _2}(z)\] are two analytic functions. The proofs of the above stated theorems are based on a prior estimates for the bounded solutes of these boundary value problems and Leray-Schander theorem. Besides, we have considered also the solvability of Problem R-H and Problem P for Eq. (6) in the multiply connected domain.     

REGULARITY OF FREE BOUNDARIES OF TWO-PHASE PROBLEMS FOR FULLY NONLINEAR ELLIPTIC EQUATIONS OF SECOND ORDER. II. FLAT FREE BOUNDARIES ARE LIPSCHITZ

ABSTRACT

In this second paper, we continue our study on the regularity of free boundaries for some fully nonlinear elliptic equations. Our result is if the free boundary is trapped in a sufficiently narrow strip formed by two Lipschitz graphs, then it is also a Lipschitz graph. Combining with the results in Part 1 (see Ref. [Wang]), the free boundary is C ^1,α.     

THE REGULARITY OF THE FREE BOUNDARY FOR STRIKE RESET OPTION

A strike reset option is an option that allows its holder to reset the strike price to the prevailing underlying asset price at a moment chosen by the holder. The pricing model of the option can be formulated as a parabolic variational inequality and the optimal reset strategy is the free boundary. The smoothness of the free boundary in some cases was showed in our article published in JDE. We would prove its smoothness in the other case in this paper by a generalized comparison principle for the variational inequality.     

一类二阶退化半线性椭圆型方程边值问题的适定性及解的正则性

本文考虑一类二阶退化半线性椭圆型方程边值问题.由椭圆正则化方法建立能量不等式,利用紧性推理,Banach—Saks定理,弱解与强解一致性,解常微分方程,椭圆型方程正则性定理,迭代方法.极值原理和Fredholm—Riesz-Schauder理论,可得相应线性问题适定性及解的高阶正则性;再由Moser引理和Banach不动点定理可得半线性问题解的存在性.这类问题与几何中无穷小等距形变刚性问题密切相关,其高阶正则性解的存在性对几何应用尤为重要.     

凹角型区域椭圆边值问题的自然边界归化

In this paper, the natural boundary reduction for some elliptic boundary value problems with concave angle domains and their natural boundary methods are investigated. The natural integral equations and the Poisson integral formulae are given. The finite element methods of the natural integral equations are discussed in details. The convergences of the approximate solutions and their error estimates are obtained. Finally, some numerical examples are presented to show that our methods are effective.     

椭圆问题的非线性边界条件均匀化

在本文我们讨论了在等值面边值问题中的非线性边界条件的均匀化,推广了相应的边界条件均匀化结果,而且可应用到用于处理热敏电阻问题中的一类非线性非局部边值问题的边界条件均匀化问题。     

一类二阶退化半线性椭圆型方程边值问题的适定性及解的正则性

本文考虑一类二阶退化半线性椭圆型方程边值问题.由椭圆正则化方法建立能量不等式,利用紧性推理,Banach-Saks定理,弱解与强解一致性,解常微分方程,椭圆型方程正则性定理,迭代方法,极值原理和Fredholm-Riesz-Schauder理论,可得相应线性问题适定性及解的高阶正则性;再由Moser引理和Banach不动点定理可得半线性问题解的存在性.这类问题与几何中无穷小等距形变刚性问题密切相关,其高阶正则性解的存在性对几何应用尤为重要.     

BOUNDARY REGULARITY FOR QUASILINEAR ELLIPTIC SYSTEMS

ABSTRACT

We consider boundary regularity for solutions of certain systems of second-order nonlinear elliptic equations, and obtain a general criterion for a weak solution to be regular in the neighbourhood of a given boundary point. Combined with existing results on interior partial regularity, this result yields an upper bound on the Hausdorff dimension of the singular set at the boundary.     

A BARRIER BOUNDARY VALUE PROBLEM FOR PARABOLIC AND ELLIPTIC EQUATIONS

Barrier type boundary conditions are modeled for describing the substance diffusion in a medium when obstacles in the medium are considered. The existence of solutions of parabolic and elliptic differential equations with barrier boundary condition is presented in this paper.     

THE DEFECT ITERATION OF THE FINITE ELEMENT FOR ELLIPTIC BOUNDARY VALUE PROBLEMS AND PETROV-GALERKIN APPROXIMATION

1.IntroductionFranketc.of.[l]establishedtheiterateddefectcorrectionschemeforfiniteelemelltofellipticboundaryproblems.FOrlinearellipticboundaryvalueproblem[2--5]havediscllssedtheefficiencyoftheschemebyusillgsuperconvergenceandasymptoticexpansion"lidertheco…     

拟线性椭圆边值问题有限元校正方法

§1.主要结果 考虑拟线性椭圆边值问题 u=0,在?Ω上,其中Ω是R~2中凸多边形,z=(x,y),D_1=?/?x,D_2=?/?y,a_i(z,ξ_0,ξ_1,ξ_2)是定义在Ω×R×R×R上的函数,适当光滑,i=0,1,2.定义     

REGULARITY OF THE FREE BOUNDARY IN ELECTROCHEMICAL MACHINING PROBLEM

ＲＥＧＵＬＡＲＩＴＹＯＦＴＨＥＦＲＥＥＢＯＵＮＤＡＲＹＩＮＥＬＥＣＴＲＯＣＨＥＭＩＣＡＬＭＡＣＨＩＮＩＮＧＰＲＯＢＬＥＭＹｕａｎＧｕａｎｇｗｅｉ（ＩｎｓｔｉｔｕｔｅｏｆＡｐｐｌｉｅｄＰｈｙｓｉｃｓａｎｄＣｏｍｐｕｔａｔｉｏｎａｌＭａｔｈｅｍａｔｉｃｓ...     

AN EMBEDDED BOUNDARY METHOD FOR ELLIPTIC AND PARABOLIC PROBLEMS WITH INTERFACES AND APPLICATION TO MULTI-MATERIAL SYSTEMS WITH PHASE TRANSITIONS

The embedded boundary method for solving elliptic and parabolic problems in geometrically complex domains using Cartesian meshes by Johansen and Colella （1998, J. Comput. Phys. 147, 60） has been extended for elliptic and parabolic problems with interior boundaries or interfaces of discontinuities of material properties or solutions. Second order accuracy is achieved in space and time for both stationary and moving interface problems. The method is conservative for elliptic and parabolic problems with fixed interfaces. Based on this method, a front tracking algorithm for the Stefan problem has been developed. The accuracy of the method is measured through comparison with exact solution to a two-dimensional Stefan problem. The algorithm has been used for the study of melting and solidification problems.     

REGULARITY RESULTS FOR LINEAR ELLIPTIC PROBLEMS RELATED TO THE PRIMITIVE EQUATIONS

roductlonWe establish reglllaxlty results for the GFD－Stokes system and some second order ellipticp     

THE SINGULARLY PERTURBED BOUNDARY VALUE PROBLEMS FOR SEMILINEAR ELLIPTIC EQUATION OF HIGHER ORDER

The singularly perturbed boundary value prodlems for the semilinear elliptic equation of higher order are considered . Under suitable conditions and by using the fixed point theorem the existence, uniqueness and asymp- totic behavior of solution for the boundary value problems are studied.