Variation of parameters and solutions of composite products of linear differential equations

Given a basis of solutions to k ordinary linear differential equations ?j[y]=0(j=1,2,…,k), we show how Green's functions can be used to construct a basis of solutions to the homogeneous differential equation ?[y]=0, where ? is the composite product ?=?₁?₂…?k. The construction of these solutions is elementary and classical. In particular, we consider the special case when . Remarkably, in this case, if {y₁,y₂,…,yn} is a basis of ?₁[y]=0, then our method produces a basis of for any k∈N. We illustrate our results with several classical differential equations and their special function solutions.     

Szeg? type polynomials and para-orthogonal polynomials

Szeg? type polynomials with respect to a linear functional M for which the moments M[tn]=μ−n are all complex, μ−n=μn and Dn≠0 for n?0, are considered. Here, Dn are the associated Toeplitz determinants. Para-orthogonal polynomials are also studied without relying on any integral representation. Relation between the Toeplitz determinants of two different types of moment functionals are given. Starting from the existence of polynomials similar to para-orthogonal polynomials, sufficient conditions for the existence of Szeg? type polynomials are also given. Examples are provided to justify the results.     

A Characterization of L-orthogonal Polynomials from?Three Term Recurrence Relations

We consider the sequence of polynomials {Q _n } satisfying the L-orthogonality ?[z ^?n+m Q _n (z)]=0, 0??m??n?1, with respect to a linear functional ? for which the moments ?[t ⁿ ]=?? _n are all complex. Under certain restriction on the moment functional these polynomials also satisfy a three term recurrence relation. We consider three special classes of such moment functionals and characterize them in terms of the coefficients of the associated three term recurrence relations. Relations between the polynomials {Q _n } associated with two of these special classes of moment functionals are also given. Examples are provided to justify this characterization.     

On the solutions of a functional equation arising from multiplication of quantum integers

This paper is the first of several papers in which we prove, for the case where the fields of coefficients are of characteristic zero, four open problems posed in the work of Melvyn Nathanson (2003) [1] concerning the solutions of a functional equation arising from multiplication of quantum integers q[n]=qn−1+qn−2+?+q+1. In this paper, we prove one of the problems. The next papers, namely [002], [003] and [004] by Lan Nguyen, contain the solutions to the other 3 problems.     

Linear differential equations in <Emphasis Type="Italic">L</Emphasis><Subscript>2</Subscript> with radial derivatives

We obtain a solution of a linear differential equation with a radial derivative. The coefficients and the solution are functionals on L ₂[a, b]. In the same space, we study the properties of solutions of second-order linear homogeneous equations.     

Approximation with sums of exponentials in Lp[0, ∞)

We consider the problem of approximating a given f from L_p [0, ∞) by means of the family V_n(S) of exponential sums; V_n(S) denotes the set of all possible solutions of all possible nth order linear homogeneous differential equations with constant coefficients for which the roots of the corresponding characteristic polynomials all lie in the set S. We establish the existence of best approximations, show that the distance from a given f to V_n(S) decreases to zero as n becomes infinite, and characterize such best approximations with a first-order necessary condition. In so doing we extend previously known results that apply in L_p[0, 1].     

Factored forms for solutions of AX − XB = C and X − AXB = C in companion matrices

The main concern of this paper is linear matrix equations with block-companion matrix coefficients. It is shown that general matrix equations AX ? XB = C and X ? AXB = C can be transformed to equations whose coefficients are block companion matrices: $\text{C}\text{?}{}_{\mathrm{L}}\text{X?XC}{}_{\mathrm{M}}\text{=}\text{diag}\text{[I 0…0]}$ and $\text{X?}\text{C}\text{?}{}_{\mathrm{L}}\text{XC}{}_{\mathrm{M}}\text{=}\text{diag}\text{[I 0…0]}$, respectively, where ?_L and C_M stand for the first and second block-companion matrices of some monic r × r matrix polynomials L(λ) = λ^sI + Σ^s?1_j=0λ^jL_j and M(λ) = λ^tI + Σ^t7minus;1_j=0λ^jM_j. The solution of the equat with block companion coefficients is reduced to solving vector equations Sx = ?, where the matrix S is r²l × r²l[l = max(s, t)] and enjoys some symmetry properties.     

nth order Stieltjes differential boundary operators and Stieltjes differential boundary systems

This article discusses linear differential boundary systems, which include nth-order differential boundary relations as a special case, in $\text{L}$_n^p[0,1] × $\text{L}$_n^p[0,1], 1 ? p < ∞. The adjoint relation in $\text{L}$_n^q[0,1] × $\text{L}$_n^q[0,1], $\text{1}\text{p}\text{+}\text{1}\text{q}\text{= 1}$, is derived. Green's formula is also found. Self-adjoint relations are found in $\text{L}$_n²[0,1] × $\text{L}$_n²[0,1], and their connection with Coddington's extensions of symmetric operators on subspaces of $\text{L}$_n^p[0,1] × $\text{L}$_n²[0,1] is established.     

Isolated singularities for some types of curvature equations

We consider the removability of isolated singularities for the curvature equations of the form H_k[u]=0, which is determined by the kth elementary symmetric function, in an n-dimensional domain. We prove that, for 1?k?n−1, isolated singularities of any viscosity solutions to the curvature equations are always removable, provided the solution can be extended continuously at the singularities. We also consider the class of “generalized solutions” and prove the removability of isolated singularities.     

On linear systems with quasiperiodic coefficients and bounded solutions

