Showing 1–44 of 44 results for author: Katsnelson, V

Spherically symmetric terrestrial planets with discontinuities are spectrally rigid

Authors: Joonas Ilmavirta, Maarten V. de Hoop, Vitaly Katsnelson

Abstract: We establish spectral rigidity for spherically symmetric manifolds with boundary and interior interfaces determined by discontinuities in the metric under certain conditions. Rather than a single metric, we allow two distinct metrics in between the interfaces enabling the consideration of two wave types, like P- and S-polarized waves in isotropic elastic solids. Terrestrial planets in our solar sy… ▽ More We establish spectral rigidity for spherically symmetric manifolds with boundary and interior interfaces determined by discontinuities in the metric under certain conditions. Rather than a single metric, we allow two distinct metrics in between the interfaces enabling the consideration of two wave types, like P- and S-polarized waves in isotropic elastic solids. Terrestrial planets in our solar system are approximately spherically symmetric and support toroidal and spheroidal modes. Discontinuities typically correspond with phase transitions in their interiors. Our rigidity result applies to such planets as we ensure that our conditions are satisfied in generally accepted models in the presence of a fluid outer core. The proof is based on a novel trace formula. We also prove that the length spectrum of the Euclidean ball is simple. △ Less

Submitted 7 December, 2023; v1 submitted 27 February, 2023; originally announced February 2023.

Comments: 2 figures

MSC Class: 53C24; 58J50; 86A22

Recovery of piecewise smooth density and Lamé parameters from high-frequency exterior Cauchy data

Authors: Sombuddha Bhattacharyya, Maarten V. de Hoop, Vitaly Katsnelson, Gunther Uhlmann

Abstract: We consider an isotropic elastic medium occupying a bounded domain D whose density and Lamé parameters are piecewise smooth. In the elastic wave initial value inverse problem, we are given the solution operator for the elastic wave equation, but only outside the domain D and only for initial data supported outside D, and we study the recovery of the density and Lamé parameters. For known density,… ▽ More We consider an isotropic elastic medium occupying a bounded domain D whose density and Lamé parameters are piecewise smooth. In the elastic wave initial value inverse problem, we are given the solution operator for the elastic wave equation, but only outside the domain D and only for initial data supported outside D, and we study the recovery of the density and Lamé parameters. For known density, results have recently been obtained using the scattering control method to recover wave speeds. Here, we extend this result to include the recovery of the density in addition to the Lamé parameters under certain geometric conditions using techniques from microlocal analysis and a connection to local tensor tomography. △ Less

Submitted 16 March, 2022; originally announced March 2022.

Comments: 25 pages

MSC Class: 35S30; 35L51

Recovery of wave speeds and density of mass across a heterogeneous smooth interface from acoustic and elastic wave reflection operators

Authors: Sombuddha Bhattacharyya, Maarten V. de Hoop, Vitaly Katsnelson, Gunther Uhlmann

Abstract: We revisit the problem of recovering wave speeds and density across a curved interface from reflected wave amplitudes. Such amplitudes have been exploited for decades in (exploration) seismology in this context. However, the analysis in seismology has been based on linearization and mostly flat interfaces. Here, we present a nonlinear analysis allowing curved interfaces, establish uniqueness and p… ▽ More We revisit the problem of recovering wave speeds and density across a curved interface from reflected wave amplitudes. Such amplitudes have been exploited for decades in (exploration) seismology in this context. However, the analysis in seismology has been based on linearization and mostly flat interfaces. Here, we present a nonlinear analysis allowing curved interfaces, establish uniqueness and provide a reconstruction, while making the notion of amplitude precise through a procedure rooted in microlocal analysis. △ Less

Submitted 7 January, 2022; originally announced January 2022.

Comments: submitted for journal publication 10/21/2021; 42 pages

Recovery of discontinuous Lamé parameters from local dynamic boundary data

Authors: Peter Caday, Maarten V. de Hoop, Vitaly Katsnelson, Gunther Uhlmann

Abstract: Consider an isotropic elastic medium $Ω\subset \mathbb{R}^3$ whose Lamé parameters are piecewise smooth. In the elastic wave initial value inverse problem, we are given the solution operator for the elastic wave equation, but only outside $Ω$ and only for initial data supported outside $Ω$. Using the recently introduced scattering control series in the acoustic case, we prove that piecewise smooth… ▽ More Consider an isotropic elastic medium $Ω\subset \mathbb{R}^3$ whose Lamé parameters are piecewise smooth. In the elastic wave initial value inverse problem, we are given the solution operator for the elastic wave equation, but only outside $Ω$ and only for initial data supported outside $Ω$. Using the recently introduced scattering control series in the acoustic case, we prove that piecewise smooth Lamé parameters are uniquely determined by this map under certain geometric conditions. We also show the extent that multiple scattering in the interior may be suppressed and eliminated with access to only this partial solution map, which is akin to the dynamic Dirichlet-to-Neumann map. △ Less

Submitted 13 March, 2019; originally announced March 2019.

Comments: 34 pages, 3 figures

Reconstruction of piecewise smooth wave speeds using multiple scattering

Authors: Peter Caday, Maarten V. de Hoop, Vitaly Katsnelson, Gunther Uhlmann

Abstract: Let $c$ be a piecewise smooth wave speed on $\mathbb R^n$, unknown inside a domain $Ω$. We are given the solution operator for the scalar wave equation $(\partial_t^2-c^2Δ)u=0$, but only outside $Ω$ and only for initial data supported outside $Ω$. Using our recently developed scattering control method, we prove that piecewise smooth wave speeds are uniquely determined by this map, and provide a re… ▽ More Let $c$ be a piecewise smooth wave speed on $\mathbb R^n$, unknown inside a domain $Ω$. We are given the solution operator for the scalar wave equation $(\partial_t^2-c^2Δ)u=0$, but only outside $Ω$ and only for initial data supported outside $Ω$. Using our recently developed scattering control method, we prove that piecewise smooth wave speeds are uniquely determined by this map, and provide a reconstruction formula. In other words, the wave imaging problem is solvable in the piecewise smooth setting under mild conditions. We also illustrate a separate method, likewise constructive, for recovering the locations of interfaces in broken geodesic normal coordinates using scattering control. △ Less

Submitted 9 January, 2018; originally announced January 2018.

Comments: 18 pages, 3 figures

