Semismall perturbations, semi-intrinsic ultracontractivity, and integral representations of nonnegative solutions for parabolic equations

We consider nonnegative solutions of a parabolic equation in a cylinder D×I, where D is a noncompact domain of a Riemannian manifold and I=(0,T) with 0<T?∞ or I=(−∞,0). Under the assumption [SSP] (i.e., the constant function 1 is a semismall perturbation of the associated elliptic operator on D), we establish an integral representation theorem of nonnegative solutions: In the case I=(0,T), any nonnegative solution is represented uniquely by an integral on (D×{0})∪(M_∂D×[0,T)), where M_∂D is the Martin boundary of D for the elliptic operator; and in the case I=(−∞,0), any nonnegative solution is represented uniquely by the sum of an integral on M_∂D×(−∞,0) and a constant multiple of a particular solution. We also show that [SSP] implies the condition [SIU] (i.e., the associated heat kernel is semi-intrinsically ultracontractive).     

Parabolic Harnack inequality of viscosity solutions on Riemannian manifolds

We consider viscosity solutions to nonlinear uniformly parabolic equations in nondivergence form on a Riemannian manifold M with the sectional curvature bounded from below by −κ   for κ≥0$\kappa \ge 0$. In the elliptic case, Wang and Zhang [24] recently extended the results of [5] to nonlinear elliptic equations in nondivergence form on such M, where they obtained the Harnack inequality for classical solutions. We establish the Harnack inequality for nonnegative viscosity solutions to nonlinear uniformly parabolic equations in nondivergence form on M. The Harnack inequality of nonnegative viscosity solutions to the elliptic equations is also proved.     

Inverse problems and index formulae for Dirac operators

We consider a Dirac-type operator DP on a vector bundle V over a compact Riemannian manifold (M,g) with a non-empty boundary. The operator DP is specified by a boundary condition P(u_|∂M)=0 where P is a projector which may be a non-local, i.e., a pseudodifferential operator. We assume the existence of a chirality operator which decomposes L²(M,V) into two orthogonal subspaces X₊⊕X₋. Under certain conditions, the operator DP restricted to X₊ and X₋ defines a pair of Fredholm operators which maps X₊→X₋ and X₋→X₊ correspondingly, giving rise to a superstructure on V. In this paper we consider the questions of determining the index of DP and the reconstruction of and DP from the boundary data on ∂M. The data used is either the Cauchy data, i.e., the restrictions to ∂M×R₊ of the solutions to the hyperbolic Dirac equation, or the boundary spectral data, i.e., the set of the eigenvalues and the boundary values of the eigenfunctions of DP. We obtain formulae for the index and prove uniqueness results for the inverse boundary value problems. We apply the obtained results to the classical Dirac-type operator in M×C⁴, M⊂R³.     

Relative k-cycles and local elliptic boundary conditions

In this paper, we discuss the following conjecture raised by Baum and Douglas: For any first order elliptic differential operator D on a smooth manifold M with boundary ?M D possesses a (local) elliptic boundary condition if and only if ?[D]=0 in K₁(?M), where [D] is the relative K-cycle in K_o(M,?M) corresponding to D. We prove the “if” part of this conjecture for dim(M)≠4,5,6,7 and the “only if” part of the conjecture for arbitrary dimension.     

Friedrichs extensions of Schrödinger operators with singular potentials

The Friedrichs extension for the generalized spiked harmonic oscillator given by the singular differential operator −d²/dx²+Bx²+Ax⁻²+λx^−α (B>0, A?0) in L₂(0,∞) is studied. We look at two different domains of definition for each of these differential operators in L₂(0,∞), namely C₀^∞(0,∞) and D(T_2,F)∩D(M_λ,α), where the latter is a subspace of the Sobolev space W_2,2(0,∞). Adjoints of these differential operators on C₀^∞(0,∞) exist as result of the null-space properties of functionals. For the other domain, convolutions and Jensen and Minkowski integral inequalities, density of C₀^∞(0,∞) in D(T_2,F)∩D(M_λ,α) in L₂(0,∞) lead to the other adjoints. Further density properties C₀^∞(0,∞) in D(T_2,F)∩D(M_λ,α) yield the Friedrichs extension of these differential operators with domains of definition D(T_2,F)∩D(M_λ,α).     

On the essential commutant of analytic Toeplitz operators associated with spherical isometries

Let T∈Bn(H) be an essentially normal spherical isometry with empty point spectrum on a separable complex Hilbert space H, and let AT⊂B(H) be the unital dual operator algebra generated by T. In this note we show that every operator S∈B(H) in the essential commutant of AT has the form S=X+K with a T-Toeplitz operator X and a compact operator K. Our proof actually covers a larger class of subnormal operator tuples, called A-isometries, which includes for example the tuple T=(Mz₁,…,Mzn)∈B(H²n(σ)) consisting of the multiplication operators with the coordinate functions on the Hardy space H²(σ) associated with the normalized surface measure σ on the boundary ∂D of a strictly pseudoconvex domain D⊂Cn. As an application we determine the essential commutant of the set of all analytic Toeplitz operators on H²(σ) and thus extend results proved by Davidson (1977) [6] for the unit disc and Ding and Sun (1997) [11] for the unit ball.     

