-
Complete characterization of symmetric Kubo-Ando operator means satisfying Molnár's weak associativity
Authors:
Yury Grabovsky,
Graeme W. Milton,
Aaron Welters
Abstract:
We provide a complete characterization of a subclass of weakly associative means of positive operators in the class of symmetric Kubo-Ando means. This class, which includes the geometric mean, was first introduced and studied in L. Molnár, ``Characterizations of certain means of positive operators," Linear Algebra Appl. 567 (2019) 143-166, where he gives a characterization of this subclass (which…
▽ More
We provide a complete characterization of a subclass of weakly associative means of positive operators in the class of symmetric Kubo-Ando means. This class, which includes the geometric mean, was first introduced and studied in L. Molnár, ``Characterizations of certain means of positive operators," Linear Algebra Appl. 567 (2019) 143-166, where he gives a characterization of this subclass (which we call the Molnár class of means) in terms of the properties of their representing operator monotone functions. Molnár's paper leaves open the problem of determining if the geometric mean is the only such mean in that subclass. Here we give a negative answer to this question by constructing an order-preserving bijection between this class and a class of real measurable odd periodic functions bounded in absolute value by $1/2$. Each member of the latter class defines a Molnar mean by an explicit exponential-integral representation. From this we are able to understand the order structure of the Molnár class and construct several infinite families of explicit examples of Molnár means that are not the geometric mean. Our analysis also shows how to modify Molnár's original characterization so that the geometric mean is the only one satisfying the requisite set of properties.
△ Less
Submitted 18 February, 2025; v1 submitted 30 May, 2024;
originally announced May 2024.
-
On feasibility of extrapolation of completely monotone functions
Authors:
Henry J. Brown,
Yury Grabovsky
Abstract:
The feasibility of extrapolation of completely monotone functions can be quantified by examining the worst case scenario, whereby a pair of completely monotone functions agree on a given interval to a given relative precision, but differ as much as it is theoretically possible at a given point. We show that extrapolation is impossible to the left of the interval, while the maximal discrepancy to t…
▽ More
The feasibility of extrapolation of completely monotone functions can be quantified by examining the worst case scenario, whereby a pair of completely monotone functions agree on a given interval to a given relative precision, but differ as much as it is theoretically possible at a given point. We show that extrapolation is impossible to the left of the interval, while the maximal discrepancy to the right exhibits a power law typical for extrapolation of similar classes of complex analytic functions. The power law exponent is derived explicitly, and shows a precipitous drop immediately beyond the right end-point, with a subsequent decay to zero inversely proportional to the distance from the interval. The local extrapolation problem, where the worst discrepancy from a given completely monotone function is sought, is also analyzed. In this case explicit and easily verifiable optimality conditions are derived, enabling us to solve the problem exactly for a single decaying exponential. In the general case, our approach leads to a natural algorithm for computing solutions to the local extrapolation problem numerically. The methods developed in this paper can easily be adapted to other classes of analytic functions represented as integral transforms of positive measures with analytic kernels.
△ Less
Submitted 31 January, 2024; v1 submitted 26 January, 2024;
originally announced January 2024.
-
A class of nonlinear elasticity problems with no local but many global minimizers
Authors:
Yury Grabovsky,
Lev Truskinovsky
Abstract:
We present a class of models of elastic phase transitions with incompatible energy wells in any space dimension, where an abundance of Lipschitz global minimizers in a hard device coexists with a complete lack of strong local minimizers. The analysis hinges on the proof that every strong local minimizer in a hard device is also a global minimizer which is applicable much beyond the chosen class of…
▽ More
We present a class of models of elastic phase transitions with incompatible energy wells in any space dimension, where an abundance of Lipschitz global minimizers in a hard device coexists with a complete lack of strong local minimizers. The analysis hinges on the proof that every strong local minimizer in a hard device is also a global minimizer which is applicable much beyond the chosen class of models. Along the way we show that a new proof of sufficiency for a subclass of affine boundary conditions can be built around a novel nonlinear generalization of the classical Clapeyron theorem, whose subtle relation to dynamics was studied extensively by R. Fosdick.
△ Less
Submitted 4 June, 2023; v1 submitted 4 January, 2023;
originally announced January 2023.
-
On the commutation properties of finite convolution and differential operators I: commutation
Authors:
Yury Grabovsky,
Narek Hovsepyan
Abstract:
Spectral properties of many finite convolution integral operators have been understood by finding differential operators that commute with them. In this paper we compile a complete list of such commuting pairs, extending previous work to complex-valued and non self-adjoint operators. In addition, we introduce a new kind of commutation relation, which we call sesquicommutation, that also has implic…
▽ More
Spectral properties of many finite convolution integral operators have been understood by finding differential operators that commute with them. In this paper we compile a complete list of such commuting pairs, extending previous work to complex-valued and non self-adjoint operators. In addition, we introduce a new kind of commutation relation, which we call sesquicommutation, that also has implications for the spectral properties of the integral operator. In this case we also compute a complete list of sequicommuting pairs of integral and differential operators.
△ Less
Submitted 7 July, 2021;
originally announced July 2021.
-
Reconstructing Stieltjes functions from their approximate values: a search for a needle in a haystack
Authors:
Yury Grabovsky
Abstract:
Material response of real, passive, linear, time-invariant media to external influences is described by complex analytic functions of frequency that can always be written in terms of Stieltjes functions -- a special class of analytic functions mapping complex upper half-plane into itself. Reconstructing such functions from their experimentally measured values at specific frequencies is one of the…
▽ More
Material response of real, passive, linear, time-invariant media to external influences is described by complex analytic functions of frequency that can always be written in terms of Stieltjes functions -- a special class of analytic functions mapping complex upper half-plane into itself. Reconstructing such functions from their experimentally measured values at specific frequencies is one of the central problems that we address in this paper. A definitive reconstruction algorithm that produces a certificate of optimality as well as a graphical representation of the uncertainty of reconstruction is proposed. Its effectiveness is demonstrated in the context of the electrochemical impedance spectroscopy.
△ Less
Submitted 23 March, 2022; v1 submitted 7 January, 2021;
originally announced January 2021.
-
Exact relations and links for two-dimensional thermoelectric composites
Authors:
Yury Grabovsky
Abstract:
This is a report of the massive multi-year effort by the author and two graduate students Huilin Chen and Sarah Childs to compute all exact relations and links for two-dimensional thermoelectric composites. At the moment I have no time to prepare a proper "archival quality" manuscript with a good introduction and references. However, I believe that the results, concisely summarized in the last thr…
▽ More
This is a report of the massive multi-year effort by the author and two graduate students Huilin Chen and Sarah Childs to compute all exact relations and links for two-dimensional thermoelectric composites. At the moment I have no time to prepare a proper "archival quality" manuscript with a good introduction and references. However, I believe that the results, concisely summarized in the last three sections of this report, should be made available to the research community even in this unfinished form.
△ Less
Submitted 10 October, 2020;
originally announced October 2020.
-
Explicit power laws in analytic continuation problems via reproducing kernel Hilbert spaces
Authors:
Yury Grabovsky,
Narek Hovsepyan
Abstract:
The need for analytic continuation arises frequently in the context of inverse problems. Notwithstanding the uniqueness theorems, such problems are notoriously ill-posed without additional regularizing constraints. We consider several analytic continuation problems with typical global boundedness constraints that restore well-posedness. We show that all such problems exhibit a power law precision…
▽ More
The need for analytic continuation arises frequently in the context of inverse problems. Notwithstanding the uniqueness theorems, such problems are notoriously ill-posed without additional regularizing constraints. We consider several analytic continuation problems with typical global boundedness constraints that restore well-posedness. We show that all such problems exhibit a power law precision deterioration as one moves away from the source of data. In this paper we demonstrate the effectiveness of our general Hilbert space-based approach for determining these exponents. The method identifies the "worst case" function as a solution of a linear integral equation of Fredholm type. In special geometries, such as the circular annulus or upper half-plane this equation can be solved explicitly. The obtained solution in the annulus is then used to determine the exact power law exponent for the analytic continuation from an interval between the foci of an ellipse to an arbitrary point inside the ellipse. Our formulas are consistent with results obtained in prior work in those special cases when such exponents have been determined.
△ Less
Submitted 20 April, 2020; v1 submitted 31 July, 2019;
originally announced July 2019.
-
On the commutation properties of finite convolution and differential operators II: sesquicommutation
Authors:
Yury Grabovsky,
Narek Hovsepyan
Abstract:
We introduce and fully analyze a new commutation relation $\overline{K} L_1 = L_2 K$ between finite convolution integral operator $K$ and differential operators $L_1$ and $L_{2}$, that has implications for spectral properties of $K$. This work complements our explicit characterization of commuting pairs $KL=LK$ and provides an exhaustive list of kernels admitting commuting or sesquicommuting diffe…
▽ More
We introduce and fully analyze a new commutation relation $\overline{K} L_1 = L_2 K$ between finite convolution integral operator $K$ and differential operators $L_1$ and $L_{2}$, that has implications for spectral properties of $K$. This work complements our explicit characterization of commuting pairs $KL=LK$ and provides an exhaustive list of kernels admitting commuting or sesquicommuting differential operators.
△ Less
Submitted 4 June, 2019;
originally announced June 2019.
-
Analytic continuation in an annulus and in a Bernstein ellipse
Authors:
Yury Grabovsky,
Narek Hovsepyan
Abstract:
Analytic continuation problems are notoriously ill-posed without additional regularizing constraints, even though every analytic function has a rigidity property of unique continuation from every curve inside the domain of analyticity. In fact, well known theorems, guarantee that every continuous function can be uniformly approximated by analytic functions (polynomials or rational functions, for e…
▽ More
Analytic continuation problems are notoriously ill-posed without additional regularizing constraints, even though every analytic function has a rigidity property of unique continuation from every curve inside the domain of analyticity. In fact, well known theorems, guarantee that every continuous function can be uniformly approximated by analytic functions (polynomials or rational functions, for example). We consider several analytic continuation problems with typical global boundedness constraints. All such problems exhibit a power law precision deterioration as one moves away from the source of data. In this paper we demonstrate the effectiveness of our general Hilbert space-based approach for determining these exponents. The method identifies the `worst case' function as a solution of a linear equation with a compact operator. In special geometries, such as the circular annulus this equation can be solved explicitly. The obtained solution is then used to determine the power law exponent for the analytic continuation from an interval between the foci of a Bernstein ellipse to the entire ellipse. In those cases where such exponents have been determined in prior work our results reproduce them faithfully.
△ Less
Submitted 12 August, 2019; v1 submitted 17 December, 2018;
originally announced December 2018.
-
Optimal error estimates for analytic continuation in the upper half-plane
Authors:
Yury Grabovsky,
Narek Hovsepyan
Abstract:
Analytic functions in the Hardy class $H^2$ over the upper half-plane $\mathbb{H}_+$ are uniquely determined by their values on any curve $Γ$ lying in the interior or on the boundary of $\mathbb{H}_+$. The goal of this paper is to provide a quantitative version of this statement. Given that $f$ from a unit ball in $H^2$ is small on $Γ$ (say, its $L^2$ norm is of order $ε$), how does this affect th…
▽ More
Analytic functions in the Hardy class $H^2$ over the upper half-plane $\mathbb{H}_+$ are uniquely determined by their values on any curve $Γ$ lying in the interior or on the boundary of $\mathbb{H}_+$. The goal of this paper is to provide a quantitative version of this statement. Given that $f$ from a unit ball in $H^2$ is small on $Γ$ (say, its $L^2$ norm is of order $ε$), how does this affect the magnitude of $f$ at a point $z$ away from the curve? When $Γ\subset \partial \mathbb{H}_+$, we give a sharp upper bound on $|f(z)|$ of the form $ε^γ$, with an explicit exponent $γ=γ(z) \in (0,1)$ and describe the maximizer function attaining the upper bound. When $Γ\subset \mathbb{H}_+$ we give an implicit sharp upper bound in terms of a solution of an integral equation on $Γ$. We conjecture and give evidence that this bound also behaves like $ε^γ$ for some $γ=γ(z) \in (0,1)$. These results can also be transplanted to other domains conformally equivalent to the upper half-plane.
△ Less
Submitted 20 April, 2020; v1 submitted 13 December, 2018;
originally announced December 2018.
-
On the commutation properties of finite convolution and differential operators I: commutation
Authors:
Yury Grabovsky,
Narek Hovsepyan
Abstract:
The commutation relation $KL = LK$ between finite convolution integral operator $K$ and differential operator $L$ has implications for spectral properties of $K$. We characterize all operators $K$ admitting this commutation relation. Our analysis places no symmetry constraints on the kernel of $K$ extending the well-known results of Morrison for real self-adjoint finite convolution integral operat…
▽ More
The commutation relation $KL = LK$ between finite convolution integral operator $K$ and differential operator $L$ has implications for spectral properties of $K$. We characterize all operators $K$ admitting this commutation relation. Our analysis places no symmetry constraints on the kernel of $K$ extending the well-known results of Morrison for real self-adjoint finite convolution integral operators.
△ Less
Submitted 4 June, 2019; v1 submitted 24 July, 2018;
originally announced July 2018.
-
Korn inequalities for shells with zero Gaussian curvature
Authors:
Yury Grabovsky,
Davit Harutyunyan
Abstract:
We consider shells with zero Gaussian curvature, namely shells with one principal curvature zero and the other one having a constant sign. Our particular interests are shells that are diffeomorphic to a circular cylindrical shell with zero principal longitudinal curvature and positive circumferential curvature, including, for example, cylindrical and conical shells with arbitrary convex cross sect…
▽ More
We consider shells with zero Gaussian curvature, namely shells with one principal curvature zero and the other one having a constant sign. Our particular interests are shells that are diffeomorphic to a circular cylindrical shell with zero principal longitudinal curvature and positive circumferential curvature, including, for example, cylindrical and conical shells with arbitrary convex cross sections. We prove that the best constant in the first Korn inequality scales like thickness to the power 3/2 for a wide range of boundary conditions at the thin edges of the shell. Our methodology is to prove, for each of the three mutually orthogonal two-dimensional cross-sections of the shell, a "first-and-a-half Korn inequality" - a hybrid between the classical first and second Korn inequalities. These three two-dimensional inequalities assemble into a three-dimensional one, which, in turn, implies the asymptotically sharp first Korn inequality for the shell. This work is a part of mathematically rigorous analysis of extreme sensitivity of the buckling load of axially compressed cylindrical shells to shape imperfections.
△ Less
Submitted 10 February, 2016;
originally announced February 2016.
-
Rigorous derivation of the formula for the buckling load in axially compressed circular cylindrical shells
Authors:
Yury Grabovsky,
Davit Harutyunyan
Abstract:
The goal of this paper is to apply the recently developed theory of buckling of arbitrary slender bodies to a tractable yet non-trivial example of buckling in axially compressed circular cylindrical shells, regarded as three-dimensional hyperelastic bodies. The theory is based on a mathematically rigorous asymptotic analysis of the second variation of 3D, fully nonlinear elastic energy, as the she…
▽ More
The goal of this paper is to apply the recently developed theory of buckling of arbitrary slender bodies to a tractable yet non-trivial example of buckling in axially compressed circular cylindrical shells, regarded as three-dimensional hyperelastic bodies. The theory is based on a mathematically rigorous asymptotic analysis of the second variation of 3D, fully nonlinear elastic energy, as the shell's slenderness parameter goes to zero. Our main results are a rigorous proof of the classical formula for buckling load and the explicit expressions for the relative amplitudes of displacement components in single Fourier harmonics buckling modes, whose wave numbers are described by Koiter's circle. This work is also a part of an effort to quantify the sensitivity of the buckling load of axially compressed cylindrical shells to imperfections of load and shape.
△ Less
Submitted 4 May, 2014;
originally announced May 2014.
-
Scaling instability of the buckling load in axially compressed circular cylindrical shells
Authors:
Yury Grabovsky,
Davit Harutyunyan
Abstract:
In this paper we initiate a program of rigorous analytical investigation of the paradoxical buckling behavior of circular cylindrical shells under axial compression. This is done by the development and systematic application of general theory of "near-flip" buckling of 3D slender bodies to cylindrical shells. The theory predicts scaling instability of the buckling load due to imperfections of load…
▽ More
In this paper we initiate a program of rigorous analytical investigation of the paradoxical buckling behavior of circular cylindrical shells under axial compression. This is done by the development and systematic application of general theory of "near-flip" buckling of 3D slender bodies to cylindrical shells. The theory predicts scaling instability of the buckling load due to imperfections of load. It also suggests a more dramatic scaling instability caused by shape imperfections. The experimentally determined scaling exponent 1.5 of the critical stress as a function of shell thickness appears in our analysis as the scaling of the lower bound on safe loads given by the Korn constant. While the results of this paper fall short of a definitive explanation of the buckling behavior of cylindrical shells, we believe that our approach is capable of providing reliable estimates of the buckling loads of axially compressed cylindrical shells.
△ Less
Submitted 2 March, 2014;
originally announced March 2014.
-
Exact scaling exponents in Korn and Korn-type inequalities for cylindrical shells
Authors:
Yury Grabovsky,
Davit Harutyunyan
Abstract:
Understanding asymptotics of gradient components in relation to the symmetrized gradient is im- portant for the analysis of buckling of slender structures. For circular cylindrical shells we obtain the exact scaling exponent of the Korn constant as a function of shell's thickness. Equally sharp results are obtained for individual components of the gradient in cylindrical coordinates. We also deriv…
▽ More
Understanding asymptotics of gradient components in relation to the symmetrized gradient is im- portant for the analysis of buckling of slender structures. For circular cylindrical shells we obtain the exact scaling exponent of the Korn constant as a function of shell's thickness. Equally sharp results are obtained for individual components of the gradient in cylindrical coordinates. We also derive an ana- logue of the Kirchho? ansatz, whose most prominent feature is its singular dependence on the slenderness parameter, in marked contrast with the classical case of plates and rods.
△ Less
Submitted 13 December, 2013;
originally announced December 2013.
-
Normality condition in elasticity
Authors:
Yury Grabovsky,
Lev Truskinovsky
Abstract:
Strong local minimizers with surfaces of gradient discontinuity appear in variational problems when the energy density function is not rank-one convex. In this paper we show that stability of such surfaces is related to stability outside the surface via a single jump relation that can be regarded as interchange stability condition. Although this relation appears in the setting of equilibrium elast…
▽ More
Strong local minimizers with surfaces of gradient discontinuity appear in variational problems when the energy density function is not rank-one convex. In this paper we show that stability of such surfaces is related to stability outside the surface via a single jump relation that can be regarded as interchange stability condition. Although this relation appears in the setting of equilibrium elasticity theory, it is remarkably similar to the well known normality condition which plays a central role in the classical plasticity theory.
△ Less
Submitted 18 September, 2013;
originally announced September 2013.
-
Rigorous asymptotic analysis of buckling of thin-walled cylinders under axial compression
Authors:
Yury Grabovsky,
Davit Harutyunyan
Abstract:
Using rigorous constitutive linearization of second variation introduced in [6] we study weak stability of homogeneous deformation of the axially compressed circular cylindrical shell, regarded as a 3-dimensional hyperelastic body. We show that such deformation becomes weakly unstable at the citical load that coincides with value of the bifurcation load in von-Kármán-Donnel shell theory. We also s…
▽ More
Using rigorous constitutive linearization of second variation introduced in [6] we study weak stability of homogeneous deformation of the axially compressed circular cylindrical shell, regarded as a 3-dimensional hyperelastic body. We show that such deformation becomes weakly unstable at the citical load that coincides with value of the bifurcation load in von-Kármán-Donnel shell theory. We also show that the linear bifurcation modes described by the Koiter circle [11] minimize the second variation asymptotically. The key ingredients of our analysis are the asymptoticaly sharp estimates of the Korn constant for cylindrical shells and Korn-like inequalities on components of the deformation gradient tensor in cylindrical coordinates. The notion of buckling equivalence introduced in [6] is developed further and becomes central in this work. A link between features of this theory and sensitivity of the critical load to imprefections of load and shape is conjectured.
△ Less
Submitted 25 January, 2013;
originally announced January 2013.
-
Lamination exact relations and their stability under homogenization
Authors:
Yury Grabovsky
Abstract:
Relations between components of the effective tensors of composites that hold regardless of composite's microstructure are called exact relations. Relations between components of the effective tensors of all laminates are called lamination exact relations. The question of existence of sets of effective tensors of composites that are stable under lamination, but not homogenization was settled by Mi…
▽ More
Relations between components of the effective tensors of composites that hold regardless of composite's microstructure are called exact relations. Relations between components of the effective tensors of all laminates are called lamination exact relations. The question of existence of sets of effective tensors of composites that are stable under lamination, but not homogenization was settled by Milton with an example in 3D elasticity. In this paper we discuss an analogous question for exact relations, where in a wide variety of physical contexts it is known (a posteriori) that all lamination exact relations are stable under homogenization. In this paper we consider 2D polycrystalline multi-field response materials and give an example of an exact relation that is stable under lamination, but not homogenization. We also shed some light on the surprising absence of such examples in most other physical contexts (including 3D polycrystalline multi-field response materials). The methods of our analysis are algebraic and lead to an explicit description (up to orthogonal conjugation equivalence) of all representations of formally real Jordan algebras as symmetric $n\times n$ matrices. For each representation we examine the validity of the 4-chain relation|a 4th degree polynomial identity, playing an important role in the theory of special Jordan algebras.
△ Less
Submitted 18 September, 2013; v1 submitted 1 October, 2012;
originally announced October 2012.
-
Direct approach to the problem of strong local minima in Calculus of Variations
Authors:
Yury Grabovsky,
Tadele Mengesha
Abstract:
The paper introduces a general strategy for identifying strong local minimizers of variational functionals. It is based on the idea that any variation of the integral functional can be evaluated directly in terms of the appropriate parameterized measures. We demonstrate our approach on a problem of W^{1,infinity} weak-* local minima--a slight weakening of the classical notion of strong local min…
▽ More
The paper introduces a general strategy for identifying strong local minimizers of variational functionals. It is based on the idea that any variation of the integral functional can be evaluated directly in terms of the appropriate parameterized measures. We demonstrate our approach on a problem of W^{1,infinity} weak-* local minima--a slight weakening of the classical notion of strong local minima. We obtain the first quasiconvexity-based set of sufficient conditions for W^{1,infinity} weak-* local minima.
△ Less
Submitted 29 September, 2005;
originally announced September 2005.
-
Differentiability of functions of matrices
Authors:
Yury Grabovsky,
Omar Hijab,
Igor Rivin
Abstract:
Given a function on diagonal matrices, there is a unique way to extend this to an invariant (by conjugation) function on symmetric matrices. We show that the extension preserves regularity -- that is, if the original function is k times differentiable so is the extension (likewise for analyticity and the class k+alpha).
Given a function on diagonal matrices, there is a unique way to extend this to an invariant (by conjugation) function on symmetric matrices. We show that the extension preserves regularity -- that is, if the original function is k times differentiable so is the extension (likewise for analyticity and the class k+alpha).
△ Less
Submitted 6 October, 2003;
originally announced October 2003.