For a discrete dynamical system ω _n =ω₀+αn, where a is a constant vector with rationally independent coordinates, on thes-dimensional torus Ω we consider the setL of its linear unitary extensionsx _n+1=A(ω₀+αn)x _n , whereA (Ω) is a continuous function on the torus Ω with values in the space ofm-dimensional unitary matrices. It is proved that linear extensions whose solutions are not almost periodic form a set of the second category inL (representable as an intersection of countably many everywhere dense open subsets). A similar assertion is true for systems of linear differential equations with quasiperiodic skew-symmetric matrices.     

Derivations of polynomial algebras without Darboux polynomials

We present several new examples of homogeneous derivations of a polynomial ring k[X]=k[x₁,…,x_n] over a field k of characteristic zero without Darboux polynomials. Using a modification of a result of Shamsuddin, we produce these examples by induction on the number n of variables, thus more easily than the previously known example multidimensional Jouanolou systems of ?o?a?dek.     

The convolution method for fourier expansions. The case of generalized transmission conditions of crack (screen) type in piecewise inhomogeneous media

We consider boundary value problems for the equation ? _x (K ? _x ?) + KL[?] = 0 in the space R ⁿ with generalized transmission conditions of the type of a strongly permeable crack or a weakly permeable screen on the surface x = 0. (Here L is an arbitrary linear differential operator with respect to the variables y ₁, …, y _n?1.) The coefficients K(x) > 0 are monotone functions of certain classes in the regions separated by the screen x = 0. The desired solution has arbitrary given singular points and satisfies a sufficiently weak condition at infinity.We derive formulas expressing the solutions of the above-mentioned problems in the form of simple quadratures via the solutions of the considered equation with a constant coefficient K for given singular points in the absence of a crack or a screen. In particular, the obtained formulas permit one to solve boundary value problems with generalized transmission conditions for equations with functional piecewise continuous coefficients in the framework of the theory of harmonic functions.     

Coefficients of Drinfeld modular forms and Hecke operators

Consider the space of Drinfeld modular forms of fixed weight and type for Γ₀(n)⊂GL₂(Fq[T]). It has a linear form bn, given by the coefficient of tm+n(q−1) in the power series expansion of a type m modular form at the cusp infinity, with respect to the uniformizer t. It also has an action of a Hecke algebra. Our aim is to study the Hecke module spanned by b₁. We give elements in the Hecke annihilator of b₁. Some of them are expected to be nontrivial and such a phenomenon does not occur for classical modular forms. Moreover, we show that the Hecke module considered is spanned by coefficients bn, where n runs through an infinite set of integers. As a consequence, for any Drinfeld Hecke eigenform, we can compute explicitly certain coefficients in terms of the eigenvalues. We give an application to coefficients of the Drinfeld Hecke eigenform h.     

Nikol’skii’s inequality for different metrics and properties of the sequence of norms of the Fourier sums of a function in the Lorentz space

Let (X, Y) be a pair of normed spaces such that X ? Y ? L ₁[0, 1] ⁿ and {e _k } _k be an expanding sequence of finite sets in ? ⁿ with respect to a scalar or vector parameter k, k ∈ ? or k ∈ ? ⁿ . The properties of the sequence of norms $\{ \left\| {S_{e_k } (f)} \right\|x\} _k $ of the Fourier sums of a fixed function f ∈ Y are studied. As the spaces X and Y, the Lebesgue spaces L _p [0, 1], the Lorentz spaces L _p,q [0, 1], L _p,q [0, 1] ⁿ , and the anisotropic Lorentz spaces L _p,q*[0, 1] ⁿ are considered. In the one-dimensional case, the sequence {e _k } _k consists of segments, and in the multidimensional case, it is a sequence of hyperbolic crosses or parallelepipeds in ? ⁿ . For trigonometric polynomials with the spectrum given by step hyperbolic crosses and parallelepipeds, various types of inequalities for different metrics in the Lorentz spaces L _p,q [0, 1] ⁿ and L _p,q*[0, 1] ⁿ are obtained.     

Partial difference equations in m1⩾m2⩾⋯⩾mn⩾0 and their applications to combinatorics

Various discrete functions encountered in Combinatorics are solutions of Partial Difference Equations in the subset of Nⁿ given by m₁?m₂???m_n?0. Given a partial difference equation, it is described how to pass from the standard “easy” solution of an equation in Nⁿ to a solution of the same equation subject to certain “Dirichlet” or “Neumann” boundary conditions in the domain m₁?m₂???m_n?0 and related domains. Applications include a rather quick derivation of MacMahon's generating function for plane partitions, a generalization and q-analog of the Ballot problem, and a joint analog of the Ballot problem and Simon Newcomb's problem.     

Generalized comparison theorems for disfocality types of the equation Lny + py = 0

Comparison theorems for disfocality types on [a, ∞) of a pair of equations L_n(r_n, r_{n ? 1},…, r₀) y + py = 0 and L_v(?_v, ?_{v ? 1},…, ?₀) y + qy = 0 are given, where L_n and L_v are disconjugate linear differential operators, not necessarily of the same order, and p and q are continuous and of constant sign.     

Spectrum of the upper wanderability exponent of solutions of two-dimensional triangular differential systems

We show that the set of values of the upper wanderability exponent of nonzero solutions of linear two-dimensional triangular homogeneous differential systems with coefficients bounded in absolute value on the half-line by a number M is the interval [0,M].     

Regularization with differential operators. I. General theory

The method of regularization is used to obtain least squares solutions of the linear equation Kx = y, where K is a bounded linear operator from one Hilbert space into another and the regularizing operator L is a closed densely defined linear operator. Existence, uniqueness, and convergence analyses are developed. An application is given to the special case when K is a first kind integral operator and L is an nth order differential operator in the Hilbert space L²[a, b].