Exponential asymptotic property of a parallel repairable system with warm standby under common-cause failure

We discuss exponential asymptotic property of the solution of a parallel repairable system with warm standby under common-cause failure. This system can be described by a group of partial differential equations with integral boundary. First we show that the positive contraction C₀-semigroup T(t) [Weiwei Hu, Asymptotic stability analysis of a parallel repairable system with warm standby under common-cause failure, Acta Anal. Funct. Appl. 8 (1) (2006) 5-20] which is generated by the operator corresponding to these equations is a quasi-compact operator. Then by using [Weiwei Hu, Asymptotic stability analysis of a parallel repairable system with warm standby under common-cause failure, Acta Anal. Funct. Appl. 8 (1) (2006) 5-20] that 0 is an eigenvalue of the operator with algebraic index one and the C₀-semigroup T(t) is contraction, we conclude that the spectral bound of the operator is zero. By using the above results the exponential asymptotical stability of the time-dependent solution of the system follows easily.     

The Conley conjecture for Hamiltonian systems on the cotangent bundle and its analogue for Lagrangian systems

In this paper, the Conley conjecture, which was recently proved by Franks and Handel [J. Franks, M. Handel, Periodic points of Hamiltonian surface diffeomorphism, Geom. Topol. 7 (2003) 713-756] (for surfaces of positive genus), Hingston [N. Hingston, Subharmonic solutions of Hamiltonian equations on tori, Ann. Math., in press] (for tori) and Ginzburg [V.L. Ginzburg, The Conley conjecture, arXiv: math.SG/0610956v1] (for closed symplectically aspherical manifolds), is proved for C¹-Hamiltonian systems on the cotangent bundle of a C³-smooth compact manifold M without boundary, of a time 1-periodic C²-smooth Hamiltonian H:R×T^*M→R which is strongly convex and has quadratic growth on the fibers. Namely, we show that such a Hamiltonian system has an infinite sequence of contractible integral periodic solutions such that any one of them cannot be obtained from others by iterations. If H also satisfies H(−t,q,−p)=H(t,q,p) for any (t,q,p)∈R×T^*M, it is shown that the time-1-map of the Hamiltonian system (if exists) has infinitely many periodic points siting in the zero section of T^*M. If M is C⁵-smooth and dimM>1, H is of C⁴ class and independent of time t, then for any τ>0 the corresponding system has an infinite sequence of contractible periodic solutions of periods of integral multiple of τ such that any one of them cannot be obtained from others by iterations or rotations. These results are obtained by proving similar results for the Lagrangian system of the Fenchel transform of H, L:R×TM→R, which is proved to be strongly convex and to have quadratic growth in the velocities yet.     

Characterization of Hermitian and skew-Hermitian maps between matrix algebras

