Conditions of Spectrum Localization for Operators not Close to Self-Adjoint Operators

The Keldysh theorem is generalized to an arbitrary closed operator that is not necessarily close to self-adjoint operators and has a resolvent of Schatten–von Neumann class S _p . Based on this theorem, conditions of spectrum localization are obtained for certain classes of non-self-adjoint differential operators.     

On uniform Lebesgue constants of local exponential splines with equidistant knots

For a linear differential operator L _r of arbitrary order r with constant coefficients and real pairwise different roots of the characteristic polynomial, we study Lebesgue constants (the norms of linear operators from C to C) of local exponential splines corresponding to this operator with a uniform arrangement of knots; such splines were constructed by the authors in earlier papers. In particular, for the third-order operator L ₃ = D(D ² ? β ²) (β > 0), we find the exact values of Lebesgue constants for two types of local splines and compare these values with Lebesgue constants of exponential interpolation splines.     

Abstract potential operator and spectral methods for a class of degenerate evolution problems

The spectral theory of operators in Banach spaces is employed to treat a class of degenerate evolution equations. A basic role is played by the assumption that the Banach space under consideration may be expressed as a direct sum of two suitable subspaces. Two methods for solving the problem are studied. The first method is based on the expansion of the resolvent of a closed operator into Laurent series in a neighbourhood of 0. The second one makes use of the theory of abstract potential operators. In particular, an extension of the Hille-Yosida theorem on infinitesimal generators of (C₀) semigroups of linear operators is obtained. Some examples relative to operators appearing in many applications to partial differential equations are given.     

On the spectrum of well-defined restrictions and extensions for the Laplace operator

The study of the spectral properties of operators generated by differential equations of hyperbolic or parabolic type with Cauchy initial data involve, as a rule, Volterra boundary-value problems that are well posed. But Hadamard’s example shows that the Cauchy problem for the Laplace equation is ill posed. At present, not a single Volterra well-defined restriction or extension for elliptic-type equations is known. Thus, the following question arises: Does there exist a Volterra well-defined restriction of a maximal operator $\hat L$ or a Volterra well-defined extension of a minimal operator L ₀ generated by the Laplace operator? In the present paper, for a wide class of well-defined restrictions of the maximal operator $\hat L$ and of well-defined extensions of the minimal operator L ₀ generated by the Laplace operator, we prove a theorem stating that they cannot be Volterra.     

Characterization of pseudodifferential operators in Hölder-Zygmund spaces

We consider pseudodifferential operators with symbols of the Hörmander class S _{1, δ} ^m , 0 ≤ δ < 1, in Hölder-Zygmund spaces on ? ⁿ and obtain a Beals-type characterization of such operators. By way of application, we show that the inverse of a pseudodifferential operator invertible in a Hölder-Zygmund space is itself a pseudodifferential operator, and hence, the spectra of a pseudodifferential operator in the space L ₂ and in the Hölder-Zygmund spaces coincide as sets.     

Interpolation of operators of weak type (ϕ, ϕ)

Considering the measurable and nonnegative functions ? on the half-axis [0, ∞) such that ?(0) = 0 and ?(t) → ∞ as t → ∞, we study the operators of weak type (?, ?) that map the classes of ?-Lebesgue integrable functions to the space of Lebesgue measurable real functions on ?ⁿ. We prove interpolation theorems for the subadditive operators of weak type (?₀, ?₀) bounded in L _∞(?ⁿ) and subadditive operators of weak types (?₀, ?₀) and (?₁, ?₁) in L _?(? ⁿ ) under some assumptions on the nonnegative and increasing functions ?(x) on [0, ∞). We also obtain some interpolation theorems for the linear operators of weak type (?₀, ?₀) bounded from L _∞(?ⁿ) to BMO(? ⁿ). For the restrictions of these operators to the set of characteristic functions of Lebesgue measurable sets, we establish some estimates for rearrangements of moduli of their values; deriving a consequence, we obtain a theorem on the boundedness of operators in rearrangement-invariant spaces.     

A Newton-like method and its application

In this paper we prove an existence and uniqueness theorem for solving the operator equation F(x)+G(x)=0, where F is a Gateaux differentiable continuous operator while the operator G satisfies a Lipschitz-condition on an open convex subset of a Banach space. As corollaries, a theorem of Tapia on a weak Newton's method and the classical convergence theorem for modified Newton-iterates are deduced. An existence theorem for a generalized Euler-Lagrange equation in the setting of Sobolev space is obtained as a consequence of the main theorem. We also obtain a class of Gateaux differentiable operators which are nowhere Frechet differentiable. Illustrative examples are also provided.     

Improved Hörmander’s theorem and new methods for oscillatory integral operators

This paper proves a theorem on the decay rate of the oscillatory integral operator with a degenerate C^∞ phase function, thus improving a classical theorem of HSrmander. The proof invokes two new methods to resolve the singularity of such kind of operators： a delicate method to decompose the operator and balance the L^2 norm estimates; and a method for resolution of singularity of the convolution type. The operator is decomposed into four major pieces instead of infinite dyadic pieces, which reveals that Cotlar＇s Lemma is not essential for the L^2 estimate of the operator. In the end the conclusion is further improved from the degenerate C^∞ phase function to the degenerate C^4 phase function.     

