Refined Scattering and Hermitian Spectral Theory for Linear Higher-Order Schrōdinger Equations

The Cauchy problem for a linear 2mth-order Schrōdinger equation ut=-i（-△）^mu, in R^N×R＋,u｜t=0=u0;m≥1 is an integer,is studied, for initial data uo in the weighted space L^2ρ（R^N）,withρ^＊（x）=e｜x｜^a and a=2m/2m-1∈（1,2].The following five problems are studied： （I） A sharp asymptotic behaviour of solutions as t → ＋∞ is governed by a discrete spectrum and a countable set Ф of the eigenfunctions of the linear rescaled operator B=-i（-△）^m＋1/2my·↓△＋N/2mI,with the spectrum σ（B）={λβ=-｜β｜≥0}. （Ⅱ） Finite-time blow-up local structures of nodal sets of solutions as t → 0^- and a formation of ＂multiple zeros＂ are described by the eigenfunctions, being generalized Hermite polynomials, of the ＂adjoint＂ operator B=-i（-△）^m-1/2my·↓△,with the same spectrum σ（B^＊）=σ（B）.Applications of these spectral results also include： （Ⅲ） a unique continuation theorem, and （IV） boundary characteristic point regularity issues. Some applications are discussed for more general linear PDEs and for the nonlinear Schr6dinger equations in the focusing （＂＋＂） and defocusing （＂-＂） cases ut=-（-△）^mu±i｜u｜^p-1u,in R^N×R＋,where P〉1,as well as for： （V） the quasilinear Schr6dinger equation of a ＂porous medium type＂ ut=-（-△）^m（｜u｜^nu）,in R^N×R＋,where n〉0.For the latter one, the main idea towards countable families of nonlinear eigenfunctions is to perform a homotopic path n → 0^＋ and to use spectral theory of the pair {B,B^＊}.     

Gradient Estimates for a Nonlinear Diffusion Equation on Complete Manifolds

Let （M,g） be a complete non-compact Riemannian manifold with the m- dimensional Bakry-Emery Ricci curvature bounded below by a non-positive constant. In this paper, we give a localized Hamilton-type gradient estimate for the positive smooth bounded solutions to the following nonlinear diffusion equation ut = △u - △↓ φ· △ ↓u - aulogu- bu,where φ is a C^2 function, and a ≠ 0 and b are two real constants. This work generalizes the results of Souplet and Zhang （Bull. London Math. Soc., 38 （2006）, pp. 1045-1053） and Wu （Preprint, 2008）.     

Existence of T-solution for degenerated problem via Minty’s lemma

We study the existence result of solutions for the nonlinear degenerated elliptic problem of the form, -div（a（x, u,△↓u）） = F in Ω, where Ω is a bounded domain of R^N, N≥2, a ：Ω×R×R^N→R^N is a Carathéodory function satisfying the natural growth condition and the coercivity condition, but they verify only the large monotonicity. The second term F belongs to W^-1,p′（Ω, w^＊）. The existence result is proved by using the L^1-version of Minty＇s lemma.     

New Monotonicity Formulae for Semi-linear Elliptic and Parabolic Systems

The authors establish a general monotonicity formula for the following elliptic system
△ui＋fi（x,ui,…,um）=0 in Ω,
where Ω belong to belong to R^n is a regular domain, （fi（x, u1,... ,um）） = △↓F（x,→↑u）, F（x,→↑u ） is a given smooth function of x ∈ R^n and →↑u = （u1,…,um） ∈ R^m. The system comes from understanding the stationary case of Ginzburg-Landau model. A new monotonicity formula is also set up for the following parabolic system
δtui-△ui-fi（x,ui,…,um）=0 in（ti,t2）×R^n,
where t1 〈 t2 are two constants, （fi（x,→↑u ） is given as above. The new monotonicity formulae are focused more attention on the monotonicity of nonlinear terms. The new point of the results is that an index β is introduced to measure the monotonicity of the nonlinear terms in the problems. The index β in the study of monotonieity formulae is useful in understanding the behavior of blow-up sequences of solutions. Another new feature is that the previous monotonicity formulae are extended to nonhomogeneous nonlinearities. As applications, the Ginzburg-Landau model and some different generalizations to the free boundary problems are studied.     

The existence of nontrivial solutions to a semilinear elliptic system on without the ambrosetti-rabinowitz condition