Let D be a division ring with an involution J such that D is finite-dimensional over its center Z and char D≠2. Let T:M_m(D)→M_n(D) be a Z-linear map between matrix rings over D. We show that T satisfies [T(X)]¹=T(X¹) if and only if T(X)=∑±A¹_kXA_k. Similarly, T satisfies [T(X)]¹ = ? T(X¹) if and only if T(X = ∑(A¹_kXB_k ? B¹_kXA_k). The first of these results generalizes and extends a theorem of R.D. Hill [2] on Hermitian-preserving transformations.     

Existence of positive bounded solutions for some nonlinear elliptic systems

We prove some existence results of positive bounded continuous solutions to the semilinear elliptic system Δu=λp(x)g(v), Δv=μq(x)f(u) in domains D with compact boundary subject to some Dirichlet conditions, where λ and μ are nonnegative parameters. The functions f,g are nonnegative continuous monotone on (0,∞) and the potentials p, q are nonnegative and satisfy some hypotheses related to the Kato class K(D).     

A nonlinear parabolic-Sobolev equation

Let M and L be (nonlinear) operators in a reflexive Banach space B for which Rg(M + L) = B and $\text{¦(Mx ? My) + α(Lx ? Ly)¦ ? | mx ? My |}$ for all α > 0 and pairs x, y in D(M) ∩ D(L). Then there is a unique solution of the Cauchy problem (Mu(t))′ + Lu(t) = 0, Mu(0) = v₀. When M and L are realizations of elliptic partial differential operators in space variables, this gives existence and uniqueness of generalized solutions of boundary value problems for nonlinear partial differential equations of mixed parabolic-Sobolev type.     

More Epsilonized Bounds of the Boas-Kac-Lukosz Type

In this paper we give a further investigation of the method introduced by the author in [1, Frequency-domain bounds for nonnegative unsharply band-limited functions] for proving bounds for functions with nonnegative Fourier transforms. We also dealt with the question of how large the supremum K^S of all numbers |f(u)| is with f the Fourier transform of a nonnegative integrable function F and f(0) = 1, |f(ku)| ≤ ε for k ∈ S. Here u > 0 and S ⊂ {2, 3, . . .}. This problem was related in [1] to finding the infimum M^S of all numbers M_h = max_ϑ [(1−h(ϑ))/(1− cos ϑ)] over all 2π-periodic even, smooth functions h whose Fourier cosine coefficients a_k vanish for k ∉ S, and it was proved and announced for several cases that M^S (1−K^S ) = 1. In this paper we prove the results announced in [1]. To that end we generalize the method given in [1] to include Fourier transforms f of probability measures on R and a certain generalized function h, and we show that the numbers K^S, M^S are assumed as |f(u)|, M_h for certain allowed f,h. Moreover, we establish a fundamental relation between finding the numbers K^S, M^S and the numbers K^T, M^T where T = {2, 3, . . .}\S. In particular, we show that M^T = 2K^S (2K^S − 1)−1,K^T = 1/2 M^S(M^S − 1)−1 and that M^T (1 − K^T) = 1,K^SK^T = 1/2 , whenever M^S (1 − K^S) = 1.     

Function classes defined from local approximations by solutions to hypoelliptic equations

We describe anisotropic function classes of the Campanato—Morrey type in terms of local approximations by solutions to the equation P(D)f = 0 in integral metrics, where P(D) is a quasihomogeneous hypoelliptic linear differential operator with constant coefficients.     

Divided powers in Chow rings and integral Fourier transforms

We prove that for any monoid scheme M over a field with proper multiplication maps M×M→M, we have a natural PD-structure on the ideal CH>0(M)⊂CH_∗(M) with regard to the Pontryagin ring structure. Further we investigate to what extent it is possible to define a Fourier transform on the motive with integral coefficients of the Jacobian of a curve. For a hyperelliptic curve of genus g with sufficiently many k-rational Weierstrass points, we construct such an integral Fourier transform with all the usual properties up to N²-torsion, where N=1+⌊log₂(3g)⌋. As a consequence we obtain, over , a PD-structure (for the intersection product) on N²⋅a, where a⊂CH(J) is the augmentation ideal. We show that a factor 2 in the properties of an integral Fourier transform cannot be eliminated even for elliptic curves over an algebraically closed field.     

Semiclassical Spectral Asymptotics on Foliated Manifolds

We consider a (hypo)elliptic pseudodifferential operator A_h on a closed foliated manifold (M,ℱ), depending on a parameterh > 0, of the form A_h = A+h^mB, where A is a formally self–adjoint tangentially elliptic operator of orderμ > 0 with the nonnegative principal symbol and B is a formally self–adjoint classical pseudodi.erential operator of orderm > 0 on M with the holonomy invariant transversal principal symbol such that its principal symbol is positive, if μ < m, and its transversal principal symbol is positive, if μ ≥ m. We prove an asymptotic formula for the eigenvalue distribution function N_h(λ) of the operator A_h when h tends to 0 and λ is constant.     

Homomorphisms of matrix semigroups over division rings from dimension two to four

Let D be an arbitrary division ring and M_n(D) the multiplicative semigroup of all n×n matrices over D. We study non-degenerate, injective homomorphisms from M₂(D) to M₄(D). In particular, we present a structural result for the case when D is the ring of quaternions.     

Maximal space regularity for abstract linear non-autonomous parabolic equations

The linear non-autonomous evolution equation $\text{u′(t) ? A(t) u(t) = ?(t), t ∈ [0, T]}$, with the initial datum u(0) = x, in the space C([0, T], E), where E is a Banach space and {A(t)} is a family of infinitesimal generators of bounded analytic semigroups is considered; the domains D(A(t)) are supposed constant in t and possibly not dense in E. Maximal regularity of the strict and classical solutions, i.e., regularity of u′ and A(·)u(·) with values in the interpolation spaces D_A(0)(θ, ∞) and D_A(0)(θ) between D(A(0)) and E, is studied. A characterization of such spaces in a concrete case is also given.     

Block Matrix Operators and Weak Hyponormalities

We introduce a new model of a block matrix operator M(α, β) induced by two sequences α and β and characterize its p-hyponormality. The model may be viewed as arising from the composition operator C_T on l²₊ : = L²(\mathbb N₀)l^{2}_{+} := L^2(\mathbb {N}_0) induced by a measurable transformation T on the set of nonnegative integers \mathbb N₀\mathbb {N}_0 with point mass measure. Composition operator techniques may then be used to treat the p-hyponormality of M(α, β). Finally, we apply our results to obtain examples of these operators showing the p-hyponormal classes are distinct.     

Fully nonlinear singularly perturbed equations and asymptotic free boundaries

In this paper we study one-phase fully nonlinear singularly perturbed elliptic problems with high energy activation potentials, ζε(u) with ζε→δ₀⋅∫ζ. We establish uniform and optimal gradient estimates of solutions and prove that minimal solutions are non-degenerated. For problems governed by concave equations, we establish uniform weak geometric properties of approximating level surfaces. We also provide a thorough analysis of the free boundary problem obtained as a limit as the ε-parameter term goes to zero. We find the precise jumping condition of limiting solutions through the phase transition, which involves a subtle homogenization process of the governing fully nonlinear operator. In particular, for rotational invariant operators, F(D²u), we show the normal derivative of limiting function is constant along the interface. Smoothness properties of the free boundary are also addressed.