MSC Class: 35R30; 93C20

A functional model for the Fourier--Plancherel operator truncated on the positive half-axis

Authors: Victor Katsnelson

Abstract: The truncated Fourier operator $\mathscr{F}_{\mathbb{R^{+}}}$, $$ (\mathscr{F}_{\mathbb{R^{+}}}x)(t)=\frac{1}{\sqrt{2π}} \int\limits_{\mathbb{R^{+}}}x(ξ)e^{itξ}\,dξ\,,\ \ \ t\in{}{\mathbb{R^{+}}}, $$ is studied. The operator $\mathscr{F}_{\mathbb{R^{+}}}$ is considered as an operator acting in the space $L^2(\mathbb{R^{+}})$. The functional model for the operator $\mathscr{F}_{\mathbb{R^{+}}}$ is… ▽ More The truncated Fourier operator $\mathscr{F}_{\mathbb{R^{+}}}$, $$ (\mathscr{F}_{\mathbb{R^{+}}}x)(t)=\frac{1}{\sqrt{2π}} \int\limits_{\mathbb{R^{+}}}x(ξ)e^{itξ}\,dξ\,,\ \ \ t\in{}{\mathbb{R^{+}}}, $$ is studied. The operator $\mathscr{F}_{\mathbb{R^{+}}}$ is considered as an operator acting in the space $L^2(\mathbb{R^{+}})$. The functional model for the operator $\mathscr{F}_{\mathbb{R^{+}}}$ is constructed. This functional model is the multiplication operator on the appropriate $2\times2$ matrix function acting in the space $L^2(\mathbb{R^{+}})\oplus{}L^2(\mathbb{R^{+}})$. Using this functional model, the spectrum of the operator $\mathscr{F}_{\mathbb{R^{+}}}$ is found. The resolvent of the operator $\mathscr{F}_{\mathbb{R^{+}}}$ is estimated near its spectrum. △ Less

Submitted 17 July, 2018; v1 submitted 30 October, 2017; originally announced October 2017.

Comments: 17 pages. arXiv admin note: text overlap with arXiv:1208.3817

MSC Class: 35S30; 47A45

Time reversal method for thermoacoustic acoustic tomography in elastic media: convergence with sharp observation time

Authors: Vitaly Katsnelson, Linh V. Nguyen

Abstract: In this article, we consider the inverse source problem arising in photoacoustic tomography in elastic media. We show that the time reversal method, proposed by Tittelfitz [Inverse Problems 28.5 (2012): 055004], converges with the sharp observation time without any constraint on the speeds of the longitudinal and shear waves. In this article, we consider the inverse source problem arising in photoacoustic tomography in elastic media. We show that the time reversal method, proposed by Tittelfitz [Inverse Problems 28.5 (2012): 055004], converges with the sharp observation time without any constraint on the speeds of the longitudinal and shear waves. △ Less

Submitted 18 July, 2017; originally announced July 2017.

Comments: 7 pages, 3 figures

MSC Class: 35R30; 35L05; 35L10

Spectral rigidity for spherically symmetric manifolds with boundary

Authors: Maarten V. de Hoop, Joonas Ilmavirta, Vitaly Katsnelson

Abstract: We prove a trace formula for three-dimensional spherically symmetric Riemannian manifolds with boundary which satisfy the Herglotz condition: The wave trace is singular precisely at the length spectrum of periodic broken rays. In particular, the Neumann spectrum of the Laplace--Beltrami operator uniquely determines the length spectrum. The trace formula also applies for the toroidal modes of the f… ▽ More We prove a trace formula for three-dimensional spherically symmetric Riemannian manifolds with boundary which satisfy the Herglotz condition: The wave trace is singular precisely at the length spectrum of periodic broken rays. In particular, the Neumann spectrum of the Laplace--Beltrami operator uniquely determines the length spectrum. The trace formula also applies for the toroidal modes of the free oscillations in the earth. We then prove that the length spectrum is rigid: Deformations preserving the length spectrum and spherical symmetry are necessarily trivial in any dimension, provided the Herglotz condition and a generic geometrical condition are satisfied. Combining the two results shows that the Neumann spectrum of the Laplace--Beltrami operator is rigid in this class of manifolds with boundary. △ Less

Submitted 29 May, 2017; originally announced May 2017.

Comments: 39 pages, 1 figure

MSC Class: 53C24; 58J50; 86A22

The Integral Transform of N.I.Akhiezer

Authors: Victor Katsnelson

Abstract: We study the integral transform which appeared in a different form in Akhiezer's textbook "Lectures on Integral Transforms". We study the integral transform which appeared in a different form in Akhiezer's textbook "Lectures on Integral Transforms". △ Less

Submitted 20 May, 2017; originally announced May 2017.

Comments: 17 pages

MSC Class: 44A15; 44A35

Scattering Control for the Wave Equation with Unknown Wave Speed

Authors: Peter Caday, Maarten V. de Hoop, Vitaly Katsnelson, Gunther Uhlmann

Abstract: Consider the acoustic wave equation with unknown, not necessarily smooth, wave speed $c$. We propose and study an iterative control procedure that erases the history of a wave field up to a given depth in a medium, without any knowledge of $c$. In the context of seismic or ultrasound imaging, this can be viewed as removing multiple reflections from normal-directed wavefronts. Consider the acoustic wave equation with unknown, not necessarily smooth, wave speed $c$. We propose and study an iterative control procedure that erases the history of a wave field up to a given depth in a medium, without any knowledge of $c$. In the context of seismic or ultrasound imaging, this can be viewed as removing multiple reflections from normal-directed wavefronts. △ Less

Submitted 22 May, 2018; v1 submitted 4 January, 2017; originally announced January 2017.

Comments: 43 pages, 17 figures

MSC Class: 35L05; 35R30

Diffraction of Elastic Waves by Edges

Authors: Vitaly Katsnelson

