Sturm-Liouville operators in the half axis with local perturbations

We give conditions which imply equivalence of the Lebesgue measure with respect to a measure μ generated as an average of spectral measures corresponding to Sturm-Liouville operators in the half axis. We apply this to prove that some spectral properties of these operators hold for large sets of boundary conditions if and only if they hold for large sets of positive local perturbations.     

Sturm–Liouville operators in the half axis with shifted potentials

We consider Sturm–Liouville operators in the half axis generated by shifts of the potential and prove that Lebesgue measure is equivalent to a measure defined as an average of spectral measures which correspond to these operators. This is then used to obtain results on stability of spectral types under change of parameters such as boundary conditions, local perturbations, and shifts. In particular if for a set of shifts of positive measure the corresponding operators have α-singular, singular continuous and (or) point spectrum in a fixed interval, then this set of shifts has to be unbounded. Moreover, there are large sets of boundary conditions and local perturbations for which the corresponding operators enjoy the same property.     

Spectrum is periodic for n-intervals

In this paper we study spectral sets which are unions of finitely many intervals in R. We show that any spectrum associated with such a spectral set Ω is periodic, with the period an integral multiple of the measure of Ω. As a consequence we get a structure theorem for such spectral sets and observe that the generic case is that of the equal interval case.     

Path spectra for trees

The path spectrum of a graph is the set of lengths of all maximal paths in the graph. A set S of positive integers is spectral if it is the path spectrum of a tree. We characterize the spectral sets containing at most two odd integers (and arbitrarily many even ones) and obtain several necessary conditions for a set to be spectral. We show that for each even integer s≥2 at least 1/4 of all subsets of the set {2,3,…,s} are spectral and conjecture that all the subsets with at least 3s/4 integers are spectral.     

How to change a boundary condition in a problem to make the problem have a prescribed spectrum

We consider a boundary value problem for an ordinary differential equation of order n with a spectral parameter in n boundary conditions. We suggest a method for changing one of the boundary conditions so as to make the problem have a prescribed spectrum.     

Inverse Problem for a Fourth-Order Differential Operator with Nonseparated Boundary Conditions

Uniqueness theorems are proved for two inverse problems for a fourth-order differential operator with nonseparated boundary conditions. The first of the problems, which has technical applications, is the problem of identification of a differential equation and two boundary conditions, and the second problem is the problem of identification of a differential equation and four boundary conditions. One of two data sets is used as the spectral data of the problem. The first data set is the spectrum of the problem itself (or three of its eigenvalues) and the spectral data of a system of three problems, and the second data set is the spectrum of the problem itself (or three of its eigenvalues) and the spectra of ten boundary value problems.     

Global strong solutions of Navier-Stokes equations with interface boundary in three-dimensional thin domains

In this article, we study the spectrum of the Stokes operator in a 3D two layer domain with interface, obtain the asymptotic estimates on the spectrum of the Stokes operator as thickness ε goes to zero. Based on the spectral decomposition of the Stokes operator, a new average-like operator is introduced and applied to the study of Navier-Stokes equation in the two layer thin domains under interface boundary condition. We prove the global existence of strong solutions to the 3D Navier-Stokes equations when the initial data and external forces are in large sets as the thickness of the domain is small. This article is a continuation of our study on the Stokes operator under Navier friction boundary condition. Due to the viscosity distinction between the two layers, the Stokes operator displays radically different spectral structure from that under Navier friction boundary condition, then causes great difficulty to the analysis.     

Estimates for a spectral parameter in elliptic boundary value problems with discontinuous nonlinearities

Under study are the two classes of elliptic spectral problems with homogeneous Dirichlet conditions and discontinuous nonlinearities (the parameter occurs in the nonlinearity multiplicatively). In the former case the nonlinearity is nonnegative and vanishes for the values of the phase variable not exceeding some positive number c; it has linear growth at infinity in the phase variable u and the only discontinuity at u = c. We prove that for every spectral parameter greater than the minimal eigenvalue of the differential part of the equation with the homogeneous Dirichlet condition, the corresponding boundary value problem has a nontrivial strong solution. The corresponding free boundary in this case is of zero measure. A lower estimate for the spectral parameter is established as well. In the latter case the differential part of the equation is formally selfadjoint and the nonlinearity has sublinear growth at infinity. Some upper estimate for the spectral parameter is given in this case.     

On the continuous analog of Rakhmanov's Theorem for orthogonal polynomials

We obtain the continuous analogs of Rakhmanov's Theorem for polynomials orthogonal on the unit circle. Sturm-Liouville operators and Krein systems are considered. For a Sturm-Liouville operator with bounded potential q, we prove the following statement. If the essential spectrum and absolutely continuous component of the spectral measure fill the whole positive half-line, then q decays at infinity in the certain integral sense.     

Real-parameter square-integrable solutions and the spectrum of differential operators

We continue to investigate the connection between the spectrum of self-adjoint ordinary differential operators with arbitrary deficiency index d and the number of linearly independent square-integrable solutions for real values of the spectral parameter λ. We show that if, for all λ in an open interval I, there are d linearly independent square-integrable solutions, then there is no continuous spectrum in I. This for any self-adjoint realization with boundary conditions which may be separated, coupled, or mixed. The proof is based on a new characterization of self-adjoint domains and on limit-point (LP) and limit-circle (LC) solutions established in an earlier paper.     

The weak limit of Ising models on locally tree-like graphs

