The Obstacle Problems for Second Order Fully Nonlinear Elliptic Equations with Neumann Boundary Conditions

In this paper we prove the existence theorem of the strong solutions to the obstacle problems for second order fully nonlinear elliptic equations with the Neumann boundary conditions F(x, u, Du, D²u) ≥ 0, x ∈ Ω u ≤ g, x ∈ Ω (u - g)F(x, u, Du, D²u) = 0, x ∈ Ω D_vu = φ(x, u), x ∈ ∂Ω where F(x, z, p, r) satisfies the natural structure conditions and is concave with respect to r, p, and φ(x, z) is nondecreasing in z, and g(x) satisfies the consistency condition.     

Nonlinear Degenerate Oblique Boundary Value Problems for Second Order Fully Nonlinear Elliptic Equations

In this paper we study the existence theorem for solution of the nonlinear degenerate oblique boundary value problems for second order fully nonlinear elliptic equations F(x, u, Du, D²u) = 0 \quad x ∈ Ω, G(x, u, D, u) = 0, \qquad x ∈ ∂Ω where F (x, z, p, r) satisfies the natural structure conditions, G (x, z, q) satisfies G_q ≥ 0, G_x ≤ - G_0 < 0 and some structure conditions, vector τ is nowhere tangential to ∂Ω. This result extends the works of Lieberman G. M., Trudinger N. S. [2], Zhu Rujln [1] and Wang Feng [6].     

Some Problems of Nonlinear Schrodinger Equations with the Effect of Dissipation

We first consider the initial value problem of nonlinear Schrödinger equation with the effect of dissipation, and prove the existence of global generalized solution and smooth solution as some conditions respectively. Secondly, we disscuss the asymptotic behavior of solution of mixed problem in bounded domain for above equation. Thirdly, we find the “blow up” phenomenon of the solution of mixed problem for equation iu_t = Δu + βf(|u|²)u - i\frac{ϒ(t)}{2}u, \quad x ∈ Ω ⊂ R³, t > 0 i. e. there exists T_0 > 0 such that lim^{t→Γ_0} || ∇u || ²_{L_t(Ω)} = ∞. The main means are a prior estimates on fractional degree Sobolev space, related properties of operator's semigroup and some integral identities.     

Nontrivial Solutions for Some Semilinear Elliptic Equations with Critical Sobolev Exponents

