On Some Integral Transformations and Their Application to the Solution of Boundary-Value Problems in Mathematical Physics

We obtain a formula for the expansion of an arbitrary function in a series in the eigenfunctions of the Sturm–Liouville boundary-value problem for the differential equation of cone functions. On the basis of this result, we derive a series of integral transformations (including well-known ones) and inversion formulas for them. We apply these formulas to the solution of initial boundary-value problems in the theory of heat conduction for circular hollow cones truncated by spherical surfaces.     

Decent flow methods for inverse Sturm–Liouville problem

In this paper, we propose three numerical methods for the inverse Sturm–Liouville operator in impedance form. We use a finite difference method to discretize the Sturm–Liouville operator and expand the impedance function with some basis functions. The correction technique is discussed. By solving an un-weighted least squares problem, we find an approximation to the impedance function. Numerical experiments are presented to show the accuracy and stability of the numerical methods.     

Oscillation properties for the equation of vibrating beam with irregular boundary conditions

In this paper we study the oscillatory properties for the eigenfunctions of some fourth-order eigenvalue problems, where the boundary conditions are irregular in the sense of the classification of [S. Janczewski, Oscillation theorems for the differential boundary value problems of the fourth order, Ann. of Math. 29 (1928) 521–542]. In this case, we show that these oscillatory properties are different from those of the Sturm–Liouville problem.     

On deformation of associative algebras and graph homology

Deformation theory of associative algebras and in particular of Poisson algebras is reviewed. The role of an “almost contraction” leading to a canonical solution of the corresponding Maurer–Cartan equation is noted. This role is reminiscent of the Homotopical Perturbation Lemma, with the infinitesimal deformation cocycle as “initiator.”Applied to star-products, we show how Moyal's formula can be obtained using such an almost contraction and conjecture that the “merger operation” provides a canonical solution at least in the case of linear Poisson structures.     

On sampling theory and basic Sturm–Liouville systems

We investigate the sampling theory associated with basic Sturm–Liouville eigenvalue problems. We derive two sampling theorems for integral transforms whose kernels are basic functions and the integral is of Jackson's type. The kernel in the first theorem is a solution of a basic difference equation and in the second one it is expressed in terms of basic Green's function of the basic Sturm–Liouville systems. Examples involving basic sine and cosine transforms are given.     

Exploiting structure in quantified formulas

We study the computational problem “find the value of the quantified formula obtained by quantifying the variables in a sum of terms.” The “sum” can be based on any commutative monoid, the “quantifiers” need only satisfy two simple conditions, and the variables can have any finite domain. This problem is a generalization of the problem “given a sum-of-products of terms, find the value of the sum” studied in [R.E. Stearns and H.B. Hunt III, SIAM J. Comput. 25 (1996) 448–476]. A data structure called a “structure tree” is defined which displays information about “subproblems” that can be solved independently during the process of evaluating the formula. Some formulas have “good” structure trees which enable certain generic algorithms to evaluate the formulas in significantly less time than by brute force evaluation. By “generic algorithm,” we mean an algorithm constructed from uninterpreted function symbols, quantifier symbols, and monoid operations. The algebraic nature of the model facilitates a formal treatment of “local reductions” based on the “local replacement” of terms. Such local reductions “preserve formula structure” in the sense that structure trees with nice properties transform into structure trees with similar properties. These local reductions can also be used to transform hierarchical specified problems with useful structure into hierarchically specified problems having similar structure.     

Sturm–Liouville problems with parameter dependent potential and boundary conditions

This paper deals with the computation of the eigenvalues of Sturm–Liouville problems with parameter dependent potential and boundary conditions. We shall extend the domain of application of the method based on sampling theory to the case where the classical Whittaker–Shannon–Kotel’nikov theorem is not applicable. A few numerical examples will be presented.     

Estimate for a Rearrangement of a Function Satisfying the “Reverse Jensen Inequality”

