Inflation of Finite Lattices Along All-or-nothing Sets

We introduce a new generalization of Alan Day’s doubling construction. For ordered sets \(\mathcal {L}\) and \(\mathcal {K}\) and a subset \(E \subseteq \ \leq _{\mathcal {L}}\) we define the ordered set \(\mathcal {L} \star _{E} \mathcal {K}\) arising from inflation of \(\mathcal {L}\) along E by \(\mathcal {K}\). Under the restriction that \(\mathcal {L}\) and \(\mathcal {K}\) are finite lattices, we find those subsets \(E \subseteq \ \leq _{\mathcal {L}}\) such that the ordered set \(\mathcal {L} \star _{E} \mathcal {K}\) is a lattice. Finite lattices that can be constructed in this way are classified in terms of their congruence lattices.A finite lattice is binary cut-through codable if and only if there exists a 0?1 spanning chain \(\left \{\theta _{i}\colon 0 \leq i \leq n \right \}\) in \(Con(\mathcal {L})\) such that the cardinality of the largest block of ?? _i /?? _i?1 is 2 for every i with 1≤i≤n. These are exactly the lattices that can be constructed by inflation from the 1-element lattice using only the 2-element lattice. We investigate the structure of binary cut-through codable lattices and describe an infinite class of lattices that generate binary cut-through codable varieties.     

Intrinsic Hölder Continuity of Harmonic Functions

We consider the stochastic differential equation (SDE) of the form

