Characterization of domains of self-adjoint ordinary differential operators

The GKN (Glazman, Krein, Naimark) Theorem characterizes all self-adjoint realizations of linear symmetric (formally self-adjoint) ordinary differential equations in terms of maximal domain functions. These functions depend on the coefficients and this dependence is implicit and complicated. In the regular case an explicit characterization in terms of two-point boundary conditions can be given. In the singular case when the deficiency index d is maximal the GKN characterization can be made more explicit by replacing the maximal domain functions by a solution basis for any real or complex value of the spectral parameter λ. In the much more difficult intermediate cases, not all solutions contribute to the singular self-adjoint conditions. In 1986 Sun found a representation of the self-adjoint singular conditions in terms of certain solutions for nonreal values of λ. In this paper we give a representation in terms of certain solutions for real λ. This leads to a classification of solutions as limit-point (LP) or limit-circle (LC) in analogy with the celebrated Weyl classification in the second-order case. The LC solutions contribute to the singular boundary conditions, the LP solutions do not. The advantage of using real λ is not only because it is, in general, easier to find explicit solutions but, more importantly, it yields information about the spectrum.     

THE LEGENDRE TYPE OPERATOR IN A LEFT DEFINITE HILBERT SPACE

Abstract

The techniques for discussing linear differential operators in left definite spaces, developed earlier for regular fourth order and singular second order operators, are applied the Legendre type operator. It is shown that the operator, with its domain merely restricted to the new space, remains self-adjoint and has the same spectrum, inverse and spectral resolution (an eigenfunction expansion) as the original L ² operator.     

PRODUCTS OF DIFFERENTIAL EXPRESSIONS WITHOUT SMOOTHNESS ASSUMPTIONS

Abstract

To form products of differential expressions in the classical way it is necessary to place heavy differentiability assumptions on the coefficients. Here we consider symmetric (formally self-adjoint) expressions defined, not in the classical way, but in terms of quasi-derivatives. With this very general notion of symmetry we show that products such as M1M2MI of symmetric expressions M1, Hp can be formed vithout any smoothness assumptions on the coefficients and such products are symmetric expressions.     

Subordinate solutions and spectral measures of canonical systems

The theory of 2×2 trace-normed canonical systems of differential equations on ?⁺ can be put in the framework of abstract extension theory, cf. [9]. This includes the theory of strings as developed by I.S. Kac and M.G. Kre?n. In the present paper the spectral properties of such canonical systems are characterized by means of subordinate solutions. The theory of subordinacy for Schrödinger operators on the halfline ?⁺, was originally developed D.J. Gilbert and D.B. Pearson. Its extension to the framework of canonical systems makes it possible to describe the spectral measure of any Nevanlinna function in terms of subordinate solutions of the corresponding trace-normed canonical system, which is uniquely determined by a result of L. de Branges.     

Rectangular superpolynomials for the figure-eight knot 4<Subscript>1</Subscript>

We rewrite the recently proposed differential expansion formula for HOMFLY polynomials of the knot 4₁ in an arbitrary rectangular representation R = [r^s] as a sum over all Young subdiagrams λ of R with surprisingly simple coefficients of the Z factors. Intriguingly, these coefficients are constructed from the quantum dimensions of symmetric representations of the groups SL(r) and SL(s) and restrict the summation to diagrams with no more than s rows and r columns. Moreover, the β-deformation to Macdonald dimensions yields polynomials with positive integer coefficients, which are plausible candidates for the role of superpolynomials for rectangular representations. Both the polynomiality and the positivity of the coefficients are nonobvious, nevertheless true. This generalizes the previously known formulas for symmetric representations to arbitrary rectangular representations. The differential expansion allows introducing additional gradings. For the trefoil knot 3₁, to which our results for the knot 4₁ are immediately extended, we obtain the so-called fourth grading of hyperpolynomials. The property of factorization in roots of unity is preserved even in the five-graded case.     

AN OSCILLATION THEOREM FOR A TWO-PARAMETER SYSTEM OF DIFFERENTIAL EQUATIONS

Abstract

The oscillation theorem for two simultaneous Sturm-Liouville systems in two parameters is well known when the coefficients of the differential equations are subjected to the usual definiteness condition. However, in practical applications the usual definiteness condition may fail to hold, and hence in this paper we consider the oscillation theorem under another important definiteness condition.     

Positive solutions for semi-positone three-point boundary value problems

Using a fixed point theorem of generalized cone expansion and compression we present in this paper criteria which guarantee the existence of at least two positive solutions for semi-positone three-point boundary value problems with parameter λ>0$\lambda >0$ belonging to a certain interval.     

Existence and uniqueness of positive radial solutions for a class of quasilinear elliptic equations