Abstract: We investigate the diffraction of singularities of solutions to the linear elastic equation on manifolds with edge singularities. Such manifolds are modeled on the product of a smooth manifold and a cone over a compact fiber. For the fundamental solution, the initial pole generates a pressure wave (p-wave), and a secondary, slower shear wave (s wave). If the initial pole is appropriately situated… ▽ More We investigate the diffraction of singularities of solutions to the linear elastic equation on manifolds with edge singularities. Such manifolds are modeled on the product of a smooth manifold and a cone over a compact fiber. For the fundamental solution, the initial pole generates a pressure wave (p-wave), and a secondary, slower shear wave (s wave). If the initial pole is appropriately situated near the edge, we show that when a p-wave strikes the edge, the diffracted p-waves and s-waves (i.e. loosely speaking, do not correspond to limits of p-rays which just miss the edge) are weaker in a Sobolev sense than the incident p-wave. We also show an analogous result for an s-wave that hits the edge, and provide results for more general situations. △ Less

Submitted 21 November, 2016; originally announced November 2016.

Comments: 40 pages, 2 figures. arXiv admin note: text overlap with arXiv:math/0612750 by other authors

The matrix function $e^{tA+B}$ is representable as the Laplace transform of a matrix measure

Authors: Victor Katsnelson

Abstract: Given a pair $A,B$ of matrices of size $n\times n$, we consider the matrix function $e^{At+B}$ of the variable $t\in\mathbb{C}$. If the matrix $A$ is Hermitian, the matrix function $e^{At+B}$ is representable as the bilateral Laplace transform of a matrix-valued measure $M(dλ)$ compactly supported on the real axis: $$e^{At+B}=\int{}e^{λt}\,M(dλ).$$ The values of the measure $M(dλ)$ are matrices… ▽ More Given a pair $A,B$ of matrices of size $n\times n$, we consider the matrix function $e^{At+B}$ of the variable $t\in\mathbb{C}$. If the matrix $A$ is Hermitian, the matrix function $e^{At+B}$ is representable as the bilateral Laplace transform of a matrix-valued measure $M(dλ)$ compactly supported on the real axis: $$e^{At+B}=\int{}e^{λt}\,M(dλ).$$ The values of the measure $M(dλ)$ are matrices of size $n\times n$, the support of this measure is contained in the convex hull of the spectrum of $A$. If the matrix $B$ is also Hermitian, then the values of the measure $M(dλ)$ are Hermitian matrices. The measure M(dλ) is not necessarily non-negative. △ Less

Submitted 4 October, 2016; v1 submitted 13 September, 2016; originally announced September 2016.

Comments: 14 pages

MSC Class: 15A16; 44A10

On a special case of the Herbert Stahl theorem

Authors: Victor Katsnelson

Abstract: The BMV conjecture states that for $n\times n$ Hermitian matrices $A$ and $B$ the function $f_{A,B}(t)=trace{\, } e^{tA+B}$ is exponentially convex. Recently the BMV conjecture was proved by Herbert Stahl. The proof of Herbert Stahl is based on ingenious considerations related to Riemann surfaces of algebraic functions. In the present paper we give a purely "matrix" proof of the BMV conjecture for… ▽ More The BMV conjecture states that for $n\times n$ Hermitian matrices $A$ and $B$ the function $f_{A,B}(t)=trace{\, } e^{tA+B}$ is exponentially convex. Recently the BMV conjecture was proved by Herbert Stahl. The proof of Herbert Stahl is based on ingenious considerations related to Riemann surfaces of algebraic functions. In the present paper we give a purely "matrix" proof of the BMV conjecture for the special case $rank\,A=1$. This proof is based on the Lie product formula for the exponential of the sum of two matrices and does not require complex analysis. △ Less

Submitted 22 June, 2016; originally announced June 2016.

Comments: 7 pages. arXiv admin note: substantial text overlap with arXiv:1505.00084

MSC Class: Primary 15A15; 15A16; Secondary 30F10; 44A10

On the roots of a hyperbolic polynomial pencil

Authors: Victor Katsnelson

Abstract: Let $ν_0(t),ν_1(t),\,\ldots\,,ν_n(t)$ be the roots of the equation $R(z)=t$, where $R(z)$ is a rational function of the form \[R(z)=z+\sum\limits_{k=1}^n\frac{α_k}{z-μ_k},\] $μ_k$ are pairwise different real numbers, $α_k>0,\,1\leq{}k\leq{}n$. Then for each real $ξ$, the function $e^{ξν_0(t)}+e^{ξν_1(t)}+\,\cdots\,+e^{ξν_n(t)}$ is exponentially convex on the interval $-\infty<t<\infty$. Let $ν_0(t),ν_1(t),\,\ldots\,,ν_n(t)$ be the roots of the equation $R(z)=t$, where $R(z)$ is a rational function of the form \[R(z)=z+\sum\limits_{k=1}^n\frac{α_k}{z-μ_k},\] $μ_k$ are pairwise different real numbers, $α_k>0,\,1\leq{}k\leq{}n$. Then for each real $ξ$, the function $e^{ξν_0(t)}+e^{ξν_1(t)}+\,\cdots\,+e^{ξν_n(t)}$ is exponentially convex on the interval $-\infty<t<\infty$. △ Less

Submitted 1 May, 2016; v1 submitted 26 April, 2016; originally announced April 2016.

Comments: 9 pages

MSC Class: 11C99; 26C10; 26C15; 15A22; 42A82

Self-adjoint boundary conditions for the prolate spheroid differential operator

Authors: Victor Katsnelson

Abstract: We consider the formal prolate spheroid differential operator on a finite symmetric interval and describe all its self-adjoint boundary conditions. Only one of these boundary conditions corresponds to a self-adjoint differential operator which commute with the Fourier operator truncated on the considered finite symmetric interval. We consider the formal prolate spheroid differential operator on a finite symmetric interval and describe all its self-adjoint boundary conditions. Only one of these boundary conditions corresponds to a self-adjoint differential operator which commute with the Fourier operator truncated on the considered finite symmetric interval. △ Less

Submitted 24 March, 2016; originally announced March 2016.

Comments: 10 pages

MSC Class: Primary 47E05; 34E05; Secondary 33E10

On measures which generate the scalar product in a space of rational functions

Authors: Victor Katsnelson

