REGULARITY OF SOLUTIONS TO NONLINEAR TIME FRACTIONAL DIFFERENTIAL EQUATION

We find an upper viscosity solution and give a proof of the existence-uniqueness in the space C^∞（t∈（0,∞）;H2^s＋2（R^n））∩C^0（t∈[0,∞）;H^s（R^n））,s∈R,to the nonlinear time fractional equation of distributed order with spatial Laplace operator subject to the Cauchy conditions ∫0^2p（β）D＊^βu（x,t）dβ=△xu（x,t）＋f（t,u（t,x））,t≥0,x∈R^n,u（0,x）=φ（x）,ut（0,x）=ψ（x）,（0.1） where △xis the spatial Laplace operator,D＊^β is the operator of fractional differentiation in the Caputo sense and the force term F satisfies the Assumption 1 on the regularity and growth. For the weight function we take a positive-linear combination of delta distributions concentrated at points of interval （0, 2）, i.e., p（β） =m∑k=1bkδ（β-βk）,0〈βk〈2,bk〉0,k=1,2,…,m.The regularity of the solution is established in the framework of the space C^∞（t∈（0,∞）;C^∞（R^n））∩C^0（t∈[0,∞）;C^∞（R^n））when the initial data belong to the Sobolev space H2^8（R^n）,s∈R.     

Binormal operator and *-Aluthge transformation

Let T = U｜T｜ be the polar decomposition of a bounded linear operator T on a Hilbert space. The transformation T = ｜T｜^1/2 U｜T｜^1/2 is called the Aluthge transformation and Tn means the n-th Aluthge transformation. Similarly, the transformation T（＊）=｜T＊｜^1/2 U｜T＊｜＆1/2 is called the ＊-Aluthge transformation and Tn^（＊） means the n-th ＊-Aluthge transformation. In this paper, firstly, we show that T（＊） = UV｜T^（＊）｜ is the polar decomposition of T（＊）, where ｜T｜^1/2 ｜T^＊｜^1/2 = V｜｜T｜^1/2 ｜T^＊｜^1/2｜ is the polar decomposition. Secondly, we show that T（＊） = U｜T^（＊）｜ if and only if T is binormal, i.e., [｜T｜, ｜T^＊｜]=0, where [A, B] = AB - BA for any operator A and B. Lastly, we show that Tn^（＊） is binormal for all non-negative integer n if and only if T is centered, and so on.     

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^＊}.     

A Remark on the Boundedness of Calderón-Zygmund Operators in Non-homogeneous Spaces

Let μ be a Radon measure on R^d which may be non-doubling. The only condition satisfied by μ is that μ（B（x,r）） ≤ Cr^n for all x∈R^d r 〉 0 and some fixed 0 〈 n ≤ d. In this paper, the authors prove that the boundedness from H^1（μ） into L^1,∞ （μ） of a singular integral operator T with Calderón-Zygmund kernel of HSrmander type implies its L^2（μ）-boundedness.     

On the Blow-up Criterion of Smooth Solutions to the MHD System in BMO Space

In this paper we study the blow-up criterion of smooth solutions to the incompressible magnetohydrodynamics system in BMO space. Let （u（x,t）,b（x,t）） be smooth solutions in （0, T）. It is shown that the solution （u（x, t）, b（x, t）） can be extended beyond t = T if （u（x,t）, b（x, t）） ∈ L^1 （0, T; BMO） or the vorticity （rot u（x, t）, rot b（x, t）） ∈ L^1 （0, T; BMO） or the deformation （Def u（x, t）, Def b（x, t）） ∈ L^1 （0, T; BMO）.     

The Jackson Inequality for the Best L2-Approximation of Functions on [0, 1] with the Weight x

Let L^2（[0, 1], x） be the space of the real valued, measurable, square summable functions on [0, 1] with weight x, and let n be the subspace of L2（[0, 1], x） defined by a linear combination of Jo（μkX）, where Jo is the Bessel function of order 0 and {μk} is the strictly increasing sequence of all positive zeros of Jo. For f ∈ L^2（[0, 1], x）, let E（f, n） be the error of the best L2（[0, 1], x）, i.e., approximation of f by elements of n. The shift operator off at point x ∈[0, 1] with step t ∈[0, 1] is defined by T（t）f（x）=1/π∫0^π f（√x^2 ＋t^2-2xtcosO）dθ The differences （I- T（t））^r/2f = ∑j=0^∞（-1）^j（j^r/2）T^j（t）f of order r ∈ （0, ∞） and the L^2（[0, 1],x）- modulus of continuity ωr（f,τ） = sup{｜｜（I- T（t））^r/2f｜｜：0≤ t ≤τ] of order r are defined in the standard way, where T^0（t） = I is the identity operator. In this paper, we establish the sharp Jackson inequality between E（f, n） and ωr（f, τ） for some cases of r and τ. More precisely, we will find the smallest constant n（τ, r） which depends only on n, r, and % such that the inequality E（f, n）≤ n（τ, r）ωr（f, τ） is valid.     

Wely定理与$(\omega)$性质的等价性

We call T C B（H） consistent in Fredholm and index （briefly a CFI operator） if for each B ∈ B（H）, TB and BT are Fredholm together and the same index of B, or not Fredholm together. Using a new spectrum defined in view of the CFI operator, we give the equivalence of Weyl＇s theorem and property （ω） for T and its conjugate operator T^＊. In addition, the property （ω） for operator matrices is considered.     

A class of oscillatory singular integrals on triebel-lizorkin spaces

The boundedness on Triebel-Lizorkin spaces of oscillatory singular integral operator T in the form e^i｜x｜^aΩ（x）｜x｜^-n is studied,where a∈R,a≠0,1 and Ω∈L^1（S^n-1） is homogeneous of degree zero and satisfies certain cancellation condition. When kernel Ω（x＇ ）∈Llog＋L（S^n-1 ）, the Fp^a,q（R^n） boundedness of the above operator is obtained. Meanwhile ,when Ω（x） satisfies L^1- Dini condition,the above operator T is bounded on F1^0,1 （R^n）.     

Asymptotics for the Korteweg-de Vries-Burgers Equation

We study large time asymptotics of solutions to the Korteweg-de Vries-Burgers equation ut＋uux-uxx＋uxxx=0,x∈R,t〉0. We are interested in the large time asymptotics for the case when the initial data have an arbitrary size. We prove that if the initial data u0 ∈H^s （R）∩L^1 （R）, where s 〉 -1/2, then there exists a unique solution u （t, x） ∈C^∞ （（0,∞）;H^∞ （R）） to the Cauchy problem for the Korteweg-de Vries-Burgers equation, which has asymptotics u（t）=t^-1/2fM（（·）t^-1/2）＋0（t^-1/2） as t →∞, where fM is the self-similar solution for the Burgers equation. Moreover if xu0 （x） ∈ L^1 （R）, then the asymptotics are true u（t）=t^-1/2fM（（·）t^-1/2）＋O（t^-1/2-γ） where γ ∈ （0, 1/2）.     

Approximately Linear Mappings in Banach Modules over a C^＊-algebra

Let X and Y be vector spaces. The authors show that a mapping f ： X →Y satisfies the functional equation 2d f（∑^2d j=1（-1）^j＋1xj/2d）=∑^2dj=1（-1）^j＋1f（xj） with f（0） = 0 if and only if the mapping f ： X→ Y is Cauchy additive, and prove the stability of the functional equation （≠） in Banach modules over a unital C^＊-algebra, and in Poisson Banach modules over a unital Poisson C＊-algebra. Let A and B be unital C^＊-algebras, Poisson C^＊-algebras or Poisson JC^＊- algebras. As an application, the authors show that every almost homomorphism h ： A →B of A into is a homomorphism when h（（2d-1）^nuy） =- h（（2d-1）^nu）h（y） or h（（2d-1）^nuoy） = h（（2d-1）^nu）oh（y） for all unitaries u ∈A, all y ∈ A, n = 0, 1, 2,.... Moreover, the authors prove the stability of homomorphisms in C^＊-algebras, Poisson C^＊-algebras or Poisson JC^＊-algebras.     

Ordering Trees with Nearly Perfect Matchings by Algebraic Connectivity

Let T2k＋1 be the set of trees on 2k＋1 vertices with nearly perfect matchings and α（T） be the algebraic connectivity of a tree T. The authors determine the largest twelve values of the algebraic connectivity of the trees in T2k＋1. Specifically, 10 trees T2,T3,... ,T11 and two classes of trees T（1） and T（12） in T2k＋1 are introduced. It is shown in this paper that for each tree T^′1,T^″1∈T（1）and T^′12,T^″12∈T（12） and each i,j with 2≤i〈j≤11,α（T^′1）=α（T^″1）〉α（Tj）〉α（T^′12）=α（T^″12）.It is also shown that for each tree T with T∈T2k＋1／（T（1）∪{T2,T3,…,T11}∪T（12））,α（T^′12）〉α（T）.     

EXISTENCE AND UNIQUENESS OF BV SOLUTIONS FOR THE POROUS MEDIUM EQUATION WITH DIRAC MEASURE AS SOURCES

The aim of this paper is to discuss the existence and uniqueness ofsolutions for the porous medium equation ut-(u^m)xx=μ（x） in （x,t）∈R×（0,+∞） with initial condition u(x,0)=u0(x) x∈（-∞,+∞）,where μ(x) is a nonnegative finite Radon measure, u0∈L^1 (R)∩L^∞ (R) is a nonnegative function, and m>1, and R≡(-∞, +∞).     

Existence of Semilinear Differential Equations with Nonlocal Initial Conditions

In this paper we give the existence of mild solutions for semilinear Cauchy problems u′（t） = Au（t） ＋f（t, u（t））, t ∈ I, a.e. with nonlocal initial condition u（O） = g（u） ＋uo when the map g loses compactness in Banach spaces.     

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.     

Singularity of the Extremal Solution for Supercritical Biharmonic Equations with Power-Type Nonlinearity

Let B  R~n be the unit ball centered at the origin. The authors consider the following biharmonic equation:{?~2u = λ(1 + u)~p in B,u =?u/?ν= 0 on ?B, where p n+4/ n-4and ν is the outward unit normal vector. It is well-known that there exists a λ* 0 such that the biharmonic equation has a solution for λ∈ (0, λ*) and has a unique weak solution u*with parameter λ = λ*, called the extremal solution. It is proved that u* is singular when n ≥ 13 for p large enough and satisfies u*≤ r~(-4/ (p-1)) - 1 on the unit ball, which actually solve a part of the open problem left in [D`avila, J., Flores, I., Guerra, I., Multiplicity of solutions for a fourth order equation with power-type nonlinearity, Math. Ann., 348(1), 2009, 143–193] .     

Solutions to Some Open Problems in Fluid Dynamics

Let u=u（x,t,uo）represent the global solution of the initial value problem for the one-dimensional fluid dynamics equation ut-εuxxt＋δux＋γHuxx＋βuxxx＋f（u）x=αuxx,u（x,0）=uo（x）, whereα〉0,β〉0,γ〉0,δ〉0 andε〉0 are constants.This equation may be viewed as a one-dimensional reduction of n-dimensional incompressible Navier-Stokes equations. The nonlinear function satisfies the conditions f（0）=0,｜f（u）｜→∞as ｜u｜→∞,and f∈C^1（R）,and there exist the following limits Lo=lim sup/u→o f（u）/u^3 and L∞=lim sup/u→∞ f（u）/u^5 Suppose that the initial function u0∈L^I（R）∩H^2（R）.By using energy estimates,Fourier transform,Plancherel＇s identity,upper limit estimate,lower limit estimate and the results of the linear problem vt-εv（xxt）＋δvx＋γHv（xx）＋βv（xxx）=αv（xx）,v（x,0）=vo（x）, the author justifies the following limits（with sharp rates of decay） lim t→∞[（1＋t）^（m＋1/2）∫｜uxm（x,t）｜^2dx]=1/2π（π/2α）^（1/2）m!!/（4α）^m[∫R uo（x）dx]^2, if∫R uo（x）dx≠0, where 0!!=1,1!!=1 and m!!=1·3…（2m-3）…（2m-1）.Moreover lim t→∞[（1＋t）^（m＋3/2）∫R｜uxm（x,t）｜^2dx]=1/2π（x/2α）^（1/2）（m＋1）!!/（4α）^（m＋1）[∫Rρo（x）dx]^2, if the initial function uo（x）=ρo′（x）,for some functionρo∈C^1（R）∩L^1（R）and∫Rρo（x）dx≠0.     

Homomorphisms between JC＊-algebras and Lie C＊-algebras

It is shown that every almost ＊-homomorphism h ： A→B of a unital JC＊-algebra A to a unital JC＊-algebra B is a ＊-homomorphism when h（rx） = rh（x） （r 〉 1） for all x∈A, and that every almost linear mapping h ： A→B is a ＊-homomorphism when h（2^nu o y） - h（2^nu） o h（y）, h（3^nu o y） - h（3^nu） o h（y） or h（q^nu o y） = h（q^nu） o h（y） for all unitaries u ∈A, all y ∈A, and n = 0, 1,.... Here the numbers 2, 3, q depend on the functional equations given in the almost linear mappings. We prove that every almost ＊-homomorphism h ： A→B of a unital Lie C＊-algebra A to a unital Lie C＊-algebra B is a ＊-homomorphism when h（rx） = rh（x） （r 〉 1） for all x ∈A.     

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.     

Gauss Sum of Index 4： （2） Non-cyclic Case

Assume that m ≥ 2, p is a prime number, （m,p（p - 1）） = 1,-1 not belong to 〈p〉 belong to （Z/mZ）^＊ and [（Z/mZ）^＊：〈p〉]=4.In this paper, we calculate the value of Gauss sum G（X）=∑x∈F^＊x（x）ζp^T（x） over Fq,where q=p^f,f=φ（m）/4,x is a multiplicative character of Fq and T is the trace map from Fq to Fp.Under our assumptions,G（x） belongs to the decomposition field K of p in Q（ζm） and K is an imaginary quartic abelian unmber field.When the Galois group Gal（K/Q） is cyclic,we have studied this cyclic case in anotyer paper：＂Gauss sums of index four：（1）cyclic case＂（accepted by Acta Mathematica Sinica,2003）.In this paper we deal with the non-cyclic case.