The existence and uniqueness of positive radial solutions of the equations of the type [IML0001] in B_R, p>1 with Dirichlet condition are proved for λ large enough and f satisfying a condition[IML0002] is non-decreasing on [IML0003] It is also proved that all the positive solutions in C₁ ⁰(B^R) of the above equations are radially symmetric solutions for f satisfying [IML0004] and λ large enough.     

Positive solutions for quasilinear second order differential equation

It is well known that the Krasnoselskii's fixed point theorem is very very important. It was extensively used for studying the boundary value problems. In this article, the Krasnoselskii's fixed point theorem is extended. The new fixed point theorem is obtained. The second order quasilinear differential equation (Φ (y′))′+a(t)f(t,y,y′)=0,, 0<t<1 subject to mixed boundary condition is studied, where f is a nonnegative continuous function, Φ (v)= |v|^p-2 v, p>1. We show the existence of at least one positive solution by using the new fixed point theorem in cone.     

Zur lokalen Werteverteilung der Lösungen linearer Differentialgleichungen

Every solution w of the linear differential equation (*) $$L_n (w) = w^{(n)} + a_{n - 1^{w^{(n - 1)} } } + \ldots + a_0 w = 0$$ with polynomial coefficients a_j is a polynomial or an entire function of finite order λ>0. In this paper we prove the following theorem: Let w be a solution of (*) and no polynomial. Let further λ be the order of w and n_a (R, 1/(w?c)) the number of the zeros in the disc |z?a|4^1/λ $$n_a \left( {L|a|^{1 - \lambda } ,1/(w - c)} \right) \leqq N.$$ It is also shown, that for certain solutions of (*) there exists a constant r₀>0 such that we can replace N by n+α for |a|> r₀. α₀ is the degree of the polynomial a₀. An important tool for the proofs is the index of an entire function.     

HORIZONTAL DISTRIBUTIONS ON SPACES OF FIBERS

Abstract

Geometric methods for systems of partial differential equations and multiple integral problems in the calculus of variations lead naturally to differentiable manifolds that resemble fiber bundles but do not possess a structure group; in terms of local coordinates, π:B→M_n|(xⁱ, q^α)→(xⁱ), dim(B) = N + n, dim(M_n) = n. The standard notions of horizontal distributions, horizontal and vertical subspaces of T(B), T(B) = V(B) ⊕ H(B), horizontal lifts of curves in M_n, and horizontal and vertical dual subspaces with Λ¹(B) = V*(B) ⊕ H*(B) are shown to be well defined in B. The absence of a structure group is compensated for by an analysis based on the homogeneous ideals V and H that are generated by the canonical bases of V*(B) and H*(B), respectively. The differential system constructed from the generators of the horizontal ideal is shown to lead to a unique system of connection 1-forms and torsion 2-forms under the requirements that they have vacuous intersections with the horizontal ideal. The horizontal ideal is shown to be completely integrable if and only if the torsion 2-forms vanish throughout B, in which case the curvature 2-forms are congruent to zero mod H, and the curvature 2-forms are shown to have a vacuous intersection with H if and only if the horizontal distribution is affine. The paper concludes with a study of the mapping properties of the connection, torsion and curvature. These are significantly more general than those of a fiber bundle since the absence of a structure group allows mappings of the form 'xⁱ = φⁱ(x,q), 'q^α = φ^α (x,q).     

Necessary and sufficient conditions for the existence of positive solutions of fourth order multi-point boundary value problems

This paper investigates the existence of positive solutions of singular multi-point boundary value problems of fourth order ordinary differential equation with p-Laplacian. A necessary and sufficient condition for the existence of C²[0,1] positive solution as well as pseudo-C³[0,1] positive solution is given by means of the fixed point theorems on cones.     

Partitions of the set of natural numbers and their representation functions

For a given set A of nonnegative integers the representation functions R₂(A,n), R₃(A,n) are defined as the number of solutions of the equation n=a+a^′,a,a^′∈A with a<a^′, a?a^′, respectively. In this paper we give a simple proof to two results by Sándor.     

Nondegenerate cohomology pairing for transitive Lie algebroids,characterization