Abstract: Let $z_1,z_2,\,\ldots\,,z_n$ be pairwise different points of the unit disc and $\mathscr{L}(z_1,z_2,\,\ldots\,z_n)$ be the linear space generated by the rational fractions $\frac{1}{t-z_1} , \frac{1}{t-z_2} , \cdots\ , \frac{1}{t-z_n}\cdot$ Every non-negative measure $σ$ on the unit circle $\mathbb{T}$ generates the scalar product \[\langle\,f\,,\,g\,\rangle_{\!_{L^2_σ}} =\int\limits_{\mathbb{T}}f… ▽ More Let $z_1,z_2,\,\ldots\,,z_n$ be pairwise different points of the unit disc and $\mathscr{L}(z_1,z_2,\,\ldots\,z_n)$ be the linear space generated by the rational fractions $\frac{1}{t-z_1} , \frac{1}{t-z_2} , \cdots\ , \frac{1}{t-z_n}\cdot$ Every non-negative measure $σ$ on the unit circle $\mathbb{T}$ generates the scalar product \[\langle\,f\,,\,g\,\rangle_{\!_{L^2_σ}} =\int\limits_{\mathbb{T}}f(t)\,\bar{g(t)}\,σ(dt), \quad \forall\,f,g\,\in\,L^2_σ.\] The measures $σ$ are described which satisfy the condition \[\langle\,f\,,\,g\,\rangle_{\!_{L^2_σ}}= \langle\,f\,,\,g\,\rangle_{\!_{L^2_m}},\quad \forall\,f,g\in\mathscr{L}(z_1,z_2,\,\ldots\,z_n),\] where $m$ is the normalized Lebesgue measure on $\mathbb{T}$. △ Less

Submitted 12 February, 2016; v1 submitted 7 February, 2016; originally announced February 2016.

Comments: 9 pager

MSC Class: 46E20

On a family of Laurent polynomials generated by 2x2 matrices

Authors: Victor Katsnelson

Abstract: To a $2\times2$ matrix $G$ with complex entries, we relate the sequence of Laurent polynomial $L_n(z,G)=\tr \big(G\big[\begin{smallmatrix}z&0\\ 0&z^{-1}\end{smallmatrix}\big]G^{\ast}\big)^n$. It turns out that for each \(n\), the family $\big\{L_n(z,G)\big\}_G$, where $G$ runs over the set of all $2\times2$ matrices, is a three-parametric family. A natural parametrization of this family is found.… ▽ More To a $2\times2$ matrix $G$ with complex entries, we relate the sequence of Laurent polynomial $L_n(z,G)=\tr \big(G\big[\begin{smallmatrix}z&0\\ 0&z^{-1}\end{smallmatrix}\big]G^{\ast}\big)^n$. It turns out that for each \(n\), the family $\big\{L_n(z,G)\big\}_G$, where $G$ runs over the set of all $2\times2$ matrices, is a three-parametric family. A natural parametrization of this family is found. The polynomial $L_n(z,G)$ is expressed in terms of these parameters and the Chebyshev polynomial $T_n$. The zero set of the polynomial $L_n(z,G)$ is described. △ Less

Submitted 14 May, 2016; v1 submitted 22 July, 2015; originally announced July 2015.

Comments: 15 pages

MSC Class: 11C08; 11C20; 26C10; 33C47

On the BMV conjecture for 2\times2 matrices and the exponential convexity of the function \cosh(\sqrt{at^2+b})

Authors: Victor Katsnelson

Abstract: The BMV conjecture states that for \(n\times n\) Hermitian matrices \(A\) and \(B\) the function \(f_{A,B}(t)=\tr e^{tA+B}\) is exponentially convex. Recently the BMV conjecture was proved by Herbert Stahl. The proof of Herbert Stahl is based on ingenious considerations related to Riemann surfaces of algebraic functions. In the present paper we give a purely "matrix" proof of the BMV conjecture fo… ▽ More The BMV conjecture states that for \(n\times n\) Hermitian matrices \(A\) and \(B\) the function \(f_{A,B}(t)=\tr e^{tA+B}\) is exponentially convex. Recently the BMV conjecture was proved by Herbert Stahl. The proof of Herbert Stahl is based on ingenious considerations related to Riemann surfaces of algebraic functions. In the present paper we give a purely "matrix" proof of the BMV conjecture for \(2\times2\) matrices. This proof is based on the Lie product formula for the exponential of the sum of two matrices. The proof also uses the commutation relations for the Pauli matrices and does not use anything else. △ Less

Submitted 1 November, 2015; v1 submitted 1 May, 2015; originally announced May 2015.

Comments: 13 pages

MSC Class: Primary 15A15; 15A16; Secondary 30F10; 44A10

The function $(\cosh\sqrt{at^2+b})$ is exponentially convex

Authors: Victor Katsnelson

Abstract: Given positive numbers $a$ and $b$, the function $\sqrt{at^2+b}$ is exponentially convex function of $t$ on the whole real axis. Three proofs of this result are presented. Given positive numbers $a$ and $b$, the function $\sqrt{at^2+b}$ is exponentially convex function of $t$ on the whole real axis. Three proofs of this result are presented. △ Less

Submitted 20 May, 2016; v1 submitted 14 February, 2015; originally announced February 2015.

Comments: 20 pages

MSC Class: 42A38; 42A82; 42A85

A positivity property of a Quantum Anharmonic Oscillator suggested by the BMV conjecture

Authors: Victor Katsnelson

Abstract: In this work an observation concerning a positivity property of the quantum anharmonic oscillator is made. This positivity property is suggested by the BMV conjecture. In this work an observation concerning a positivity property of the quantum anharmonic oscillator is made. This positivity property is suggested by the BMV conjecture. △ Less

Submitted 21 October, 2014; v1 submitted 18 October, 2014; originally announced October 2014.

Comments: 12 pages

MSC Class: Primary 15A15; 15A16; Secondary 30F10; 44A10

On the completeness of Gaussians in a Hilbert functional space

Authors: Victor Katsnelson

Abstract: The completeness of Gaussians in a Hilbert functional space is established The completeness of Gaussians in a Hilbert functional space is established △ Less

Submitted 19 June, 2014; originally announced June 2014.

Comments: 23 pages

MSC Class: 46E20; 46E35; 41A28; 42V10

On summation of the Taylor series of the function 1/(1-z) by the theta summation method

Authors: V. Katsnelson

Abstract: The family of the Taylor series f_ε(z)= \sum\limits_{0\leq{}n<\infty}e^{-εn^2}z^n is considered, where the parameter ε, which enumerates the family, runs over ]0,\infty[. The limiting behavior of this family is studied as ε\to+0. The family of the Taylor series f_ε(z)= \sum\limits_{0\leq{}n<\infty}e^{-εn^2}z^n is considered, where the parameter ε, which enumerates the family, runs over ]0,\infty[. The limiting behavior of this family is studied as ε\to+0. △ Less

Submitted 10 November, 2014; v1 submitted 19 February, 2014; originally announced February 2014.

Comments: 19 pages, 3 figures

MSC Class: 30B40

The spectral theory of the Fourier operator truncated on the positive half-axis

Authors: Victor Katsnelson

Abstract: The spectral analysis of the operator Fourier truncated on the positive half-axis is done. The spectral analysis of the operator Fourier truncated on the positive half-axis is done. △ Less

Submitted 19 August, 2012; originally announced August 2012.

Comments: 88 pages. arXiv admin note: substantial text overlap with arXiv:0905.3996

MSC Class: 35S30; 43A90

Eigenfunctions of the Cosine and Sine Transforms

Authors: Victor Katsnelson

Abstract: A description of eigensubspaces of the cosine and sine operators is presented. The spectrum of each of these two operator consists of two eigenvalues (1,\,-1) and their eigensubspaces are infinite--dimensional. There are many possible bases for these subspaces, but most popular are bases constructed from the Hermite functions. We present other "bases" which are not discrete orthogonal sequences… ▽ More A description of eigensubspaces of the cosine and sine operators is presented. The spectrum of each of these two operator consists of two eigenvalues (1,\,-1) and their eigensubspaces are infinite--dimensional. There are many possible bases for these subspaces, but most popular are bases constructed from the Hermite functions. We present other "bases" which are not discrete orthogonal sequences of vectors, but continuous orthogonal chains of vectors. Our work can be considered a continuation and further development of results in \textit{Self-reciprocal functions} by Hardy and Titchmarsh: Quarterly Journ. of Math. (Oxford Ser.) \textbf{1} (1930). △ Less

Submitted 22 December, 2012; v1 submitted 12 March, 2012; originally announced March 2012.

Comments: 22 pages

MSC Class: Primary 47A38; Secondary 47B35; 47B06; 47A10

Stieltjes Functions and Hurwitz Stable Entire Functions

Authors: Victor Katsnelson

Abstract: The concept of stability, originally introduced for polynomials, will be extended to apply to the class of entire functions. This generalization will be called Hurwitz stablility and the class of Hurwitz stable functions will serve as the main focus of this paper. A first theorem will show how, given a function of either of the Stieltjes classes, a Hurwitz stable function might be constructed. A s… ▽ More The concept of stability, originally introduced for polynomials, will be extended to apply to the class of entire functions. This generalization will be called Hurwitz stablility and the class of Hurwitz stable functions will serve as the main focus of this paper. A first theorem will show how, given a function of either of the Stieltjes classes, a Hurwitz stable function might be constructed. A second approach to constructing Hurwitz stable functions, based on using additional functions from the Laguerre-Pólya class, will be presented in a second theorem. △ Less

Submitted 1 March, 2011; originally announced March 2011.

Comments: 19 pages

MSC Class: Primary 30D15; 30C15; 43A80; Secondary 70E50

The truncated Fourier operator. VI

Authors: Victor Katsnelson, Ronni Machluf

Abstract: The spectral analysis of the Fourier operator truncated on the positive half-axis is done The spectral analysis of the Fourier operator truncated on the positive half-axis is done △ Less

Submitted 23 August, 2012; v1 submitted 25 May, 2009; originally announced May 2009.

Comments: Comment. This paper has been withdrawn by the author because the presentation was not perfect

MSC Class: 35S30; 43A90

Sign patterns for chemical reaction networks

Authors: J. William Helton, Igor Klep, Vitaly Katsnelson

Abstract: Most differential equations found in chemical reaction networks (CRNs) have the form $dx/dt=f(x)= Sv(x)$, where $x$ lies in the nonnegative orthant, where $S$ is a real matrix (the stoichiometric matrix) and $v$ is a column vector consisting of real-valued functions having a special relationship to $S$. Our main interest will be in the Jacobian matrix, $f'(x)$, of $f(x)$, in particular in whethe… ▽ More Most differential equations found in chemical reaction networks (CRNs) have the form $dx/dt=f(x)= Sv(x)$, where $x$ lies in the nonnegative orthant, where $S$ is a real matrix (the stoichiometric matrix) and $v$ is a column vector consisting of real-valued functions having a special relationship to $S$. Our main interest will be in the Jacobian matrix, $f'(x)$, of $f(x)$, in particular in whether or not each entry $f'(x)_{ij}$ has the same sign for all $x$ in the orthant, i.e., the Jacobian respects a sign pattern. In other words species $x_j$ always acts on species $x_i$ in an inhibitory way or its action is always excitatory. In Helton, Klep, Gomez we gave necessary and sufficient conditions on the species-reaction graph naturally associated to $S$ which guarantee that the Jacobian of the associated CRN has a sign pattern. In this paper, given $S$ we give a construction which adds certain rows and columns to $S$, thereby producing a stoichiometric matrix $\widehat S$ corresponding to a new CRN with some added species and reactions. The Jacobian for this CRN based on $\hat S$ has a sign pattern. The equilibria for the $S$ and the $\hat S$ based CRN are in exact one to one correspondence with each equilibrium $e$ for the original CRN gotten from an equilibrium $\hat e$ for the new CRN by removing its added species. In our construction of a new CRN we are allowed to choose rate constants for the added reactions and if we choose them large enough the equilibrium $\hat e$ is locally asymptotically stable if and only if the equilibrium $e$ is locally asymptotically stable. Further properties of the construction are shown, such as those pertaining to conserved quantities and to how the deficiencies of the two CRNs compare. △ Less

Submitted 20 April, 2009; originally announced April 2009.

Comments: 23 pages

MSC Class: 80A30; 15A48; 37N25

Journal ref: J. Math. Chem. 47 (2010), no. 1, 403-429

The Truncated Fourier Operator. V

Authors: Victor Katsnelson, Ronny Machluf

Abstract: The Fourier operator truncated on a finite symmetric interval is considered. The limiting behavior of its spectrum is discussed as the length of the interval tends to infinity. The Fourier operator truncated on a finite symmetric interval is considered. The limiting behavior of its spectrum is discussed as the length of the interval tends to infinity. △ Less

Submitted 16 April, 2009; originally announced April 2009.

Comments: 16 pages

MSC Class: 35S30; 43A90

The truncated Fourier Operator. IV

Authors: V. Katsnelson, R. Machluf

Abstract: We consider the formal prolate spheroid differential operator on a finite symmetric interval and describe all its self-adjoint boundary conditions. Only one of these boundary conditions corresponds to a self-operator differential operator which commutes with the Fourier operator truncated on the considered finite symmetric interval. We consider the formal prolate spheroid differential operator on a finite symmetric interval and describe all its self-adjoint boundary conditions. Only one of these boundary conditions corresponds to a self-operator differential operator which commutes with the Fourier operator truncated on the considered finite symmetric interval. △ Less

Submitted 21 March, 2009; originally announced March 2009.

Comments: 34 pages

MSC Class: 47E05; 34E05; 33E10

The truncated Fourier operator. III

Authors: Victor Katsnelson, Ronny Machluf

Abstract: The spectral theory of the Fourier operator (non-truncated) is expounded. The known construction of basis of eigenvectors consisting of the Hermite functions is presented. The detail description of the eigenspaces in the spirit of a work by Hardy and Titchmarsh is done. The spectral theory of the Fourier operator (non-truncated) is expounded. The known construction of basis of eigenvectors consisting of the Hermite functions is presented. The detail description of the eigenspaces in the spirit of a work by Hardy and Titchmarsh is done. △ Less

Submitted 4 February, 2009; v1 submitted 3 February, 2009; originally announced February 2009.

Comments: 26 pages

MSC Class: 47A38 (Primary) 47B35; 47B06 (Secondary)

The truncated Fourier operator. II

Authors: Victor Katsnelson, Ronny Machluf

Abstract: For (E) being one of the three sets: the whole real axis, a finite symmetric interval and the positive semiaxis, we discuss the simplest differential operators of the second order which commute with the truncated Fourier operator (\mathscr{F}_E). For (E) being one of the three sets: the whole real axis, a finite symmetric interval and the positive semiaxis, we discuss the simplest differential operators of the second order which commute with the truncated Fourier operator (\mathscr{F}_E). △ Less

Submitted 18 January, 2009; originally announced January 2009.

Comments: 19 pages

MSC Class: 47A38; 47B35; 47B06; 47A10

The truncated Fourier operator. I

Authors: Victor Katsnelson, Ronny Machluf

Abstract: Let (\mathscr{F}) be the one dimensional Fourier-Plancherel operator and (E) be a subset of the real axis. The truncated Fourier operator is the operator (\mathscr{F}_E) of the form (\mathscr{F}_E=P_E\mathscr{F}P_E), where ((P_Ex)(t)=χ_E(t)x(t)), and (χ_E(t)) is the indicator function of the set (E). In the presented first part of the work, the basic properties of the operator (\mathscr{F}_E) ac… ▽ More Let (\mathscr{F}) be the one dimensional Fourier-Plancherel operator and (E) be a subset of the real axis. The truncated Fourier operator is the operator (\mathscr{F}_E) of the form (\mathscr{F}_E=P_E\mathscr{F}P_E), where ((P_Ex)(t)=χ_E(t)x(t)), and (χ_E(t)) is the indicator function of the set (E). In the presented first part of the work, the basic properties of the operator (\mathscr{F}_E) according to the set (E) are discussed. Among these properties there are the following one. The operator (\mathscr{F}_E): 1. has a not-trivial null-space; 2. is strictly contractive; 3. is a normal operator; 4. is a Hilbert-Schmidt operator; 5. is a trace class operator. △ Less

Submitted 16 January, 2009; originally announced January 2009.

Comments: 20 pages

MSC Class: 47A38; 47B35; 47B06; 47A10

The Schur Algorithm in Terms of System Realization

Authors: Bernd Fritzsche, Victor Katsnelson, Bernd Kirstein

Abstract: The main goal of this paper is to demonstrate the usefulness of certain ideas from System Theory in the study of problems from complex analysis. With this paper, we also aim to encourage analysts, who might not be familiar with System Theory, colligations or operator models to take a closer look at these topics. For this reason, we present a short introduction to the necessary background. The me… ▽ More The main goal of this paper is to demonstrate the usefulness of certain ideas from System Theory in the study of problems from complex analysis. With this paper, we also aim to encourage analysts, who might not be familiar with System Theory, colligations or operator models to take a closer look at these topics. For this reason, we present a short introduction to the necessary background. The method of system realizations of analytic functions often provides new insights into and interpretations of results relating to the objects under consideration. In this paper we will use a well-studied topic from classical analysis as an example. More precisely, we will look at the classical Schur algorithm from the perspective of System Theory. We will confine our considerations to rational inner functions. This will allow us to avoid questions involving limits and will enable us to concentrate on the algebraic aspects of the problem at hand. Given a non-negative integer (n), we describe all system realizations of a given rational inner function of degree (n) in terms of an appropriately constructed equivalence relation in the set of all unitary ((n + 1) \times (n + 1) )-matrices. The concept of Redheffer coupling of colligations gives us the possibility to choose a particular representative from each equivalence class. The Schur algorithm for a rational inner function is, consequently, described in terms of the state space representation. △ Less

Submitted 8 July, 2008; v1 submitted 30 May, 2008; originally announced May 2008.

Comments: 71 pages, 4 figures

MSC Class: 30D50; 47A48; 47A57

On H.Weyl and J.Steiner polynomials

Authors: Victor Katsnelson

Abstract: The paper deals with root problems for two classes of univariate polynomials both of geometric origin. The first class discussed, the class of Steiner polynomial, consists of polynomials, each associated with a compact convex set V in R^n. A polynomial of this class describes the volume of the set V+tB^n as a function of t, where t is a positive number and B^n denotes the unit ball in R. The s… ▽ More The paper deals with root problems for two classes of univariate polynomials both of geometric origin. The first class discussed, the class of Steiner polynomial, consists of polynomials, each associated with a compact convex set V in R^n. A polynomial of this class describes the volume of the set V+tB^n as a function of t, where t is a positive number and B^n denotes the unit ball in R. The second class, the class of Weyl polynomials, consists of polynomials, each associated with a Riemannian manifold M, where M} is isometrically embedded with positive codimension in R^n. A Weyl polynomial describes the volume of a tubular neighborhood of its associated M as a function of the tube's radius. These polynomials are calculated explicitly in a number of natural examples such as balls, cubes, squeezed cylinders. Furthermore, we examine how the above mentioned polynomials are related to one another and how they depend on the standard embedding of R^n into R^m for m>n. We find that in some cases the real part of any Steiner polynomial root will be negative. In certain other cases, a Steiner polynomial will have only real negative roots. In all of this cases, it can be shown that all of a Weyl polynomial's roots are simple and, furthermore, that they lie on the imaginary axis. At the same time, in certain cases the above pattern does not hold. △ Less