Homogenization of Schrödinger-type equations

We consider a self-adjoint elliptic operator A_ε, ε> 0, on L₂(R^d; Cⁿ) given by the differential expression b(D)*g(x/ε)b(D). Here \(b(D) = \sum\nolimits_{j = 1}^d {b_j D_j }\) is a first-order matrix differential operator such that the symbol b(ξ) has maximal rank. The matrix-valued function g(x) is bounded, positive definite, and periodic with respect to some lattice. We study the operator exponential \({e^{ - i\tau {A_\varepsilon }}}\), where τ ∈ R. It is shown that, as ε → 0, the operator \({e^{ - i\tau {A_\varepsilon }}}\) converges to \({e^{ - i\tau {A^0}}}\) in the norm of operators acting from the Sobolev space H^s(R^d;Cⁿ) (with suitable s) to L₂(R^d;Cⁿ). Here A⁰ is the effective operator with constant coefficients. Order-sharp error estimates are obtained. The question about the sharpness of the result with respect to the type of the operator norm is studied. Similar results are obtained for more general operators. The results are applied to study the behavior of the solution of the Cauchy problem for the Schrödinger-type equation i?_τu_ε(x, τ) = A_εu_ε(x, τ).     

A non-steady flow of liquid in a porous pipe with variable permeability

LetB denote the infinitesimal operator of a strongly continuous semigroup S(t), with resolvent R_λ, on Banach space L. We define related operators P and V so that λR_λf = Pf + λVf + o(λ), as λ → 0⁺. For α, η > 0 and possibly unbounded, linear operator A, we let U_{α, η}(t) represent a strongly continuous semigroup generated by αA + ηB. We show that under appropriate simultaneous convergence of α and η, U_{α, η}(t) converges strongly to a strongly continous semigroup U(t), having infinitesimal operator characterized through PA(VA)^rf where r =min{j ? 0, PA(VA)^j ≠ 0}. We apply the abstract perturbation theorem to a singular perturbation initial-value problem, of Tihonov-type, for a non-linear system of ordinary differential equations.     

Extrapolation from A∞ weights and applications

We generalize the A_p extrapolation theorem of Rubio de Francia to A_∞ weights in the context of Muckenhoupt bases. Our result has several important features. First, it can be used to prove weak endpoint inequalities starting from strong-type inequalities, something which is impossible using the classical result. Second, it provides an alternative to the technique of good-λ inequalities for proving L^p norm inequalities relating operators. Third, it yields vector-valued inequalities without having to use the theory of Banach space valued operators. We give a number of applications to maximal functions, singular integrals, potential operators, commutators, multilinear Calderón-Zygmund operators, and multiparameter fractional integrals. In particular, we give new proofs, which completely avoid the good-λ inequalities, of Coifman's inequality relating singular integrals and the maximal operator, of the Fefferman-Stein inequality relating the maximal operator and the sharp maximal operator, and the Muckenhoupt-Wheeden inequality relating the fractional integral operator and the fractional maximal operator.     

k-Quasihyponormal operators are subscalar

In this paper we shall prove that if an operatorT∈L(⊕ ₁ ² H) is an operator matrix of the form $$T = \left( {\begin{array}{*{20}c} {T_1 } & {T_2 } \\ 0 & {T_3 } \\ \end{array} } \right)$$ whereT ₁ is hyponormal andT ₃ ^k =0, thenT is subscalar of order 2(k+1). Hence non-trivial invariant subspaces are known to exist if the spectrum ofT has interior in the plane as a result of a theorem of Eschmeier and Prunaru (see [EP]). As a corollary we get that anyk-quasihyponormal operators are subscalar.     

Fractional Abstract Cauchy Problems

This paper is concerned with fractional abstract Cauchy problems with order \({\alpha\in(1,2)}\). The notion of fractional solution operator is introduced, its some properties are obtained. A generation theorem for exponentially bounded fractional solution operators is given. It is proved that the homogeneous fractional Cauchy problem (FACP ₀) is well-posed if and only if its coefficient operator A generates an α-order fractional solution operator. Sufficient conditions are given to guarantee the existence and uniqueness of mild solutions and strong solutions of the inhomogeneous fractional Cauchy problem (FACP _f ).     

Dirac Operator with a Potential of Special Form and with the Periodic Boundary Conditions

We consider the Dirac operator on the interval [0, 1] with the periodic boundary conditions and with a continuous potential Q(x) whose diagonal is zero and which satisfies the condition Q(x) = Q^T(1?x), x ∈ [0, 1]. We establish a relationship between the spectrum of this operator and the spectra of related functional-differential operators with involution. We prove that the system of eigenfunctions of this Dirac operator has the Riesz basis property in the space L ₂ ² [0, 1].     

Homogenization of hyperbolic equations