We show that an equimeasurable rearrangement of any function satisfying the “reverse Jensen inequality” with respect to various multidimensional segments also satisfies the “reverse Jensen inequality” with the same constant.__________Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 57, No. 2, pp. 158–169, February, 2005.     

Asymptotics on the Diagonal of the Green Function of a Sturm-Liouville Operator and its Applications

Asymptotics on the diagonal of the Green function and, as aconsequence, asymptotic distribution of the spectrum for thesemibounded Sturm–Liouville operator are obtained.     

Rigidity for regular functions over Hamilton and Cayley numbers and a boundary Schwarz' Lemma

A new theory of regular functions over the skew field of Hamilton numbers (quaternions) and in the division algebra of Cayley numbers (octonions) has been recently introduced by Gentili and Struppa (Adv. Math. 216 (2007) 279–301). For these functions, among several basic results, the analogue of the classical Schwarz' Lemma has been already obtained. In this paper, following an interesting approach adopted by Burns and Krantz in the holomorphic setting, we prove some boundary versions of the Schwarz' Lemma and Cartan's Uniqueness Theorem for regular functions. We are also able to extend to the case of regular functions most of the related “rigidity” results known for holomorphic functions.     

Uniqueness of solutions to inverse Sturm–Liouville problems with potential using three spectra

The uniqueness of solutions to two inverse Sturm–Liouville problems using three spectra is proven, based on the uniqueness of the solution-pair to an overdetermined Goursat–Cauchy boundary value problem. We discuss the uniqueness of the potential for a Dirichlet boundary condition at an arbitrary interior node, and for a Robin boundary condition at an arbitrary interior node, whereas at the exterior nodes we have Dirichlet boundary conditions in both situations. Here we are particularly concerned with potential functions that are L²(0,a).     

Study of the Eigenvalues of the Simplified Equation of Magnetohydrodynamic Balloon Plasma Instability by the Method of Two-Sided Approximation

The convergence of the method of two-sided approximation for the Sturm–Liouville problem is proved. The relationship between the eigenvalues of the problem under consideration is represented as a function of certain control parameters.     

CDS simulation and pattern formation of phase separation

Several properties of the generation and evolution of phase separating patterns for binary material studied by CDS model are proposed. The main conclusions are (1) for alloys spinodal decomposition, the conceptions of “macro-pattern” and “micropattern” are posed by “black-and- white graph” and “gray-scale graph” respectively. We find that though the four forms of map f that represent the self-evolution of order parameter in a cell (lattice) are similar to each other in “macro-pattern”, there are evident differences in their micro-pattern, e.g., some different fine netted structures in the black domain and the white domain are found by the micro-pattern, so that distinct mechanical and physical behaviors shall be obtained. (2) If the two constitutions of block copolymers are not symmetric (i.e. r ≠ 0.5), a pattern called “grain-strip cross pattern” is discovered, in the 0.43 <r <0.45.     

Method of Immersion and Its Parametric Realization for the Korteweg–De Vries Equation

By using the method of immersion (imbedding) proposed in the author's previous works, we describe the space S of initial conditions of the Cauchy problem for the general differential Korteweg–de Vries equation. The space S is called a stationary soliton Korteweg–de Vries manifold because "stationary projections" of solitons fall into the space S. In addition, we introduce the notion of a space of Sturm–Liouville operators over a soliton Korteweg–de Vries manifold. For real functions and parameters, we formulate the spectral theorem for a commutative Lax pair over a real stationary soliton Korteweg–de Vries manifold.     

Bier Spheres and Posets

In 1992 Thomas Bier presented a strikingly simple method to produce a huge number of simplicial (n – 2)-spheres on 2n vertices, as deleted joins of a simplicial complex on n vertices with its combinatorial Alexander dual. Here we interpret his construction as giving the poset of all the intervals in a boolean algebra that “cut across an ideal.” Thus we arrive at a substantial generalization of Bier’s construction: the Bier posets Bier(P, I) of an arbitrary bounded poset P of finite length. In the case of face posets of PL spheres this yields cellular “generalized Bier spheres.” In the case of Eulerian or Cohen–Macaulay posets P we show that the Bier posets Bier(P, I) inherit these properties. In the boolean case originally considered by Bier, we show that all the spheres produced by his construction are shellable, which yields “many shellable spheres,” most of which lack convex realization. Finally, we present simple explicit formulas for the g-vectors of these simplicial spheres and verify that they satisfy a strong form of the g-conjecture for spheres.     