Submitted 16 March, 2008; originally announced March 2008.

Comments: 75 pages

MSC Class: 53C99; 52A39; 30C10

Steiner-Minkowski Polynomials of Convex Sets in High Dimension, and Limit Entire Functions

Authors: Victor Katsnelson

Abstract: For a convex set (K) of the (n)-dimensional Euclidean space, the Steiner-Minkowski polynomial (M_K(t)) is defined as the (n)-dimensional Euclidean volume of the neighborhood of the radius (t). Being defined for positive (t), the Steiner-Minkowski polynomials are considered for all complex (t). The renormalization procedure for Steiner polynomial is proposed. The renormalized Steiner-Minkowski po… ▽ More For a convex set (K) of the (n)-dimensional Euclidean space, the Steiner-Minkowski polynomial (M_K(t)) is defined as the (n)-dimensional Euclidean volume of the neighborhood of the radius (t). Being defined for positive (t), the Steiner-Minkowski polynomials are considered for all complex (t). The renormalization procedure for Steiner polynomial is proposed. The renormalized Steiner-Minkowski polynomials corresponding to all possible solid convex sets in all dimensions form a normal family in the whole complex plane. For each of the four families of convex sets: the Euclidean balls, the cubes, the regular cross-polytopes and the regular symplexes of dimensions (n), the limiting entire functions, as (n) tends to infinity, are calculated explicitly. △ Less