Let Ω be a bounded domain in R^4(n ≥ 4) with smooth boundary ∂Ω. We discuss the existence of nontrivial solutions of the Dirichlet problem {- Δu = a(x) |u|^{4/(a-2)}u + λu + g(x, u), \quad x ∈ Ω u = 0, \quad x ∈ ∂Ω where a(x) is a smooth function which is nonnegative on \overline{Ω} and positive somewhere, λ> 0 and λ ∉ σ(-Δ). We weaken the conditions on a(x) that are generally assumed in other papers dealing with this problem.     

On Nonlinear Eigen-problems of Quasi-linear Elliptic Operators

In this paper, we study the following Eigen-problem {-\frac{∂}{∂x_i}(a_{ij}(x, u)\frac{∂u}{∂x_j}) + \frac{1}{2}a_{iju}(x,u)\frac{∂u}{∂x_i}\frac{∂u}{∂x_j} + h(x)u = μμ\frac{n+2}{n-2} \quad in Ω \qquad (0.1) u = 0 \quad on ∂Ω u > 0 \quad in Ω ⊂ R^n under some assumptions. First. we minimize I(u) = \frac{1}{2}∫_Ωa_{ij}(x, u)\frac{∂u}{∂x_i}\frac{∂u}{∂x_j} + h(x)u² over E_α = {u ∈ H¹_0(Ω); ∫_Ωu^α = 1} ( 2 < α < N = \frac{2n}{n-2}) to give a H¹_0-solution U_α of the perturbation problems of (0.1). Since I is not differentiable in H¹_0(Ω), the key point is the estimate of U_α. Then, we derive local uniform bounds of (U_α) and give a 'bad' solution of (0.1). Last, we remove the singular points of the 'bad' solution to obtain a solution of (0.1), our result is a extension of that of Brezis & Nirenberg.     

On the Existence of Positive Solutions of Quasilinear Elliptic Equations with Mixed Boundary Conditions

In this paper, the existence of positive solutions for the mixed boundary problem of quasilinear elliptic equation {-div (|∇u|^{p-2}∇u) = |u|^{p^∗-2}u + f(x, u), \quad u > 0, \quad x ∈ Ω u|_Γ_0 = 0, \frac{∂u}{∂\overrightarrow{n}}|_Γ_1 = 0 is obtained, where Ω is a bounded smooth domain in R^N, ∂Ω = \overrightarrow{Γ}_0 ∪ \overrightarrow{Γ}_1, 2 ≤ p < N, p^∗ = \frac{Np}{N-p}, Γ_0 and Γ_1 are disjoint open subsets of ∂Ω.     

Non variational basic elliptic systems of second order

Denoting byu a vector in R ^N defined on a bounded open set Ω ⊂ R ⁿ , we setH(u)={Dij u} and consider a basic differential operator of second ordera(H(u)) wherea(ξ) is a vector in R ^N , which is elliptic in the sense that it satisfies the condition (A). After a rapid comparison between this condition (A) and the classical definition of ellipticity, we shall prove that, if seu∈H ² (Ω) is a solution of the elliptic systema(H(u))=0 in Ω thenH(u)∈H _loc ^{2, q} for someq>2. We then deduce from this the so called fundamental internal estimates for the matrixH(u) and for the vectorsDu andu. We shall then present a first risult on h?lder regularity for the solutions of the system withf h?lder continuous in Ω, and a partial h?lder continuity risult for solutionsu∈H ² (Ω) of a differential systema (x, u, Du, H (u))=b(x, u, Du)     

A boundary-value problem for the biharmonic equation and the iterated Laplacian in a 3D-domain with an edge

Let Ω be a domain with piecewise smooth boundary. In general, it is impossible to obtain a generalized solution u ∈ W ₂ ² (Ω) of the equation Δ _x ² u = f with the boundary conditions u = Δ_xu = 0 by solving iteratively a system of two Poisson equations under homogeneous Dirichlet conditions. Such a system is obtained by setting v = −Δu. In the two-dimensional case, this fact is known as the Sapongyan paradox in the theory of simply supported polygonal plates. In the present paper, the three-dimensional problem is investigated for a domain with a smooth edge Γ. If the variable opening angle α ∈ C^∞(Γ) is less than π everywhere on the edge, then the boundary-value problem for the biharmonic equation is equivalent to the iterated Dirichlet problem, and its solution u inherits the positivity preserving property from these problems. In the case α ∈ (π 2π), the procedure of solving the two Dirichlet problems must be modified by permitting infinite-dimensional kernel and co-kernel of the operators and determining the solution u ∈ W ₂ ² (Ω) by inverting a certain integral operator on the contour Γ. If α(s) ∈ (3π/2,2π) for a point s ∈ Γ, then there exists a nonnegative function f ∈ L₂(Ω) for which the solution u changes sign inside the domain Ω. In the case of crack (α = 2π everywhere on Γ), one needs to introduce a special scale of weighted function spaces. In this case, the positivity preserving property fails. In some geometrical situations, the problems on well-posedness for the boundary-value problem for the biharmonic equation and the positivity property remain open. Bibliography: 46 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 336, 2006, pp. 153–198.     

Linear periodic boundary-value problem for a second-order hyperbolic equation. II. Quasilinear problem

In three spaces, we find exact classical solutions of the boundary-value periodic problem u_tt - a²u_xx = g(x, t) u(0, t) = u(π, t) = 0, u(x, t + T) = u(x, t), x ∈ ℝ, t ∈ ℝ. We study the periodic boundary-value problem for a quasilinear equation whose left-hand side is the d’Alembert operator and whose right-hand side is a nonlinear operator. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 50, No. 12, pp. 1680–1685, December, 1998.     

Regularity of a free boundary problem

Let u be the Newtonian potential of a real analytic distribution in an open set Ω. In this paper we assume u is analytically continuable from the complement of Ω into some neighborhood of a point x₀ ∈ ∂Ω, and we study conditions under which the analytic continuation implies that ∂Ω is a real analytic hypersurface in some neighborhood of x₀.     

Controllability in a filled domain for the multidimensional wave equation with a singular boundary control

In accordance with the demands of the so-called local approach to inverse problems, the set of “waves” u^f (·, T) is studied, where u^f (x,t) is the solution of the initial boundary-value problem u_tt−Δu=0 in Ω×(0,T), u|_t<0=0, u|_∂Ω×(0,T)=f, and the (singular) control f runs over the class L²((0,T); H^−m (∂Ω)) (m>0). The following result is established. Let Ω^T={x ∈ Ω : dist(x, ∂Ω)<T)} be a subdomain of Ω ⊂ ℝⁿ (diam Ω<∞) filled with waves by a final instant of time t=T, let T_*=inf{T : Ω^T=Ω} be the time of filling the whole domain Ω. We introduce the notation D_m=Dom((−Δ)^m/2), where (−Δ) is the Laplace operator, Dom(−Δ)=H²(Ω)∩H ₀ ¹ (Ω);D_−m=(D_m)′;D_−m(Ω^T)={y∈D_−m:supp y ⋐ Ω^T. If T<T., then the reachable set R _m ^T ={u^t(·, T): f ∈ L₂((0,T), H^−m (∂Ω))} (∀m>0), which is dense in D_−m(Ω^T), does not contain the class C ₀ ^∞ (Ω^T). Examples of a ∈ C ₀ ^∞ , a ∈ R _m ^T , are presented. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 210, 1994, pp. 7–21. Translated by T. N. Surkova.     

Method of straight lines in application to some two-dimensional nonlinear parabolic equations

We consider the first mixed problem for nonlinear parabolic equation. Assuming that the exact solution of the problem is u(t,x,y) ∈ C^4,−0(Q), Q={(x,y)∈Ω, 0⩽t⩽T} we construct a scheme of the method of straight lines of accuracy 0(h²) for the cases when ώ is a rectangle or a trapezoid. Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 159, pp. 132–142, 1987.     

Difference Schemes of Fully Nonlinear Parabolic Systems of Second Order

The general difference schemes for the first boundary problem of the fully nonlinear parabolic systems of second order f(x, t, u, u_x, u_{xx}, u_t) = 0 are considered in the rectangular domain Q_T = {0 ≤ x ≤ l, 0 ≤ t ≤ T}, where u(x, t) and f(x, t, u, p, r, q) are two m-dimensional vector functions with m ≥ 1 for (x, t) ∈ Q_T and u, p, r, q ∈ R^m. The existence and the estimates of solutions for the finite difference system are established by the fixed point technique. The absolute and relative stability and convergence of difference schemes are justified by means of a series of a priori estimates. In the present study, the existence of unique smooth solution of the original problem is assumed. The similar results for nonlinear and quasilinear parabolic systems are also obtained.     

Radial Solutions of Free Boundary Problems for Degenerate Parabolic Equations

ln this paper we are devoted to the free boundary problem {u_t = ΔA(u) \quad (x,t) ∈ G_{r,r} u(x, 0) = φ(x) \quad ∈ G_0 u|_r = 0 (\frac{∂A(u)}{∂x_i}v_i + ψ(x)v_1)|_r = 0, where A'(u) ≥ 0. Under suitable assumptions we obtain the existence and uniqueness of global radial solutions for n =2 and local radial solutions for n ≥ 3.     

On a singular integral on product spaces

We show that if K(x,y)=Ω(x,y)/|x|ⁿ|y|^m is a Calder n-Zygmund kerned on Rⁿ×R^m, where Ω∈L²(Sⁿ⁻¹×S^m−1) and b(x,y) is any bounded function which is radial with x∈Rⁿ and y∈R^m respectively, then b(x,y)K(x,y) is the kernel of a convolution operator which is bounded on L^p(Rⁿ×R^m) for 1<p<∞ and n≧2, m≧2. Project supported by NSFC     

Factorization of Hardy spaces and Hankel operators on convex domains in ℂ n

In this article we study the (small) Hankel operator h_b on the Hardy and Bergman spaces on a smoothly bounded convex domain of finite type in ℂⁿ. We completely characterize the Hankel operators h_b that are bounded, compact, and belong to the Schatten ideal S_p, for 0 < p < ∞. In particular, if h_b denotes the Hankel operator on the Hardy space H² (Ω), we prove that h_b is bounded if and only if b ∈ BMOA, compact if and only if b ∈ VMOA, and in the Schatten class if and only if b ∈e B_p, 0 < p < ∞. This last result extends the analog theorem in the case of the unit disc of Peller [19] and Semmes [21]. In order to characterize the bounded Hankel operators, we prove a factorization theorem for functions in H¹ (Ω), a result that is of independent interest.     

On the behavior of solutions of a semilinear parabolic or elliptic equation satisfying a nonlinear boundary condition in a cylindrical domain

One considers a semilinear parabolic equation u _t = Lu − a(x)f(u) or an elliptic equation u _tt + Lu − a(x)f(u) = 0 in a semi-infinite cylinder Ω × ℝ₊ with the nonlinear boundary condition , where L is a uniformly elliptic divergent operator in a bounded domain Ω ∈ ℝⁿ; a(x) and b(x) are nonnegative measurable functions in Ω. One studies the asymptotic behavior of solutions of such boundary-value problems for t → ∞. __________ Translated from Trudy Seminara imeni I. G. Petrovskogo, No. 26, pp. 368–389, 2007.     

A Robin boundary problem with Hardy potential and critical nonlinearities

Let Ω be a bounded domain with a smooth C ² boundary in ℝⁿ (n ≥ 3), 0 ∈ , and υ denote the unit outward normal to ∂Ω. In this paper, we are concerned with the following class of boundary value problems:

Non-wandering sets of the powers of maps of a tree

Let T be a tree and let Ω ( f ) be the set of non-wandering points of a continuous map f: T→ T. We prove that for a continuous map f: T→ T of a tree T: ( i) if x∈ Ω( f) has an infinite orbit, then x∈ Ω( fⁿ) for each n∈ ℕ; (ii) if the topological entropy of f is zero, then Ω( f) = Ω( fⁿ) for each n∈ ℕ. Furthermore, for each k∈ ℕ we characterize those natural numbers n with the property that Ω(f^k) = Ω(f^kn) for each continuous map f of T.     

Periodic Solutions of Third-order Differential Equations with Finite Delay in Vector-valued Functional Spaces

In this paper, we study the well-posedness of the third-order differential equation with finite delay(P_3): αu'"(t) + u"(t) = Au(t) + Bu'(t) + Fut +f(t)(t ∈ T := [0,2π]) with periodic boundary conditions u(0) = u(2π), u'(0) = u"(2π),u"(0)=u"(2π) in periodic Lebesgue-Bochner spaces Lp(T;X) and periodic Besov spaces B_(p,q)~s(T;X), where A and B are closed linear operators on a Banach space X satisfying D(A) ∩ D(B) ≠ {0}, α≠ 0 is a fixed constant and F is a bounded linear operator from Lp([-2π, 0]; X)(resp. Bp,qs([-2π, 0]; X)) into X, ut is given by ut(s) = u(t + s) when s ∈ [-2π,0]. Necessary and sufficient conditions for the Lp-well-posedness(resp. B_(p,q)~s-well-posedness)of(P_3) are given in the above two function spaces. We also give concrete examples that our abstract results may be applied.