The Evens-Lu-Weinstein representation (Q _A , D) for a Lie algebroid A on a manifold M is studied in the transitive case. To consider at the same time non-oriented manifolds as well, this representation is slightly modified to (Q _A ^or , D^or) by tensoring by orientation flat line bundle, Q _A ^or =Q_A⊗or (M) and D ^or=D⊗∂ _A ^or . It is shown that the induced cohomology pairing is nondegenerate and that the representation (Q _A ^or , D^or) is the unique (up to isomorphy) line representation for which the top group of compactly supported cohomology is nontrivial. In the case of trivial Lie algebroid A=TM the theorem reduce to the following: the orientation flat bundle (or (M), ∂ _A ^or ) is the unique (up to isomorphy) flat line bundle (ξ, ∇) for which the twisted de Rham complex of compactly supported differential forms on M with values in ξ possesses the nontrivial cohomology group in the top dimension. Finally it is obtained the characterization of transitive Lie algebroids for which the Lie algebroid cohomology with trivial coefficients (or with coefficients in the orientation flat line bundle) gives Poincaré duality. In proofs of these theorems for Lie algebroids it is used the Hochschild-Serre spectral sequence and it is shown the general fact concerning pairings between graded filtered differential ℝ-vector spaces: assuming that the second terms live in the finite rectangular, nondegeneration of the pairing for the second terms (which can be infinite dimensional) implies the same for cohomology spaces.     

Multiple solutions for strongly resonant periodic systems

We considered a semilinear, second order periodic system. We assumed that the differential operator x→−x^″−Ax$x\to -x^{″}-Ax$ has zero as an eigenvalue and has no negative eigenvalues. Also we imposed a strong resonance condition (with respect to the zero eigenvalue) on the potential function F(t,x)$F(t,x)$. Using the second deformation theorem, we established the existence of at least two nontrivial solutions. To do this we needed to conduct a detailed analysis of the Cerami compactness condition, which is actually of independent interest.     

Genus expansion of HOMFLY polynomials

In the planar limit of the’ t Hooft expansion, the Wilson-loop vacuum average in the three-dimensional Chern-Simons theory (in other words, the HOMFLY polynomial) depends very simply on the representation (Young diagram), H_R(A|q)|_q=1 = (σ₁(A)^|R|. As a result, the (knot-dependent) Ooguri-Vafa partition function $\sum\nolimits_R {H_{R\chi R} \left\{ {\bar pk} \right\}}$ becomes a trivial τ -function of the Kadomtsev-Petviashvili hierarchy. We study higher-genus corrections to this formula for H_R in the form of an expansion in powers of z = q ? q^?1. The expansion coefficients are expressed in terms of the eigenvalues of cut-and-join operators, i.e., symmetric group characters. Moreover, the z-expansion is naturally written in a product form. The representation in terms of cut-and-join operators relates to the Hurwitz theory and its sophisticated integrability. The obtained relations describe the form of the genus expansion for the HOMFLY polynomials, which for the corresponding matrix model is usually given using Virasoro-like constraints and the topological recursion. The genus expansion differs from the better-studied weak-coupling expansion at a finite number N of colors, which is described in terms of Vassiliev invariants and the Kontsevich integral.     

Local superlinearity for elliptic systems involving parameters

We study the existence, non-existence, and multiplicity of positive solutions for a class of systems of second-order ordinary differential equations using the fixed-point theorem of cone expansion/compression type, the upper-lower solutions method, and degree arguments. We apply our abstract results to study semilinear elliptic systems in bounded annular domains with non-homogeneous boundary conditions. Here the nonlinearities satisfy local superlinear assumptions.     

On the eigenfunction expansions associated with semilinear Sturm–Liouville-type problems

We consider semilinear second-order ordinary differential equations, mainly autonomous, in the form −u^″=f(u)+λu$-u^{″}=f\left(u\right)+\lambda u$, supplied with different sets of standard boundary conditions. Here λ$\lambda$ is a real constant or it plays the role of a spectral parameter. Mainly, we study problems in the interval (0,1)$(0,1)$. It is shown that in this case each problem that we deal with has an infinite sequence of solutions or eigenfunctions. Our aim in the present article is to review recent results on basis properties of sequences of these solutions or eigenfunctions. In a number of cases, it is proved that such a system is a basis in _L2$L_2$ (in addition, a Riesz or Bari basis). In addition, we briefly consider a problem for the half-line (0,∞)$(0,\infty )$. In this case, the spectrum of the problem fills a half-line and an analog of the expansions into the Fourier integral is obtained. The proofs are mainly based on the Bari theorem and, in addition, on our general result on sufficient conditions for a sequence of functions to be a Riesz basis in _L2$L_2$.     

POWERS OF REAL SYMMETRIC DIFFERENTIAL EXPRESSIONS WITHOUT SMOOTHNESS ASSUMPTIONS

Abstract

In recent years many authors have studied properties of powers of symmetric (formally self-adjoint) ordinary linear differential expressions. So that these powers can be formed in the classical way these authors have placed heavy smoothness assumptions on the coefficients. Here we show that no differentiability conditions whatsoever are needed on the coefficients in order to form powers of a given expression-provided these powers are formed in the quasi-differential sense rather than the classical one.