Submitted 1 September, 2007; originally announced September 2007.

Comments: 15 pages

MSC Class: 30-xx (Primary); 51 (Secondary)

On the Theory of Matrix Valued Functions Belonging to the Smirnov Class

Authors: Victor Katsnelson, Bernd Kirstein

Abstract: A theory of matrix-valued functions from the matricial Smirnov class ${\goth N}_n^+({\Bbb D})$ is systematically developed. In particular, the maximum principle of V.I.Smirnov, inner-outer factorization, the Smirnov-Beurling characterization of outer functions and an analogue of Frostman's theorem are presented for matrix-valued functions from the Smirnov class ${\goth N}_n^+({\Bbb D})$. We… ▽ More A theory of matrix-valued functions from the matricial Smirnov class ${\goth N}_n^+({\Bbb D})$ is systematically developed. In particular, the maximum principle of V.I.Smirnov, inner-outer factorization, the Smirnov-Beurling characterization of outer functions and an analogue of Frostman's theorem are presented for matrix-valued functions from the Smirnov class ${\goth N}_n^+({\Bbb D})$. We also consider a family $F_λ =F-λI$ of functions belonging to the matricial Smirnov class which is indexed by a complex parameter $λ$. We show that with the exception of a ''very small'' set of such $λ$ the corresponding inner factor in the inner-outer factorization of the function $F_λ$ is a Blaschke-Potapov product. The main goal of this paper is to provide users of analytic matrix-function theory with a standard source for references related to the matricial Smirnov class. △ Less