Dissipative Sturm–Liouville Operators in Limit-Point Case

Dissipative singular Sturm–Liouville operators are studied in the Hilbert space L_w²[a,b) (–<a<b), that the extensions of a minimal symmetric operator in Weyls limit-point case. We construct a selfadjoint dilation of the dissipative operator and its incoming and outgoing spectral representations, which makes it possible to determine the scattering matrix of the dilation. We also construct a functional model of the dissipative operator and define its characteristic function in terms of the Titchmarsh–Weyl function of a selfadjoint operator. Finally, in the case when the Titchmarsh–Weyl function of the selfadjoint operator is a meromorphic in complex plane, we prove theorems on completeness of the system of eigenfunctions and associated functions of the dissipative Sturm–Liouville operators. Mathematics Subject Classifications (2000) 47A20, 47A40, 47A45, 34B20, 34B44, 34L10.     

On the Convergence of Bounded J-Fractions on the Resolvent Set of the Corresponding Second Order Difference Operator

We study connections between continued fractions of type J and spectral properties of second order difference operators with complex coefficients. It is known that the convergents of a bounded J-fraction are diagonal Padé approximants of the Weyl function of the corresponding difference operator and that a bounded J-fraction converges uniformly to the Weyl function in some neighborhood of infinity. In this paper we establish convergence in capacity in the unbounded connected component of the resolvent set of the difference operator and specify the rate of convergence. Furthermore, we show that the absence of poles of Padé approximants in some subdomain implies already local uniform convergence. This enables us to verify the Baker–Gammel–Wills conjecture for a subclass of Weyl functions. For establishing these convergence results, we study the ratio and the nth root asymptotic behavior of Padé denominators of bounded J-fractions and give relations with the Green function of the unbounded connected component of the resolvent set. In addition, we show that the number of “spurious” Padé poles in this set may be bounded.     

Decomposition of Green polynomials of type A and Springer modules for hooks and rectangles

This paper deals with graded representations of the symmetric group on the cohomology ring of flags fixed by a unipotent matrix. We consider a combinatorial property, called the “coincidence of dimension” of the graded representations, and give an interpretation in terms of representation theory of the symmetric group in the case where the corresponding partition of the unipotent matrix is a hook or a rectangle. The interpretation is equivalent to a recursive formula of Green polynomials at roots of unity.     

AIC, Overfitting Principles, and the Boundedness of Moments of Inverse Matrices for Vector Autotregressions and Related Models

In his somewhat informal derivation, Akaike (in “Proceedings of the 2nd International Symposium Information Theory” (C. B. Petrov and F. Csaki, Eds.), pp. 610–624, Academici Kiado, Budapest, 1973) obtained AIC's parameter-count adjustment to the log-likelihood as a bias correction: it yields an asymptotically unbiased estimate of the quantity that measures the average fit of the estimated model to an independent replicate of the data used for estimation. We present the first mathematically complete derivation of an analogous property of AIC for comparing vector autoregressions fit to weakly stationary series. As a preparatory result, we derive a very general “overfitting principle,” first formulated in a more limited context in Findley (Ann. Inst. Statist. Math.43, 509–514, 1991), asserting that a natural measure of an estimated model's overfit due to parameter estimation is equal, asymptotically, to a measure of its accuracy loss with independent replicates. A formal principle of parsimony for fitted models is obtained from this, which for nested models, covers the situation in which all models considered are misspecified. To prove these results, we establish a set of general conditions under which, for each τ1, the absolute τth moments of the entries of the inverse matrices associated with least squares estimation are bounded for sufficiently large sample sizes.