On the partially microlocal hypoellipticity for a class of totally characteristic operators with characteristics of constant multiplicity

In this paper, I study the microlocal hypoellipticity for a class of totally characteristic operators (1.1). My main result is as follows: Under the conditions (I), (II), if the indicial operator of (1.1) is microlocally hypoelliptic in the complement ofWF _x(Pu(t,·)) for anyu(t,x)∈C _b ^∞ ([0,T], ℰ),t∈[0,T], λ∈ℤ, then the operator (1.1) is microlocally hypoelliptic in the variablex. Supported by the Natural Science Foundation and Young Men's Science Foundation of Academia Sinica     

Propriétés Régularisantes de Certains Semi-Groupes Non Linéaires

Let φ be a convex l.s.c. function fromH (Hilbert) into ] - ∞, ∞ ] andD(φ)={u ∈H; φ(u)<+∞}. It is proved that for everyu ₀ ∈D(φ) the equation − (du/dt)(t ∈ ∂φ(u(t)),u(0)=u ₀ has a solution satisfying ÷(du(t)/dt)÷ ≦(c ₁/t)+c ₂. The behavior ofu(t) in the neighborhood oft=0 andt=+∞ as well as the inhomogeneous equation (du(t)/dt)+∂φ(u(t)) ∈f(t) are then studied. Solutions of some nonlinear boundary value problems are given as applications.      

Viability for a class of semilinear differential equations of retarded type

Let X be a Banach space, A ： D（A） X → X the generator of a compact C0- semigroup S（t） ： X → X, t ≥ 0, D a locally closed subset in X, and f ： （a, b） × X →X a function of Caratheodory type. The main result of this paper is that a necessary and sufficient condition in order to make D a viable domain of the semilinear differential equation of retarded type u＇（t） = Au（t） ＋ f（t, u（t - q））, t ∈ [to, to ＋ T], with initial condition uto = φ ∈C（[-q, 0]; X）, is the tangency condition lim infh10 h^-1d（S（h）v（O）＋hf（t, v（-q））; D） = 0 for almost every t ∈ （a, b） and every v ∈ C（[-q, 0]; X） with v（0）, v（-q）∈ D.     

Implicit Euler scheme for an abstract evolution inequality

For a triple {V, H, V*} of Hilbert spaces, we consider an evolution inclusion of the form u′(t)+A(t)u(t)+δϕ(t, u(t)) ∋ f(t), u(0) = u0, t ∈ (0, T ], where A(t) and ϕ(t, ·), t ∈ [0, T], are a family of nonlinear operators from V to V * and a family of convex lower semicontinuous functionals with common effective domain D(ϕ) ⊂ V. We indicate conditions on the data under which there exists a unique solution of the problem in the space H ¹(0, T; V)∩W _∞¹ (0, T;H) and the implicit Euler method has first-order accuracy in the energy norm.     

A topological position of the set of continuous maps in the set of upper semicontinuous maps

Let (X, ρ) be a metric space and ↓USCC(X) and ↓CC(X) be the families of the regions below all upper semi-continuous compact-supported maps and below all continuous compact-supported maps from X to I = [0, 1], respectively. With the Hausdorff-metric, they are topological spaces. In this paper, we prove that, if X is an infinite compact metric space with a dense set of isolated points, then (↓USCC(X), ↓CC(X)) ≈ (Q, c0 ∪ (Q \ Σ)), i.e., there is a homeomorphism h :↓USCC(X) → Q such that h(↓CC(X)) = c0 ∪ (Q \ Σ...     

On perturbations of differentiable semigroups

LetX be a Banach space and letA be the infinitesimal generator of a differentiable semigroup {T(t) |t ≥ 0}, i.e. aC ₀-semigroup such thatt ↦T(t)x is differentiable on (0, ∞) for everyx εX. LetB be a bounded linear operator onX and let {S(t) |t ≥ 0} be the semigroup generated byA +B. Renardy recently gave an example which shows that {S(t) |t ≥ 0} need not be differentiable. In this paper we give a condition on the growth of ‖T′(t)‖ ast ↓ 0 which is sufficient to ensure that {S(t) |t ≥ 0} is differentiable. Moreover, we use Renardy’s example to study the optimality of our growth condition. Our results can be summarized roughly as follows:

An Application of a Mountain Pass Theorem

We are concerned with the following Dirichlet problem: −Δu(x) = f(x, u), x∈Ω, u∈H ¹ ₀(Ω), (P) where f(x, t) ∈C (×ℝ), f(x, t)/t is nondecreasing in t∈ℝ and tends to an L ^∞-function q(x) uniformly in x∈Ω as t→ + ∞ (i.e., f(x, t) is asymptotically linear in t at infinity). In this case, an Ambrosetti-Rabinowitz-type condition, that is, for some θ > 2, M > 0, 0 > θF(x, s) ≤f(x, s)s, for all |s|≥M and x∈Ω, (AR) is no longer true, where F(x, s) = ∫ ^s ₀ f(x, t)dt. As is well known, (AR) is an important technical condition in applying Mountain Pass Theorem. In this paper, without assuming (AR) we prove, by using a variant version of Mountain Pass Theorem, that problem (P) has a positive solution under suitable conditions on f(x, t) and q(x). Our methods also work for the case where f(x, t) is superlinear in t at infinity, i.e., q(x) ≡ +∞. Received June 24, 1998, Accepted January 14, 2000.     

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）.     

Identification of the unknown diffusion coefficient in a quasi‐linear parabolic equation by semigroup approach with mixed boundary conditions

In this article, a semigroup approach is presented for the mathematical analysis of the inverse coefficient problems of identifying the unknown diffusion coefficient k(u(x, t)) in the quasi‐linear parabolic equation u_t(x, t)=(k(u(x, t))u_x(x, t))_x, with Dirichlet boundary conditions u_x(0, t)=ψ₀, u(1, t)=ψ₁. The main purpose of this work is to analyze the distinguishability of the input–output mappings Φ[·] : ??→C¹[0, T], Ψ[·] : ??→C¹[0, T] using semigroup theory. In this article, it is shown that if the null space of semigroups T(t) and S(t) consists of only a zero function, then the input–output mappings Φ[·] and Ψ[·] have the distinguishability property. Copyright © 2008 John Wiley & Sons, Ltd.     

The exact Hausdorff measures for the graph and image of a multidimensional iterated Brownian motion

Let {W(t),t∈R}, {B(t),t∈R } be two independent Brownian motions on R with W(0) = B(0) = 0. In this paper, we shall consider the exact Hausdorff measures for the image and graph sets of the d-dimensional iterated Brownian motion X(t), where X(t) = (Xi(t),... ,Xd(t)) and X1(t),... ,Xd(t) are d independent copies of Y(t) = W(B(t)). In particular, for any Borel set Q (?) (0,∞), the exact Hausdorff measures of the image X(Q) = {X(t) : t∈Q} and the graph GrX(Q) = {(t, X(t)) :t∈Q}are established.     

Some limit results for probabilities estimates of Brownian motion with polynomial drift

Let (B _t + f(t)) _t∈[0,+∞) be a Brownian motion with polynomial drift f(t), where f(t) is a polynomial. Some Limit Results for Lower tail and large deviation probabilities estimates, and Level crossing probabilities estimates of (B _t + f(t)) _t∈[0,+∞) are given in this paper.     

Non-Strebel points and variability sets

This paper studies the subset of the non-Strebel points in the universal Teichmuller space T. Let Z0 ∈ △be a fixed point. Then we prove that for every non-Strebel point h, there is a holomorphic curve γ : [0, 1]→ T with h as its initial point satisfying the following conditions.(1) The curve γ is on a sphere centered at the base-point of T, i.e. dT(id, γ(t)) = dT(id, h), (t ∈ [0, 1]).(2) For every t ∈ (0,1], the variability set Vγ(t)[Z0] of γ(t) has non-empty interior, i.e. Vγ(t) [Z0] ≠ .     

Applications of operator semigroups to Fourier analysis

Of concern are semigroups of linear norm one operators on Hilbert space of the form (discrete case)T={T ⁿ /n=0,1,2,...} or (continuous case)T={T(t)/t=≥0}. Using ergodic theory and Hilbert-Schmidt operators, the Cesàro limits (asn→∞) of |〈T ⁿ f,f〉|², |〈T (n)f,f〉|² are computed (withn∈ℤ⁺ orn∈ℤ⁺). Specializing the Hilbert space to beL ²(T,μ) (discrete case) orL ²(ℝ,μ) (continuous case) where μ is a Borel probability measure on the circle group or the line, the Cesàro limit of (asn→±∞, with,n∈ℤ orn∈ℝ) is obtained and interpreted. Extensions toT ^M , and ℝ ^M are given. Finally, we discuss recent operator theoretic extensions from a Hilbert to a Banach space context. Partially supported by an NSF grant     

Moderate Deviations for Random Sums of Heavy-Tailed Random Variables

Let {Xn;n≥ 1} be a sequence of independent non-negative random variables with common distribution function F having extended regularly varying tail and finite mean μ = E（X1） and let {N（t）; t ≥0} be a random process taking non-negative integer values with finite mean λ（t） = E（N（t）） and independent of {Xn; n ≥1}. In this paper, asymptotic expressions of P（（X1 ＋… ＋XN（t）） -λ（t）μ 〉 x） uniformly for x ∈[γb（t）, ∞） are obtained, where γ〉 0 and b（t） can be taken to be a positive function with limt→∞ b（t）/λ（t） = 0.     

Theoremes de Viabilite Pour les Inclusions Differentielles du Second Ordre

This paper gives conditions ensuring the existence for an initial value (x ₀,v ₀) of a solution to the second order differential inclusionx″(t) ∈F[x(t),x′(t)],x(0)=x ₀,x′(0)=v ₀ such thatx(t) ∈K for allt whereK is a nonempty given subset ofR ⁿ .      

Uniqueness of weak solutions of time-dependent 3-D Ginzburg-Landau model for superconductivity

We prove the uniqueness of weak solutions of the time-dependent 3-D Ginzburg-Landau model for superconductivity with (Ψ ₀, A ₀) ∈ L ²(Ω) initial data under the hypothesis that (Ψ, A) ∈ C([0, T]; L ³(Ω)) using the Lorentz gauge.      

Perturbation analysis of an <Emphasis Type="Italic">M</Emphasis>/<Emphasis Type="Italic">M</Emphasis>/1 queue in a diffusion random environment

We study in this paper an M/M/1 queue whose server rate depends upon the state of an independent Ornstein–Uhlenbeck diffusion process (X(t)) so that its value at time t is μ φ(X(t)), where φ(x) is some bounded function and μ>0. We first establish the differential system for the conditional probability density functions of the couple (L(t),X(t)) in the stationary regime, where L(t) is the number of customers in the system at time t. By assuming that φ(x) is defined by φ(x)=1−ε((x ∧ a/ε)∨(−b/ε)) for some positive real numbers a, b and ε, we show that the above differential system has a unique solution under some condition on a and b. We then show that this solution is close, in some appropriate sense, to the solution to the differential system obtained when φ is replaced with Φ(x)=1−ε x for sufficiently small ε. We finally perform a perturbation analysis of this latter solution for small ε. This allows us to check at the first order the validity of the so-called reduced service rate approximation, stating that everything happens as if the server rate were constant and equal to .      

Characterization of polyanalytic functions by meromorphic extensions from chains of circles

Let C _t = {z ∈ ℂ: |z − c(t)| = r(t), t ∈ (0, 1)} be a C ¹-family of circles in the plane such that lim _t→0+ C _t = {a}, lim _t→1− C _t = {b}, a ≠ b, and |c′(t)|² + |r′(t)|² ≠ 0. The discriminant set S of the family is defined as the closure of the set {c(t) + r(t)w(t), t ∈ [0, 1]}, where w = w(t) is the root of the quadratic equation ̅c′(t)w ² + 2r′(t)w + c′(t) = 0 with |w| < 1, if such a root exists.     

Oscillation of forced neutral differential equations with positive and negative coefficients

In this paper the forced neutral difterential equation with positive and negative coefficients d/dt [x(t)-R(t)x(t-r)] P(t)x(t-x)-Q(t)x(t-σ)=f(t),t≥t0,is considered,where f∈L^1(t0,∞)交集C([t0,∞],R^ )and r,x,σ∈(0,∞),The sufficient conditions to oscillate for all solutions of this equation are studied.     

Exact Rates of Convergence of Functional Limit Theorems for Csörgő;-Révész Increments of a Wiener Process

Let {W(t); t≥ 0} be a standard Wiener process and S be the Strassen set of functions. We investigate the exact rates of convergence to zero (as T→∞) of the variables $ \sup _{{0 \leqslant t \leqslant T - \alpha _{T} }} \inf _{{f \in S}} \sup _{{0 \leqslant x \leqslant 1}} {\left| {Y_{{t,T}} {\left( x \right)} - f{\left( x \right)}} \right|} Let {W(t); t≥ 0} be a standard Wiener process and S be the Strassen set of functions. We investigate the exact rates of convergence to zero (as T→∞) of the variables sup_{0≤ t ≤ T − aT} inf _f∈S sup_{0≤ x ≤1}|Y _t,T (x) −f(x)| and inf_{0≤ t ≤ T−aT} sup_{0≤ x ≤1}|Y _t,T (x−f(x)| for any given f∈S, where Y _t,T (x) = (W(t+xa _T ) −W(t)) (2a _T (log Ta _T ⁻¹ + log log T))^−1/2. We establish a relation between how small the increments are and the functional limit results of Cs?rg{\H o}-Révész increments for a Wiener process. Similar results for partial sums of i.i.d. random variables are also given. Received September 10, 1999, Accepted June 1, 2000