We consider the Ising model with inverse temperature β and without external field on sequences of graphs G _n which converge locally to the k-regular tree. We show that for such graphs the Ising measure locally weakly converges to the symmetric mixture of the Ising model with + boundary conditions and the ? boundary conditions on the k-regular tree with inverse temperature β. In the case where the graphs G _n are expanders we derive a more detailed understanding by showing convergence of the Ising measure conditional on positive magnetization (sum of spins) to the + measure on the tree.     

Degenerate Boundary Conditions for a Third-Order Differential Equation

We consider the spectral problem y'''(x) = λy(x) with general two-point boundary conditions that do not contain the spectral parameter λ. We prove that the boundary conditions in this problem are degenerate if and only if their 3 × 6 coefficient matrix can be reduced by a linear row transformation to a matrix consisting of two diagonal 3 × 3 matrices one of which is the identity matrix and the diagonal entries of the other are all cubic roots of some number. Further, the characteristic determinant of the problem is identically zero if and only if that number is ?1. We also show that the problem in question cannot have finite spectrum.     

Positive solutions of singular third-order three-point boundary value problems

The positive solutions of a class of singular third-order three-point boundary value problems are considered by using the Guo-Krasnosel'skii fixed point theorem of cone expansion-compression type. In this class of problems, the nonlinear term is allowed to be singular. Main results show that this class of problems can have n positive solutions provided that the conditions on the nonlinear term on some bounded sets are appropriate.     

Inverse spectral problem of fourth‐order boundary value problems with finite spectrum

In the present paper, we consider a class of inverse spectral problem of fourth‐order boundary value problems. Under the so‐called “Atkinson type” conditions, the problem has finite spectrum and corresponding matrix representations. By using the method of inverse matrix eigenvalue problems of two‐banded matrix, the leading coefficient and potential functions are reconstructed from the given three sets of interlacing real numbers satisfying certain conditions.     

Inverse Sturm–Liouville problem with spectral polynomials in nonsplitting boundary conditions

Theorems on the unique reconstruction of a Sturm–Liouville problem with spectral polynomials in nonsplitting boundary conditions are proved. Two spectra and finitely many eigenvalues (one spectrum and finitely many eigenvalues for a symmetric potential) of the problem itself are used as the spectral data. The results generalize the Levinson uniqueness theorem to the case of nonsplitting boundary conditions containing polynomials in the spectral parameter. Algorithms and examples of solving relevant inverse problems are also presented.     

On the spectra of a Cantor measure

We analyze all orthonormal bases of exponentials on the Cantor set defined by Jorgensen and Pedersen in J. Anal. Math. 75 (1998) 185-228. A complete characterization for all maximal sets of orthogonal exponentials is obtained by establishing a one-to-one correspondence with the spectral labelings of the infinite binary tree. With the help of this characterization we obtain a sufficient condition for a spectral labeling to generate a spectrum (an orthonormal basis). This result not only provides us an easy and efficient way to construct various of new spectra for the Cantor measure but also extends many previous results in the literature. In fact, most known examples of orthonormal bases of exponentials correspond to spectral labelings satisfying this sufficient condition. We also obtain two new conditions for a labeling tree to generate a spectrum when other digits (digits not necessarily in {0,1,2,3}) are used in the base 4 expansion of integers and when bad branches are allowed in the spectral labeling. These new conditions yield new examples of spectra and in particular lead to a surprizing example which shows that a maximal set of orthogonal exponentials is not necessarily an orthonormal basis.     

Pre-compactness of isospectral sets for the neumann operator on planar domains

The Neumann operator maps the boundary value of a harmonic function tc its normal derivative. The inverse spectral properties of the Neumann operator associated to smooth, planar, Jordan curves are studied. The Riemann mapping theorem is used tc parametrize the set of planar Jordan curves by positive functions on the unit circle. By studying the zeta function associated to the spectrum, it is shown that isospectral sets of these functions are pre-compact in the topology of the L²-Sobolev space of order 5/2 - [euro]. Spectral criteria are given for the limiting curves of an isospectral set to be Jordan. A spectrally determined lower bound on the area of the interior of the curve is given.     

The Finite Spectrum of Sturm–Liouville Problems with Transmission Conditions and Eigenparameter-Dependent Boundary Conditions

We study the finite spectrum of Sturm–Liouville problems with transmission conditions and eigenparameter-dependent boundary conditions. For any positive integers m and n, we construct a class of regular Sturm–Liouville problems with transmission conditions and eigenparameter-dependent boundary conditions, which have at most m + n + 4 eigenvalues.     

Uniqueness of reconstruction of the Sturm–Liouville problem with spectral polynomials in nonseparated boundary conditions

Uniqueness theorems for solutions of inverse Sturm–Liouville problems with spectral polynomials in nonseparated boundary conditions are proved. As spectral data two spectra and finitely many eigenvalues of the direct problem or, in the case of a symmetric potential, one spectrum and finitely many eigenvalues are used. The obtained results generalize the Levinson uniqueness theorem to the case of nonseparated boundary conditions containing polynomials in the spectral parameter.     

Characterization of the spectrum of regular boundary value problems for the Sturm-Liouville operator

On the interval (0, τ), we consider the spectral problem generated by the Sturm-Liouville equation with an arbitrary complex-valued potential q(x) ∈ L ₂(0, τ) and with regular (but not strengthened-regular) boundary conditions. Under certain additional assumptions, we establish necessary and sufficient conditions for a set of complex numbers to be the spectrum of such an operator.