$$\begin{array}{@{}rcl@{}} \left\{\begin{array}{rcl} dX^ x(t) &=& \sigma(X(t-)) dL(t) \\ X^ x(0)&=&x,\quad x\in{\mathbb{R}}^ d, \end{array}\right. \end{array} $$

where \(\sigma :{\mathbb {R}}^ d\to {\mathbb {R}}^ d\) is globally Lipschitz continuous and L={L(t):t≥0} is a Lévy process. Under this condition on σ it is well known that the above problem has a unique solution X. Let \((\mathcal {P}_{t})_{t\ge 0}\) be the Markovian semigroup associated to X defined by \(\left ({\mathcal {P}}_{t} f\right ) (x) := \mathbb {E} \left [ f(X^ x(t))\right ]\), t≥0, \(x\in {\mathbb {R}}^{d}\), \(f\in \mathcal {B}_{b}({\mathbb {R}}^{d})\). Let B be a pseudo–differential operator characterized by its symbol q. Fix \(\rho \in \mathbb {R}\). In this article we investigate under which conditions on σ, L and q there exist two constants γ>0 and C>0 such that

$$\left| B {\mathcal{P}}_{t} u \right|_{H^{\rho}_{2}} \le C \, t^{-\gamma} \,\left| u \right|_{H^{\rho}_{2}}, \quad \forall u \in {H^{\rho}_{2}}(\mathbb{R}^{d} ),\, t>0. $$

     

Solutions of perturbed Schrödinger equations with critical nonlinearity

We consider the perturbed Schrödinger equation

$\left\{\begin{array}{ll}{- \varepsilon ^2 \Delta u + V(x)u = P(x)|u|^{p - 2} u + k(x)|u|^{2* - 2} u} &; {\text{for}}\, x \in {\mathbb{R}}^N\\ \qquad \qquad \quad {u(x) \rightarrow 0} &; \text{as}\, {|x| \rightarrow \infty} \end{array} \right.$

where \(N\geq 3, \ 2^*=2N/(N-2)\) is the Sobolev critical exponent, \(p\in (2, 2^*)\) , P(x) and K(x) are bounded positive functions. Under proper conditions on V we show that it has at least one positive solution provided that \(\varepsilon\leq{\mathcal{E}}\) ; for any \(m\in{\mathbb{N}}\) , it has m pairs of solutions if \(\varepsilon\leq{\mathcal{E}}_{m}\) ; and suppose there exists an orthogonal involution \(\tau:{\mathbb{R}}^{N}\to{\mathbb{R}}^{N}\) such that V(x), P(x) and K(x) are τ -invariant, then it has at least one pair of solutions which change sign exactly once provided that \(\varepsilon\leq{\mathcal{E}}\) , where \({\mathcal{E}}\) and \({\mathcal{E}}_{m}\) are sufficiently small positive numbers. Moreover, these solutions \(u_\varepsilon\to 0\) in \(H^1({\mathbb{R}}^N)\) as \(\varepsilon\to 0\) .

     

Malcev products of unipotent monoids and varieties of bands

Let \(\mathcal{U}\) be the class of all unipotent monoids and \(\mathcal{B}\) the variety of all bands. We characterize the Malcev product \(\mathcal{U} \circ \mathcal{V}\) where \(\mathcal{V}\) is a subvariety of \(\mathcal{B}\) low in its lattice of subvarieties, \(\mathcal{B}\) itself and the subquasivariety \(\mathcal{S} \circ \mathcal{RB}\), where \(\mathcal{S}\) stands for semilattices and \(\mathcal{RB}\) for rectangular bands, in several ways including by a set of axioms. For members of some of them we describe the structure as well. This succeeds by using the relation \(\widetilde{\mathcal{H}}= \widetilde{\mathcal{L}} \cap \widetilde{\mathcal{R}}\), where \(a\;\,\widetilde{\mathcal{L}}\;\,b\) if and only if a and b have the same idempotent right identities, and \(\widetilde{\mathcal{R}}\) is its dual.We also consider \((\mathcal{U} \circ \mathcal{RB}) \circ \mathcal{S}\) which provides the motivation for this study since \((\mathcal{G} \circ \mathcal{RB}) \circ \mathcal{S}\) coincides with completely regular semigroups, where \(\mathcal{G}\) is the variety of all groups. All this amounts to a generalization of the latter: \(\mathcal{U}\) instead of \(\mathcal{G}\).     

Representation of normal bands as semigroups of <Emphasis Type="Italic">k</Emphasis>-bi-ideals of a semiring

Here we show that every normal band N can be embedded into the normal band \(\mathcal {B(S)}\) of all k-bi-ideals, the left part \(N/ \mathcal {R}\) of N into the left normal band \(\mathcal {R(S)}\) of all right k-ideals, the right part \(N/ \mathcal {L}\) of N into the right normal band \(\mathcal {L(S)}\) of all left k-ideals, and the greatest semilattice homomorphic image \(N/ \mathcal {J}\) of N into the semilattice of all k-ideals of a same k-regular and intra k-regular semiring S.     

A Schwarz Lemma at the Boundary of Hilbert Balls

In this paper, the authors prove a general Schwarz lemma at the boundary for the holomorphic mapping f between unit balls B and B′in separable complex Hilbert spaces H and H′, respectively. It is found that if the mapping f ∈ C~(1+α)at z_0∈ ?B with f(z_0) = w_0∈ ?B′, then the Fr′echet derivative operator Df(z_0) maps the tangent space Tz_0(?B~n) to Tw_0(?B′), the holomorphic tangent space T_(z_0)~(1,0)(?B~n) to T_(w_0)~(1,0)(?B′),respectively.     

Resolutions of Hilbert Modules and Similarity

Let \(H^{2}_{m}\) be the Drury–Arveson (DA) module which is the reproducing kernel Hilbert space with the kernel function \((z, w) \in\mathbb{B}^{m} \times\mathbb{B}^{m} \rightarrow (1 - \sum_{i=1}^{m}z_{i} \bar{w}_{i})^{-1}\). We investigate for which multipliers \(\theta: \mathbb{B}^{m} \rightarrow \mathcal{L}(\mathcal{E}, \mathcal {E}_{*})\) with ran?M _θ closed, the quotient module \(\mathcal{H}_{\theta}\), given by

$\cdots\longrightarrow H^2_m \otimes\mathcal{E} \stackrel{M_{\theta }}{\longrightarrow}H^2_m \otimes\mathcal{E}_* \stackrel{\pi_{\theta}}{\longrightarrow}\mathcal{H}_{\theta}\longrightarrow0,$

is similar to \(H^{2}_{m} \otimes \mathcal {F}\) for some Hilbert space \(\mathcal{F}\). Here M _θ is the corresponding multiplication operator in \(\mathcal{L}(H^{2}_{m} \otimes\mathcal{E}, H^{2}_{m} \otimes\mathcal{E}_{*})\) for Hilbert spaces \(\mathcal{E}\) and \(\mathcal{E}_{*}\) and \(\mathcal {H}_{\theta}\) is the quotient module \((H^{2}_{m} \otimes\mathcal{E}_{*})/ M_{\theta}(H^{2}_{m} \otimes\mathcal{E})\), and π _θ is the quotient map. We show that a necessary condition is the existence of a multiplier ψ in \(\mathcal{M}(\mathcal{E}_{*}, \mathcal{E})\) such that

$\theta\psi\theta= \theta.$

Moreover, we show that the converse is equivalent to a structure theorem for complemented submodules of \(H^{2}_{m} \otimes\mathcal{E}\) for a Hilbert space \(\mathcal {E}\), which is valid for the case of m=1. The latter result generalizes a known theorem on similarity to the unilateral shift, but the above statement is new. Further, we show that a finite resolution of DA-modules of arbitrary multiplicity using partially isometric module maps must be trivial. Finally, we discuss the analogous questions when the underlying operator m-tuple (or algebra) is not necessarily commuting (or commutative). In this case the converse to the similarity result is always valid.

     

Positive Systems of Kostant Roots

Let \(\mathfrak {g}\) be a simple complex Lie algebra and let \(\mathfrak {t} \subset \mathfrak {g}\) be a toral subalgebra of \(\mathfrak {g}\). As a \(\mathfrak {t}\)-module \(\mathfrak {g}\) decomposes as

$$\mathfrak{g} = \mathfrak{s} \oplus \left( \oplus_{\nu \in \mathcal{R}}~ \mathfrak{g}^{\nu}\right)$$

where \(\mathfrak {s} \subset \mathfrak {g}\) is the reductive part of a parabolic subalgebra of \(\mathfrak {g}\) and \(\mathcal {R}\) is the Kostant root system associated to \(\mathfrak {t}\). When \(\mathfrak {t}\) is a Cartan subalgebra of \(\mathfrak {g}\) the decomposition above is nothing but the root decomposition of \(\mathfrak {g}\) with respect to \(\mathfrak {t}\); in general the properties of \(\mathcal {R}\) resemble the properties of usual root systems. In this note we study the following problem: “Given a subset \(\mathcal {S} \subset \mathcal {R}\), is there a parabolic subalgebra \(\mathfrak {p}\) of \(\mathfrak {g}\) containing \(\mathcal {M} = \oplus _{\nu \in \mathcal {S}} \mathfrak {g}^{\nu }\) and whose reductive part equals \(\mathfrak {s}\)?”. Our main results is that, for a classical simple Lie algebra \(\mathfrak {g}\) and a saturated \(\mathcal {S} \subset \mathcal {R}\), the condition \((\text {Sym}^{\cdot }(\mathcal {M}))^{\mathfrak {s}} = \mathbb {C}\) is necessary and sufficient for the existence of such a \(\mathfrak {p}\). In contrast, we show that this statement is no longer true for the exceptional Lie algebras F₄,E₆,E₇, and E₈. Finally, we discuss the problem in the case when \(\mathcal {S}\) is not saturated.

     

Geometry of Coadjoint Orbits and Multiplicity-one Branching Laws for Symmetric Pairs

Consider the restriction of an irreducible unitary representation π of a Lie group G to its subgroup H. Kirillov’s revolutionary idea on the orbit method suggests that the multiplicity of an irreducible H-module ν occurring in the restriction π|_H could be read from the coadjoint action of H on \(\mathcal {O}^{G} \cap \text {pr}^{-1}({\mathcal {O}}^{H})\), provided π and ν are ‘geometric quantizations’ of a G-coadjoint orbit \(\mathcal {O}^{G}\) and an H-coadjoint orbit \(\mathcal {O}^{H}\), respectively, where \(\text {pr} \colon \sqrt {-1}\mathfrak {g}^{\ast } \to \sqrt {-1}\mathfrak {h}^{\ast }\) is the projection dual to the inclusion \(\mathfrak {h} \subset \mathfrak {g}\) of Lie algebras. Such results were previously established by Kirillov, Corwin and Greenleaf for nilpotent Lie groups. In this article, we highlight specific elliptic orbits \(\mathcal {O}^{G}\) of a semisimple Lie group G corresponding to highest weight modules of scalar type. We prove that the Corwin–Greenleaf number \(\sharp (\mathcal {O}^{G} \cap \text {pr}^{-1}({\mathcal {O}}^{H}))/H\) is either zero or one for any H-coadjoint orbit \(\mathcal {O}^{H}\), whenever (G,H) is a symmetric pair of holomorphic type. Furthermore, we determine the coadjoint orbits \(\mathcal {O}^{H}\) with nonzero Corwin–Greenleaf number. Our results coincide with the prediction of the orbit philosophy, and can be seen as ‘classical limits’ of the multiplicity-free branching laws of holomorphic discrete series representations (Kobayashi [Progr. Math. 2007]).     

Uniqueness of self-shrinkers to the degree-one curvature flow with a tangent cone at infinity

Given a smooth, symmetric and homogeneous of degree one function \(f\left( \lambda _{1},\ldots ,\lambda _{n}\right) \) satisfying \(\partial _{i}f>0\quad \forall \,i=1,\ldots , n\), and a properly embedded smooth cone \({\mathcal {C}}\) in \({\mathbb {R}}^{n+1}\), we show that under suitable conditions on f, there is at most one f self-shrinker (i.e. a hypersurface \(\Sigma \) in \({\mathbb {R}}^{n+1}\) satisfying \(f\left( \kappa _{1},\ldots ,\kappa _{n}\right) +\frac{1}{2}X\cdot N=0\), where \(\kappa _{1},\ldots ,\kappa _{n}\) are principal curvatures of \(\Sigma \)) that is asymptotic to the given cone \({\mathcal {C}}\) at infinity.     

A Characterization Theorem for the $$L^{2}$$-Discrepancy of Integer Points in Dilated Polygons

Let C be a convex d-dimensional body. If \(\rho \) is a large positive number, then the dilated body \(\rho C\) contains \(\rho ^{d}\left| C\right| +\mathcal {O}\left( \rho ^{d-1}\right) \) integer points, where \(\left| C\right| \) denotes the volume of C. The above error estimate \(\mathcal {O}\left( \rho ^{d-1}\right) \) can be improved in several cases. We are interested in the \(L^{2}\)-discrepancy \(D_{C}(\rho )\) of a copy of \(\rho C\) thrown at random in \(\mathbb {R}^{d}\). More precisely, we consider

Open image in new window

where \(\mathbb {T}^{d}=\) \(\mathbb {R}^{d}/\mathbb {Z}^{d}\) is the d-dimensional flat torus and \(SO\left( d\right) \) is the special orthogonal group of real orthogonal matrices of determinant 1. An argument of Kendall shows that \(D_{C}(\rho )\le c\ \rho ^{(d-1)/2}\). If C also satisfies the reverse inequality \(\ D_{C}(\rho )\ge c_{1} \ \rho ^{(d-1)/2}\), we say that C is \(L^{2}\) -regular. Parnovski and Sobolev proved that, if \(d>1\), a d-dimensional unit ball is \(L^{2} \)-regular if and only if \(d\not \equiv 1\ ({\text {mod}}4)\). In this paper we characterize the \(L^{2}\)-regular convex polygons. More precisely, we prove that a convex polygon is not \(L^{2}\)-regular if and only if it can be inscribed in a circle and it is symmetric about the centre.

     

On the additivity of block designs

We show that symmetric block designs \({\mathcal {D}}=({\mathcal {P}},{\mathcal {B}})\) can be embedded in a suitable commutative group \({\mathfrak {G}}_{\mathcal {D}}\) in such a way that the sum of the elements in each block is zero, whereas the only Steiner triple systems with this property are the point-line designs of \({\mathrm {PG}}(d,2)\) and \({\mathrm {AG}}(d,3)\). In both cases, the blocks can be characterized as the only k-subsets of \(\mathcal {P}\) whose elements sum to zero. It follows that the group of automorphisms of any such design \(\mathcal {D}\) is the group of automorphisms of \({\mathfrak {G}}_\mathcal {D}\) that leave \(\mathcal {P}\) invariant. In some special cases, the group \({\mathfrak {G}}_\mathcal {D}\) can be determined uniquely by the parameters of \(\mathcal {D}\). For instance, if \(\mathcal {D}\) is a 2-\((v,k,\lambda )\) symmetric design of prime order p not dividing k, then \({\mathfrak {G}}_\mathcal {D}\) is (essentially) isomorphic to \(({\mathbb {Z}}/p{\mathbb {Z}})^{\frac{v-1}{2}}\), and the embedding of the design in the group can be described explicitly. Moreover, in this case, the blocks of \(\mathcal {B}\) can be characterized also as the v intersections of \(\mathcal {P}\) with v suitable hyperplanes of \(({\mathbb {Z}}/p{\mathbb {Z}})^{\frac{v-1}{2}}\).     

Largest initial segments pointwise fixed by automorphisms of models of set theory

Given a model \(\mathcal {M}\) of set theory, and a nontrivial automorphism j of \(\mathcal {M}\), let \(\mathcal {I}_{\mathrm {fix}}(j)\) be the submodel of \(\mathcal {M}\) whose universe consists of elements m of \(\mathcal {M}\) such that \(j(x)=x\) for every x in the transitive closure of m (where the transitive closure of m is computed within \(\mathcal {M}\)). Here we study the class \(\mathcal {C}\) of structures of the form \(\mathcal {I}_{\mathrm {fix}}(j)\), where the ambient model \(\mathcal {M}\) satisfies a frugal yet robust fragment of \(\mathrm {ZFC}\) known as \(\mathrm {MOST}\), and \(j(m)=m\) whenever m is a finite ordinal in the sense of \(\mathcal {M}.\) Our main achievement is the calculation of the theory of \(\mathcal {C}\) as precisely \(\mathrm {MOST+\Delta }_{0}^{\mathcal {P}}\)-\(\mathrm {Collection}\). The following theorems encapsulate our principal results: Theorem A. Every structure in \(\mathcal {C}\) satisfies \(\mathrm {MOST+\Delta }_{0}^{\mathcal {P}}\)-\(\mathrm { Collection}\). Theorem B. Each of the following three conditions is sufficient for a countable structure \(\mathcal {N}\) to be in \(\mathcal {C}\):(a) \(\mathcal {N}\) is a transitive model of \(\mathrm {MOST+\Delta }_{0}^{\mathcal {P}}\)-\(\mathrm {Collection}\).(b) \(\mathcal {N}\) is a recursively saturated model of \(\mathrm {MOST+\Delta }_{0}^{\mathcal {P}}\)-\(\mathrm {Collection}\).(c) \(\mathcal {N}\) is a model of \(\mathrm {ZFC}\). Theorem C. Suppose \(\mathcal {M}\) is a countable recursively saturated model of \(\mathrm {ZFC}\) and I is a proper initial segment of \(\mathrm {Ord}^{\mathcal {M}}\) that is closed under exponentiation and contains \(\omega ^\mathcal {M}\) . There is a group embedding \(j\longmapsto \check{j}\) from \(\mathrm {Aut}(\mathbb {Q})\) into \(\mathrm {Aut}(\mathcal {M})\) such that I is the longest initial segment of \(\mathrm {Ord}^{\mathcal {M}}\) that is pointwise fixed by \(\check{j}\) for every nontrivial \(j\in \mathrm {Aut}(\mathbb {Q}).\) In Theorem C, \(\mathrm {Aut}(X)\) is the group of automorphisms of the structure X, and \(\mathbb {Q}\) is the ordered set of rationals.     

Well-Quasi-Order of Relabel Functions

We define NLC\(_k^{\mathcal{F}}\) to be the restriction of the class of graphs NLC _k , where relabelling functions are exclusively taken from a set \(\mathcal{F}\) of functions from {1,...,k} into {1,...,k}. We characterize the sets of functions \(\mathcal{F}\) for which NLC\(_k^{\mathcal{F}}\) is well-quasi-ordered by the induced subgraph relation ≤? _i . Precisely, these sets \(\mathcal{F}\) are those which satisfy that for every \(f,g\in \mathcal{F}\), we have Im(f?°?g)?=?Im(f) or Im(g?°?f)?=?Im(g). To obtain this, we show that words (or trees) on \(\mathcal{F}\) are well-quasi-ordered by a relation slightly more constrained than the usual subword (or subtree) relation. A class of graphs is n-well-quasi-ordered if the collection of its vertex-labellings into n colors forms a well-quasi-order under ≤? _i , where ≤? _i respects labels. Pouzet (C R Acad Sci, Paris Sér A–B 274:1677–1680, 1972) conjectured that a 2-well-quasi-ordered class closed under induced subgraph is in fact n-well-quasi-ordered for every n. A possible approach would be to characterize the 2-well-quasi-ordered classes of graphs. In this respect, we conjecture that such a class is always included in some well-quasi-ordered NLC\(_k^{\mathcal{F}}\) for some family \(\mathcal{F}\). This would imply Pouzet’s conjecture.     

On the equiconvergence rate with the Fourier integral of the spectral expansion associated with the self-adjoint extension of the Sturm-Liouville operator with uniformly locally integrable potential

In the space L ₂(?), we consider the self-adjoint extension \(\mathcal{L}\) of the Sturm-Liouville operator ly = ?y″ + q(x)y whose potential q is uniformly locally integrable on ?, i.e., satisfies the condition

$\omega _q (h) = \mathop {\sup }\limits_{x \in \mathbb{R}} \int\limits_x^{x + h} {\left| {q(t)} \right|dt < + \infty ,h > 0.} $

. We study the problem on the equiconvergence rate of the spectral expansion associated with \(\mathcal{L}\) of a function f ∈ L ₁(?) with the Fourier integral on the entire real line. We obtain uniform estimates of the equiconvergence rate under some additional conditions on f or q.

     

Determination of cusp forms by central values of Rankin–Selberg <Emphasis Type="BoldItalic">L</Emphasis>-functions<Superscript>*</Superscript>

Let f be a fixed holomorphic Hecke eigen cusp form of weight k for \( SL\left( {2,{\mathbb Z}} \right) \), and let \( {\mathcal U} = \left\{ {{u_j}:j \geqslant 1} \right\} \) be an orthonormal basis of Hecke–Maass cusp forms for \( SL\left( {2,{\mathbb Z}} \right) \). We prove an asymptotic formula for the twisted first moment of the Rankin–Selberg L-functions \( L\left( {s,f \otimes {u_j}} \right) \) at \( s = \frac{1}{2} \) as u _j runs over \( {\mathcal U} \). It follows that f is uniquely determined by the central values of the family of Rankin–Selberg L-functions \( \left\{ {L\left( {s,f \otimes {u_j}} \right):{u_j} \in {\mathcal U}} \right\} \).     

Relative Projectivity and Transferability for Partial Lattices

A partial lattice P is ideal-projective, with respect to a class \(\mathcal {C}\) of lattices, if for every \(K\in \mathcal {C}\) and every homomorphism φ of partial lattices from P to the ideal lattice of K, there are arbitrarily large choice functions f:P→K for φ that are also homomorphisms of partial lattices. This extends the traditional concept of (sharp) transferability of a lattice with respect to \(\mathcal {C}\). We prove the following: (1) A finite lattice P, belonging to a variety \(\mathcal {V}\), is sharply transferable with respect to \(\mathcal {V}\) iff it is projective with respect to \(\mathcal {V}\) and weakly distributive lattice homomorphisms, iff it is ideal-projective with respect to \(\mathcal {V}\), (2) Every finite distributive lattice is sharply transferable with respect to the class \(\mathcal {R}_{\text {mod}}\) of all relatively complemented modular lattices, (3) The gluing D ₄ of two squares, the top of one being identified with the bottom of the other one, is sharply transferable with respect to a variety \(\mathcal {V}\) iff \(\mathcal {V}\) is contained in the variety \(\mathcal {M}_{\omega }\) generated by all lattices of length 2, (4) D ₄ is projective, but not ideal-projective, with respect to \(\mathcal {R}_{\text {mod}}\) , (5) D ₄ is transferable, but not sharply transferable, with respect to the variety \(\mathcal {M}\) of all modular lattices. This solves a 1978 problem of G. Grätzer, (6) We construct a modular lattice whose canonical embedding into its ideal lattice is not pure. This solves a 1974 problem of E. Nelson.     

Dual geometry of Cartan distribution

The paper is devoted to the study of intrinsic geometry of a Cartan distribution \(\mathcal{M}\) in projective space P_2m . We essentially use the hyperband distribution \(\mathcal{H}\) and P_2m associated with \(\mathcal{M}\). Using the duality theory, we construct, in the 4th differential neighborhood, a series of normalizations of \(\mathcal{M}\). We also consider dual affine connections \(\mathop \nabla \limits^1 \) and \(\mathop \nabla \limits^2 \) induced by the dual normalization of the Cartan distribution \(\mathcal{M}\).     

Linear FDEs in the frame of generalized ODEs: variation-of-constants formula

We present a variation-of-constants formula for functional differential equations of the form

$$\dot y = \mathcal{L}\left( t \right)y_t + f\left( {y_t,t} \right),\;y_{t_0}= \varphi $$

, where \(\mathcal{L}\) is a bounded linear operator and φ is a regulated function. Unlike the result by G. Shanholt (1972), where the functions involved are continuous, the novelty here is that the application t \(t \mapsto f\left( {y_t,t} \right)\) is Kurzweil integrable with t in an interval of ?, for each regulated function y. This means that t \(t \mapsto f\left( {y_t,t} \right)\) may admit not only many discontinuities, but it can also be highly oscillating and yet, we are able to obtain a variation-of-constants formula. Our main goal is achieved via theory of generalized ordinary differential equations introduced by J.Kurzweil (1957). As a matter of fact, we establish a variation-of-constants formula for general linear generalized ordinary differential equations in Banach spaces where the functions involved are Kurzweil integrable. We start by establishing a relation between the solutions of the Cauchy problem for a linear generalized ODE of type

$$\frac{{dx}}{{d\tau }} = D\left[ {A\left( t \right)x} \right],x\left( {{t_0}} \right) = \tilde x$$

and the solutions of the perturbed Cauchy problem

$$\frac{{dx}}{{d\tau }} = D\left[ {A\left( t \right)x + F\left( {x,t} \right)} \right],x\left( {{t_0}} \right) = \tilde x$$

Then we prove that there exists a one-to-one correspondence between a certain class of linear generalized ODE and the Cauchy problem for a linear functional differential equations of the form

$$\dot y = \mathcal{L}\left( t \right)y_t,\;y_{t_0} = \varphi$$

, where \(\mathcal{L}\) is a bounded linear operator and φ is a regulated function. The main result comes as a consequence of such results. Finally, because of the extent of generalized ODEs, we are also able to describe the variation-of-constants formula for both impulsive FDEs and measure neutral FDEs.