In this paper, we prove the existence of at least one positive solution pair （u, v）∈ H1（RN） × H1（RN） to the following semilinear elliptic system {-△u＋u=f（x,v）,x∈RN,-△u＋u=g（x,v）,x∈RN （0.1）,by using a linking theorem and the concentration-compactness principle. The main conditions we imposed on the nonnegative functions f, g ∈C0（RN× R1） are that, f（x, t） and g（x, t） are superlinear at t = 0 as well as at t =＋∞, that f and g are subcritical in t and satisfy a kind of monotonic conditions. We mention that we do not assume that f or g satisfies the Ambrosetti-Rabinowitz condition as usual. Our main result can be viewed as an extension to a recent result of Miyagaki and Souto [J. Diff. Equ. 245（2008）, 3628-3638] concerning the existence of a positive solution to the semilinear elliptic boundary value problem {-△u＋u=f（x,u）,x∈Ω,u∈H0^1（Ω） where Ω ∩→RN is bounded and a result of Li and Yang [G. Li and J. Yang： Communications in P.D.E. Vol. 29（2004） Nos.5＆ 6.pp.925-954, 2004] concerning （0.1） when f and g are asymptotically linear.     

Regularity of Weak Solutions of Nonlinear Equations with Discontinuous Coefficients

In this paper, we prove that the weak solutions u∈Wloc^1, p （Ω） （1 〈p〈∞） of the following equation with vanishing mean oscillation coefficients A（x）： -div[（A（x）△↓u·△↓u）p-2/2 A（x）△↓u＋│F（x）│^p-2 F（x）]=B（x, u, △↓u）, belong to Wloc^1, q （Ω）（A↓q∈（p, ∞）, provided F ∈ Lloc^q（Ω） and B（x, u, h） satisfies proper growth conditions where Ω ∪→R^N（N≥2） is a bounded open set, A（x）=（A^ij（x）） N×N is a symmetric matrix function.     

Anisotropic inverse harmonic mean curvature flow

We study the evolution of convex hypersurfaces H（., t） with initial H（., 0） = 0H0 at a rate equal to H - f along its outer normal, where H is the inverse of harmonic mean curvature of H（., t）, H0 is a smooth, closed, and uniformly convex hypersurface. We find a θ^＊ 〉 0 and a sufficient condition about the anisotropic function f, such that if θ 〉 θ^＊, then H（.,t） remains uniformly convex and expands to infinity as t →∞ and its scaling, H（-, t）e^-nt, converges to a sphere. In addition, the convergence result is generalized to the fully nonlinear case in which the evolution rate is log H - log f instead of H - f.     

BLOW-UP RATE OF SOLUTIONS FOR P-LAPLACIAN EQUATION

In this note we consider the blow-up rate of solutions for p-Laplacian equation with nonlinear source, ut = div（｜↓△u｜p-2↓△u）＋uq, （x, t） ∈ RN × （0, T）, N ≥ 1. When q 〉 p - 1, the blow-up rate of solutions is studied.     

FINITE ELEMENT METHOD FOR INCOMPRESSIBLE MISCIBLE DISPLACEMENT IN POROUS MEDIA

Under the assumptions of nonlinear finite element and △t=o(h),Ewing and Wheeler discussed a Galerkin method for the single phase incompressible miscible displacement of one fluid by another in porous media.In the present paper we give a finite element scheme which weakens the △t=o(h)-restriction to △t=o(h~ε),0<ε≤1/2.Furthermore,this scheme is suitable for both linear element and nonlinear element.We also derive the optimal approximation estimates for concentration c,its gradient ▽c and the gradient ▽p of the pressure p.     

Existence and bifurcation of solutions for a double coupled system of Schrdinger equations

Consider the following system of double coupled Schr¨odinger equations arising from Bose-Einstein condensates etc.,-△u+u=μ1u3+βuv2-κv,-△v+v=μ2v3+βu2v-κu,u≠0,v≠0 and u,v∈H1(RN),whereμ1,μ2are positive and fixed;κandβare linear and nonlinear coupling parameters respectively.We first use critical point theory and Liouville type theorem to prove some existence and nonexistence results on the positive solutions of this system.Then using the positive and non-degenerate solution to the scalar equation-△ω+ω=ω3,ω∈H1r(RN),we construct a synchronized solution branch to prove that forβin certain range and fixed,there exist a series of bifurcations in product space R×H1r(RN)×H1r(RN)with parameter κ.     

Global Existence and Nonexistence for a Strongly Coupled Parabolic System with Nonlinear Boundary Conditions

This paper deals with the strongly coupled parabolic system ut = v^m△u, vt = u^n△v, （x, t） ∈Ω × （0,T） subject to nonlinear boundary conditions 偏du/偏dη = u^αv^p, 偏du/偏dη= u^qv^β, （x, t） ∈ 偏dΩ × （0, T）, where Ω 包含 RN is a bounded domain, m, n are positive constants and α,β, p, q are nonnegative constants. Global existence and nonexistence of the positive solution of the above problem are studied and a new criterion is established. It is proved that the positive solution of the above problem exists globally if and only if α 〈 1,β 〈 1 and （m ＋p）（n ＋ q） ≤ （1 - α）（1 -β）.     

OSCILLATION CRITERIA FOR SECOND ORDER NONLINEAR DYNAMIC EQUATIONS WITH p-LAPLACIAN AND DAMPING

This paper concerns the oscillation of solutions of the second order nonlinear dynamic equation with p-Laplacian and damping（r（t）φ（x^△（t））^△＋p（t）φα（x^△α（t）＋q（t）f（xδ（t））=0on a time scale T which is unbounded above. Sign changes are allowed for the coefficient functions r, p and q. Several examples are given to illustrate the main results.     

Remarks on the Extremal Functions for the Moser-Trudinger Inequality

We will show in this paper that if A is very close to 1, then I（M,λ,m） =supu∈H0^1,n（m）,∫m｜△↓u｜^ndV=1∫Ω（e^αn｜u｜^n/（n-1）-λm∑k=1｜αnun/（n-1）｜k/k!）dV can be attained, where M is a compact-manifold with boundary. This result gives a counter-example to the conjecture of de Figueiredo and Ruf in their paper titled ＂On an inequality by Trudinger and Moser and related elliptic equations＂ （Comm. Pure. Appl. Math., 55, 135-152, 2002）.     

A Constrained Optimization Approach for LCP

In this paper, LCP is converted to an equivalent nonsmooth nonlinear equation system H(x,y) = 0 by using the famous NCP function-Fischer-Burmeister function. Note that some equations in H(x, y) = 0 are nonsmooth and nonlinear hence difficult to solve while the others are linear hence easy to solve. Then we further convert the nonlinear equation system H(x, y) = 0 to an optimization problem with linear equality constraints. After that we study the conditions under which the K-T points of the optimization problem are the solutions of the original LCP and propose a method to solve the optimization problem. In this algorithm, the search direction is obtained by solving a strict convex programming at each iterative point, However, our algorithm is essentially different from traditional SQP method. The global convergence of the method is proved under mild conditions. In addition, we can prove that the algorithm is convergent superlinearly under the conditions: M is P0 matrix and the limit point is a strict complementarity solution of LCP. Preliminary numerical experiments are reported with this method.     

On quasi-reduced quadratic forms

With the help of continued fractions, we plan to list all the elements of the set Q△ = {aX2 ＋ bXY ＋ cY2 ： a,b, c ∈Z, b2 - 4ac = △ with 0 ≤ b 〈 √△}of quasi-reduced quadratic forms of fundamental discriminant △. As a matter of fact, we show that for each reduced quadratic form f = aX2 ＋ bXY ＋ cY2 = （a, b, c） of discriminant △〉0（and of sign σ（f） equal to the sign of a）, the quadratic forms associated with f and defined by {〈a＋bu＋cu2,b＋2cu.c〉},with 1≤σ（f）u≤b/2｜c｜ （whenever they exist）, 〈c,-b-2cu,a＋bu＋cu2〉 with b/2｜c｜≤σ（f）u≤[w（f）]=[b＋√△/2｜c｜], are all different from one another and build a set I（f） whose cardinality is #I（f）={1＋[ω（f）],when（2c）｜b,[ω（f）],when （2c）｜b. If f and g are two different reduced quadratic forms, we show that I（f） ∩ I（g） = Ф. Our main result is that the set Q△ is given by the disjoint union of all I（f） with f running through the set of reduced quadratic forms of discriminant △〉0. This allows us to deduce a formula for #（Q△） involving sums of partial quotients of certain continued fractions.     

Exponential Attractor for a Nonlinear Boussinesq Equation

This paper is devoted to prove the existence of an exponential attractor for the semiflow generated by a nonlinear Boussinesq equation. We formulate the Boussinesq equation as an abstract equation in the Hilbert space H0^2（0, 1） × L^2（0, 1）. The main step in this research is to show that there exists an absorbing set for the solution semiflow in the Hilbert space H0^3（0, 1） × H0^1（0, 1）.     

Semi-Fredholm Spectrum and Weyl＇s Theorem for Operator Matrices

When A ∈ B（H） and B ∈ B（K） are given, we denote by Mc an operator acting on the Hilbert space HΘ K of the form Me = （ A0 CB）. In this paper, first we give the necessary and sufficient condition for Mc to be an upper semi-Fredholm （lower semi-Fredholm, or Fredholm） operator for some C ∈B（K,H）. In addition, let σSF＋（A） = {λ ∈ C ： A-λI is not an upper semi-Fredholm operator} bc the upper semi-Fredholm spectrum of A ∈ B（H） and let σrsF- （A） = {λ∈ C ： A-λI is not a lower semi-Fredholm operator} be the lower semi Fredholm spectrum of A. We show that the passage from σSF±（A） U σSF±（B） to σSF±（Mc） is accomplished by removing certain open subsets of σSF-（A） ∩σSF＋ （B） from the former, that is, there is an equality σSF±（A） ∪σSF± （B） = σSF± （Mc） ∪＆ where L is the union of certain of the holes in σSF±（Mc） which ilappen to be subsets of σSF- （A） A σSF＋ （B）. Weyl＇s theorem and Browder＇s theorem are liable to fail for 2 × 2 operator matrices. In this paper, we also explore how Weyl＇s theorem, Browder＇s theorem, a-Weyl＇s theorem and a-Browder＇s theorem survive for 2 × 2 upper triangular operator matrices on the Hilbert space.     

TWO-GRID CHARACTERISTIC FINITE VOLUME METHODS FOR NONLINEAR PARABOLIC PROBLEMS＊

In this work, two-grid characteristic finite volume schemes for the nonlinear parabolic problem are considered. In our algorithms, the diffusion term is discretized by the finite volume method, while the temporal differentiation and advection terms are treated by the characteristic scheme. Under some conditions about the coefficients and exact solution, optimal error estimates for the numerical solution are obtained. Furthermore, the two- grid characteristic finite volume methods involve solving a nonlinear equation on coarse mesh with mesh size H, a large linear problem for the Oseen two-grid characteristic finite volume method on a fine mesh with mesh size h = O（H2） or a large linear problem for the Newton two-grid characteristic finite volume method on a fine mesh with mesh size h = 0（I log hll/2H3）. These methods we studied provide the same convergence rate as that of the characteristic finite volume method, which involves solving one large nonlinear problem on a fine mesh with mesh size h. Some numerical results are presented to demonstrate the efficiency of the proposed methods.     

Monotone positive solution for three-point boundary value problem

In this paper, the existence of monotone positive solution for the following secondorder three-point boundary value problem is studied：
x″（t）＋f（t,x（t））=0,0〈t〈1,
x′（0）=0,x（1）＋δx′（η）=0,
where η ∈ （0, 1）, δ∈ [0, ∞）, f ∈ C（[0, 1] × [0, ∞）, [0, ∞））. Under certain growth conditions on the nonlinear term f and by using a fixed point theorem of cone expansion and compression of functional type due to Avery, Anderson and Krueger, sufficient conditions for the existence of monotone positive solution are obtained and the bounds of solution are given. At last, an example is given to illustrate the result of the paper.     

The hyperspace of the regions below continuous maps with the fell topology

For a Tychonoff space X,we use ↓USC F(X) and ↓C F(X) to denote the families of the hypographs of all semi-continuous maps and of all continuous maps from X to I = [0,1] with the subspace topologies of the hyperspace Cld F(X × I) consisting of all non-empty closed sets in X × I endowed with the Fell topology.In this paper,we shall show that there exists a homeomorphism h:↓USC F(X) → Q = [1,1] ω such that h(↓CF(X))=c0 = {(xn)∈Q| lim n→∞ x n = 0} if and only if X is a locally compact separable metrizable space and the set of isolated points is not dense in X.