We consider a self-adjoint matrix elliptic operator A _{ε, ε} > 0, on L ₂(R ^d ;C ⁿ ) given by the differential expression b(D)*g(x/ε)b(D). The matrix-valued function g(x) is bounded, positive definite, and periodic with respect to some lattice; b(D) is an (m × n)-matrix first order differential operator such that m ≥ n and the symbol b(ξ) has maximal rank. We study the operator cosine cos(τA _ε ^1/2 ), where τ ∈ R. It is shown that, as ε → 0, the operator cos(τA _ε ^1/2 ) converges to cos(τ(A ⁰)^1/2) in the norm of operators acting from the Sobolev space H ^s (R ^d ;C ⁿ ) (with a suitable s) to L ₂(R ^d ;C ⁿ ). Here A ₀ is the effective operator with constant coefficients. Sharp-order error estimates are obtained. The question about the sharpness of the result with respect to the type of the operator norm is studied. Similar results are obtained for more general operators. The results are applied to study the behavior of the solution of the Cauchy problem for the hyperbolic equation ? _τ ² u _ε (x, τ) = ?A _ε u _ε (x, τ).     

On the properties of maps connected with inverse Sturm-Liouville problems

Let L _D be the Sturm-Liouville operator generated by the differential expression L _y = ?y″ + q(x)y on the finite interval [0, π] and by the Dirichlet boundary conditions. We assume that the potential q belongs to the Sobolev space W ₂ ^? [0, π] with some ? ≥ ?1. It is well known that one can uniquely recover the potential q from the spectrum and the norming constants of the operator L _D. In this paper, we construct special spaces of sequences ? ₂ ^θ in which the regularized spectral data {s _k } _?∞ ^∞ of the operator L _D are placed. We prove the following main theorem: the map F _q = {s _k } from W ₂ ^? to ? ₂ ^θ is weakly nonlinear (i.e., it is a compact perturbation of a linear map). A similar result is obtained for the operator L _DN generated by the same differential expression and the Dirichlet-Neumann boundary conditions. These results serve as a basis for solving the problem of uniform stability of recovering a potential. Note that this problem has not been considered in the literature. The uniform stability results are formulated here, but their proof will be presented elsewhere.     

On the asymptotic behavior of solutions of quasilinear elliptic equations

The asymptotic behavior of solutions of second-order quasilinear elliptic and nonhyperbolic partial differential equations defined on unbounded domains inR ⁿ contained in\(\{ x_1 ,...,x_n :\left| {x_n } \right|< \lambda \sqrt {x_1^2 + ...x_{n - 1}^2 } \) for certain sublinear functions λ is investigated when such solutions satisfy Dirichlet boundary conditions and the Dirichlet boundary data has appropriate asymptotic behavior at infinity. We prove Phragmèn-Lindelöf theorems for large classes of nonhyperbolic operators, without «lower order terms”, including uniformly elliptic operators and operators with well-definedgenre, using special barrier functions which are constructed by considering an operator associated to our original operator. We also estimate the rate at which a solution converges to its limiting function at infinity in terms of properties of the top order coefficienta _nn of the operator and the rate at which the boundary values converge to their limiting function; these results are proven using appropriate barrier functions which depend on the behavior of the coefficients of the operator and the rate of convergence of boundary values.     

Cauchy Problem for Evolution Equations of Schrödinger Type

In (R. Agliardi, 1995, Internat. J. Math.6, 791-804) we proved the well-posedness of the Cauchy problem in H^∞ for some p-evolution equations (p?1) with real characteristic roots. For this purpose some assumptions on the lower order terms are needed, which, in the special case p=1, recapture well-known results for hyperbolic operators. In (R. Agliardi, 1995, Internat. J. Math.6, 791-804) the leading coefficients are assumed to be constant. In this paper we allow them to be variable. Our result is applicable to 2-evolution differential operators with real characteristics, i.e., to Schrödinger type operators. This class of operators comprehends, for example, Schrödinger operator D_t−Δ_x or the plate operator D²_t−Δ²_x. The Cauchy problem in H^∞ for such evolution operators has been studied extensively by Takeuchi when the coefficients in the principal part are constant and the characteristic roots are distinct.     

Local solvability of partial differential operators on the Heisenberg group

In this article the following class of partial differential operators is examined for local solvability: Let P(X, Y) be a homogeneous polynomial of degree n ≥ 2 in the non-commuting variables X and Y. Suppose that the complex polynomial P(iz, 1) has distinct roots and that P(z, 0) = zⁿ. The operators which we investigate are of the form P(X, Y) where X = δ_x and Y = δ_y + xδ_w for variables (x, y, w) ∈ ?³. We find that the operators P (X, Y) are locally solvable if and only if the kernels of the ordinary differential operators P(iδ_x, ± x)* contain no Schwartz-class functions other than the zero function. The proof of this theorem involves the construction of a parametrix along with invariance properties of Heisenberg group operators and the application of Sobolev-space inequalities by Hörmander as necessary conditions for local solvability.