Submitted 13 June, 2007; originally announced June 2007.

MSC Class: 30D50; 46E10

Journal ref: Topics in Interpolation Theory. Operator Theory: Advances and Applications, Vol. 95. Birkhauser 1997

An Abstract Interpolation Problem and the Extension Theory of Hermitian Operators

Authors: Victor Katsnelson, Alexander Kheifets, Peter Yuditskii

Abstract: The algebraic structure of V.P. Potapov's Fundamental Matrix Inequality (FMI) is discussed and its interpolation meaning is analyzed. Functional model spaces are involved. A general Abstract Interpolation Problem is formulated which seems to cover all the classical and recent problems in the field and the solution set of this problem is described using the Arov--Grossman formula. The extension t… ▽ More The algebraic structure of V.P. Potapov's Fundamental Matrix Inequality (FMI) is discussed and its interpolation meaning is analyzed. Functional model spaces are involved. A general Abstract Interpolation Problem is formulated which seems to cover all the classical and recent problems in the field and the solution set of this problem is described using the Arov--Grossman formula. The extension theory of isometric operators is the proper language for treating interpolation problems of this type. △ Less

Submitted 13 June, 2007; originally announced June 2007.

MSC Class: 47A57; 47A20; 30D50.

Journal ref: Topics in Interpolation Theory. Operator Theory: advances and Applications, Vol. 95. Birkhauser, 1997

On Transformation of Potapov's Fundamental Matrix Inequality

Authors: Victor Katsnelson

Abstract: According to V.P.Potapov, a classical interpolation problem can be reformulated in terms of a so-called Fundamental Matrix Inequality (FMI). To show that every solution of the FMI satisfies the interpolation problem, we usualy have to transform the FMI in some special way. In this paper the number of of transformations of the FMI which come into play are motivated and demonstrated by simple, but… ▽ More According to V.P.Potapov, a classical interpolation problem can be reformulated in terms of a so-called Fundamental Matrix Inequality (FMI). To show that every solution of the FMI satisfies the interpolation problem, we usualy have to transform the FMI in some special way. In this paper the number of of transformations of the FMI which come into play are motivated and demonstrated by simple, but typical examples. △ Less

Submitted 13 June, 2007; originally announced June 2007.

MSC Class: 30D50; 46E10

Journal ref: Topics in Interpolatory Theory. Operator Theory: Advances and Applications, Vol.95, Birkhauser 1997

Contributions of Issai Schur to Analysis

Authors: Harry Dym, Victor Katsnelson

Abstract: The name Schur is associated with many terms and concepts that are widely used in a number of diverse fields of mathematics and engineering. This survey article focuses on Schur's work in analysis. Here too, Schur's name is commonplace: The Schur test and Schur-Hadamard multipliers (in the study of estimates for Hermitian forms), Schur convexity, Schur complements, Schur's results in summation t… ▽ More The name Schur is associated with many terms and concepts that are widely used in a number of diverse fields of mathematics and engineering. This survey article focuses on Schur's work in analysis. Here too, Schur's name is commonplace: The Schur test and Schur-Hadamard multipliers (in the study of estimates for Hermitian forms), Schur convexity, Schur complements, Schur's results in summation theory for sequences (in particular, the fundamental Kojima-Schur theorem), the Schur-Cohn test, the Schur algorithm, Schur parameters and the Schur interpolation problem for functions that are holomorphic and bounded by one in the unit disk. In this survey, we discuss all of the above mentioned topics and then some, as well as some of the generalizations that they inspired. There are nine sections of text, each of which is devoted to a separate theme based on Schur's work. Each of these sections has an independent bibliography. There is very little overlap. A tenth section presents a list of the papers of Schur that focus on topics that are commonly considered to be analysis. We begin with a review of Schur's less familiar papers on the theory of commuting differential operators. △ Less

Submitted 13 June, 2007; originally announced June 2007.

MSC Class: 46-03 (01A70; 4703)

Journal ref: Studies in Memory of Issai Schur, Progr. in Math., 210, Birkhauser, Boston, MA, 2003

Right and Left Joint System Representation of a Rational Matrix Function in General Position (System Representation Theory for Dummies)

Authors: Victor Katsnelson

Abstract: For a rational matrix function R of one variable in general position, the matrix functions R(x)/R(y) and R(y)\R(x) of two variables are considered. For these matrix functions of two variables, representations which are analogous to the system representations (or realizations) of a rational matrix function of one variable are constructed. This representation is called the joint right [the joint l… ▽ More For a rational matrix function R of one variable in general position, the matrix functions R(x)/R(y) and R(y)\R(x) of two variables are considered. For these matrix functions of two variables, representations which are analogous to the system representations (or realizations) of a rational matrix function of one variable are constructed. This representation is called the joint right [the joint left] system representation. △ Less

Submitted 12 June, 2007; originally announced June 2007.

MSC Class: 93B15

Journal ref: Operator Theory: Advances and Applications, Vol. 123, 2001, Birkhauser

On H.Weyl and H.Minkowski Polynomials

Authors: Victor Katsnelson

Abstract: We introduce certain polynomials, so-called H.Weyl and H.Minkowski polynomials, which have a geometric origin. The location of roots of these polynomials is studied. We introduce certain polynomials, so-called H.Weyl and H.Minkowski polynomials, which have a geometric origin. The location of roots of these polynomials is studied. △ Less

Submitted 14 February, 2007; v1 submitted 6 February, 2007; originally announced February 2007.

Comments: 99 pages

MSC Class: 30-xx(Primary) 51(Secondary)

Deformations of Fuchsian Systems of Linear Differential Equations and the Schlesinger System

Authors: V. Katsnelson, D. Volok

Abstract: We consider holomorphic deformations of Fuchsian systems parameterized by the pole loci. It is well known that, in the case when the residue matrices are non-resonant, such a deformation is isomonodromic if and only if the residue matrices satisfy the Schlesinger system with respect to the parameter. Without the non-resonance condition this result fails: there exist non-Schlesinger isomonodromic… ▽ More We consider holomorphic deformations of Fuchsian systems parameterized by the pole loci. It is well known that, in the case when the residue matrices are non-resonant, such a deformation is isomonodromic if and only if the residue matrices satisfy the Schlesinger system with respect to the parameter. Without the non-resonance condition this result fails: there exist non-Schlesinger isomonodromic deformations. In the present article we introduce the class of the so-called isoprincipal deformations of Fuchsian systems. Every isoprincipal deformation is also an isomonodromic one. In general, the class of the isomonodromic deformations is much richer than the class of the isoprincipal deformations, but in the non-resonant case these classes coincide. We prove that a deformation is isoprincipal if and only if the residue matrices satisfy the Schlesinger system. This theorem holds in the general case, without any assumptions on the spectra of the residue matrices of the deformation. An explicit example illustrating isomonodromic deformations, which are neither isoprincipal nor meromorphic with respect to the parameter, is also given. △ Less

Submitted 16 June, 2005; originally announced June 2005.

MSC Class: 34M55; 47A56

Rational Solutions of the Schlesinger System and Isoprincipal Deformations of Rational Matrix Functions II

Authors: Victor Katsnelson, Dan Volok

Abstract: In this second article of the series we study holomorphic families of generic rational matrix functions parameterized by the pole and zero loci. In particular, the isoprincipal deformations of generic rational matrix functions are proved to be isosemiresidual. The corresponding rational solutions of the Schlesinger system are constructed and the explicit expression for the related tau function i… ▽ More In this second article of the series we study holomorphic families of generic rational matrix functions parameterized by the pole and zero loci. In particular, the isoprincipal deformations of generic rational matrix functions are proved to be isosemiresidual. The corresponding rational solutions of the Schlesinger system are constructed and the explicit expression for the related tau function is given. The main tool is the theory of joint system representations for rational matrix functions with prescribed pole and zero structures. △ Less

Submitted 18 June, 2005; v1 submitted 24 June, 2004; originally announced June 2004.

Comments: added appendix

MSC Class: 47A56; 34M55

Journal ref: Operator Theory, System Theory And Scattering Theory: Multidimensional Generalizations, Operator Theory: Advances and Applications, vol. 157 (2005), pp. 165 - 203

Rational Solutions of the Schlesinger System and Isoprincipal Deformations of Rational Matrix Functions I

Authors: V. Katsnelson, D. Volok

Abstract: In the present paper we discuss the general facts, concerning the Schlesinger system: the (τ)-function, the local factorization of solutions of Fuchsian equations and holomorphic deformations. We introduce the terminology "isoprincipal" for the deformations of Fuchsian equations with general (not necessarily non-resonant) matrix coefficients, corresponding to solutions of the Schlesinger system. In the present paper we discuss the general facts, concerning the Schlesinger system: the (τ)-function, the local factorization of solutions of Fuchsian equations and holomorphic deformations. We introduce the terminology "isoprincipal" for the deformations of Fuchsian equations with general (not necessarily non-resonant) matrix coefficients, corresponding to solutions of the Schlesinger system. △ Less

Submitted 1 July, 2004; v1 submitted 8 April, 2003; originally announced April 2003.

Comments: extended version

MSC Class: 34M55; 93B15; 47A56

Journal ref: Current Trends in Operator Theory and its Applications, Operator Theory: Advances and Applications, vol. 149 (2004), pp. 291-348