-
On Sylvester equations in Banach subalgebras
Authors:
Qiquan Fang,
Chang Eon Shin,
Qiyu Sun
Abstract:
Let ${\mathcal B}$ be a Banach algebra and ${\mathcal A}$ be its Banach subalgebra that admits a norm-controlled inversion. In this work, we take $A, B$ in the Banach subalgebra ${\mathcal A}$ with the spectra of $A$ and $B$ in the Banach algebra ${\mathcal B}$ being disjoint, and show that the operator Sylvester equation $ BX-XA=Q$ has a unique solution $X\in {\mathcal A}$ for every…
▽ More
Let ${\mathcal B}$ be a Banach algebra and ${\mathcal A}$ be its Banach subalgebra that admits a norm-controlled inversion. In this work, we take $A, B$ in the Banach subalgebra ${\mathcal A}$ with the spectra of $A$ and $B$ in the Banach algebra ${\mathcal B}$ being disjoint, and show that the operator Sylvester equation $ BX-XA=Q$ has a unique solution $X\in {\mathcal A}$ for every $Q\in {\mathcal A}$. Under the additional assumptions that ${\mathcal B}$ is the operator algebra ${\mathcal B}(H)$ on a complex Hilbert space $H$ and that $A$ and $B$ are normal in ${\mathcal B}(H)$, an explicit norm estimate for the solution $X$ of the above operator Sylvester equation is provided. In this work, the above conclusion on norm control is also discussed for Banach subalgebras of localized infinite matrices and integral operators.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Reachability of turn sequences
Authors:
William S. Evans,
Noushin Saeedi,
Chan-Su Shin,
Hyun Tark
Abstract:
A turn sequence of left and right turns is realized as a simple rectilinear chain of integral segments whose turns at its bends are the same as the turn sequence. The chain starts from the origin and ends at some point which we call a reachable point of the turn sequence. We investigate the combinatorial and geometric properties of the set of reachable points of a given turn sequence such as the s…
▽ More
A turn sequence of left and right turns is realized as a simple rectilinear chain of integral segments whose turns at its bends are the same as the turn sequence. The chain starts from the origin and ends at some point which we call a reachable point of the turn sequence. We investigate the combinatorial and geometric properties of the set of reachable points of a given turn sequence such as the shape, connectedness, and sufficient and necessary conditions on the reachability to the four signed axes. We also prove the upper and lower bounds on the maximum distance from the origin to the closest reachable point on signed axes for a turn sequence. The bounds are expressed in terms of the difference between the number of left and right turns in the sequence as well as, in certain cases, the length of the maximal monotone prefix or suffix of the turn sequence. The bounds are exactly matched or tight within additive constants for some signed axes.
△ Less
Submitted 21 March, 2022; v1 submitted 1 March, 2022;
originally announced March 2022.
-
Stability of a numerical scheme for methane transport in hydrate zone under equilibrium and non-equilibrium conditions
Authors:
Malgorzata Peszynska,
Choah Shin
Abstract:
In this paper we carry out numerical analysis for a family of simplified gas transport models with hydrate formation and dissociation in subsurface, in equilibrium and non-equilibrium conditions. These models are adequate for simulation of hydrate phase change at basin and at shorter time scales, but the analysis does not account directly for the related effects of evolving hydraulic properties.…
▽ More
In this paper we carry out numerical analysis for a family of simplified gas transport models with hydrate formation and dissociation in subsurface, in equilibrium and non-equilibrium conditions. These models are adequate for simulation of hydrate phase change at basin and at shorter time scales, but the analysis does not account directly for the related effects of evolving hydraulic properties.
To our knowledge this is the first analysis of such a model. It is carried out for the transport steps while keeping the pressure solution fixed. We frame the transport model as conservation law with a non-smooth space-dependent flux function; the kinetic model approximates this equilibrium. We prove weak stability of the upwind scheme applied to the regularized conservation law. We illustrate the model, confirm convergence with numerical simulations, and illustrate its use for some relevant equilibrium and non-equilibrium scenarios.
△ Less
Submitted 17 March, 2021;
originally announced March 2021.
-
Differential subalgebras and norm-controlled inversion
Authors:
Chang Eon Shin,
Qiyu Sun
Abstract:
In this paper, we consider the norm-controlled inversion for differential $*$-subalgebras of a symmetric $*$-algebra with common identity and involution.
In this paper, we consider the norm-controlled inversion for differential $*$-subalgebras of a symmetric $*$-algebra with common identity and involution.
△ Less
Submitted 19 November, 2019;
originally announced November 2019.
-
Polynomial control on weighted stability bounds and inversion norms of localized matrices on simple graphs
Authors:
Qiquan Fang,
Chang Eon Shin,
Qiyu Sun
Abstract:
The (un)weighted stability for some matrices is one of essential hypotheses in time-frequency analysis and applied harmonic analysis. In the first part of this paper, we show that for a localized matrix in a Beurling algebra, its weighted stabilities for different exponents and Muckenhoupt weights are equivalent to each other, and reciprocal of its optimal lower stability bound for one exponent an…
▽ More
The (un)weighted stability for some matrices is one of essential hypotheses in time-frequency analysis and applied harmonic analysis. In the first part of this paper, we show that for a localized matrix in a Beurling algebra, its weighted stabilities for different exponents and Muckenhoupt weights are equivalent to each other, and reciprocal of its optimal lower stability bound for one exponent and weight is controlled by a polynomial of reciprocal of its optimal lower stability bound for another exponent and weights. Inverse-closed Banach subalgebras of matrices with certain off-diagonal decay can be informally interpreted as localization preservation under inversion, which is of great importance in many mathematical and engineering fields. Let ${\mathcal B}(\ell^p_w)$ be the Banach algebra of bounded operators on the weighted sequence space $\ell^p_w$ on a simple graph. In the second part of this paper, we prove that Beurling algebras of localized matrices on a simple graph are inverse-closed in ${\mathcal B}(\ell^p_w)$ for all $1\le p<\infty$ and Muckenhoupt $A_p$-weights $w$, and the Beurling norm of the inversion of a matrix $A$ is bounded by a bivariate polynomial of the Beurling norm of the matrix $A$ and the operator norm of its inverse $A^{-1}$ in ${\mathcal B}(\ell^p_w)$.
△ Less
Submitted 18 September, 2019;
originally announced September 2019.
-
Polynomial control on stability, inversion and powers of matrices on simple graphs
Authors:
Chang Eon Shin,
Qiyu Sun
Abstract:
Spatially distributed networks of large size arise in a variety of science and engineering problems, such as wireless sensor networks and smart power grids. Most of their features can be described by properties of their state-space matrices whose entries have indices in the vertex set of a graph. In this paper, we introduce novel % Banach algebras of Beurling type that contain matrices on a connec…
▽ More
Spatially distributed networks of large size arise in a variety of science and engineering problems, such as wireless sensor networks and smart power grids. Most of their features can be described by properties of their state-space matrices whose entries have indices in the vertex set of a graph. In this paper, we introduce novel % Banach algebras of Beurling type that contain matrices on a connected simple graph having polynomial off-diagonal decay, and we show that they are Banach subalgebras of ${\mathcal B}(\ell^p), 1\le p\le \infty$, the space of all bounded operators on the space $\ell^p$ of all $p$-summable sequences. The $\ell^p$-stability of state-space matrices is an essential hypothesis for the robustness of spatially distributed networks. In this paper, we establish the equivalence among $\ell^p$-stabilities of matrices in Beurling algebras for different exponents $1\le p\le \infty$, with quantitative analysis for the lower stability bounds. Admission of norm-control inversion plays a crucial role in some engineering practice. In this paper, we prove that matrices in Beurling subalgebras of ${\mathcal B}(\ell^2)$ have norm-controlled inversion and we find a norm-controlled polynomial with close to optimal degree. Polynomial estimate to powers of matrices is important for numerical implementation of spatially distributed networks. In this paper, we apply our results on norm-controlled inversion to obtain a polynomial estimate to powers of matrices in Beurling algebras. The polynomial estimate is a noncommutative extension about convolution powers of a complex function and is applicable to estimate the probability of hopping from one agent to another agent in a stationary Markov chain on a spatially distributed network.
△ Less
Submitted 20 May, 2017;
originally announced May 2017.
-
Building accurate initial models using gain functions for waveform inversion in the Laplace domain
Authors:
Wansoo Ha,
Changsoo Shin
Abstract:
We suggest an initial model building technique using time gain functions in the Laplace domain. Applying the gain expressed as a power of time is equivalent to taking the partial derivative of the Laplace-domain wavefield with respect to a damping constant. We construct an objective function, which minimizes the logarithmic differences between the gained field data and the partial derivative of th…
▽ More
We suggest an initial model building technique using time gain functions in the Laplace domain. Applying the gain expressed as a power of time is equivalent to taking the partial derivative of the Laplace-domain wavefield with respect to a damping constant. We construct an objective function, which minimizes the logarithmic differences between the gained field data and the partial derivative of the modeled data with respect to the damping constant. We calculate the modeled wavefield, the partial derivative wavefield, and the gradient direction in the Laplace domain using the analytic Green's function starting from a constant velocity model. This is an efficient method to generate an accurate initial model for a following Laplace-domain inversion. Numerical examples using two marine field datasets confirm that a starting model updated once from a scratch using the gradient direction calculated with the proposed method can be successfully used for a subsequent Laplace-domain inversion.
△ Less
Submitted 20 August, 2014;
originally announced August 2014.
-
Stability of Localized Integral Operators on Weighted $L^p$ spaces
Authors:
Kyung Soo Rim,
Chang Eon Shin,
Qiyu Sun
Abstract:
In this paper, we consider localized integral operators whose kernels have mild singularity near the diagonal and certain Holder regularity and decay off the diagonal. Our model example is the Bessel potential operator ${\mathcal J}_γ, γ>0$. We show that if such a localized integral operator has stability on a weighted function space $L^p_w$ for some $p\in [1, \infty)$ and Muckenhoupt $A_p$-weight…
▽ More
In this paper, we consider localized integral operators whose kernels have mild singularity near the diagonal and certain Holder regularity and decay off the diagonal. Our model example is the Bessel potential operator ${\mathcal J}_γ, γ>0$. We show that if such a localized integral operator has stability on a weighted function space $L^p_w$ for some $p\in [1, \infty)$ and Muckenhoupt $A_p$-weight $w$, then it has stability on weighted function spaces $L^{p'}_{w'}$ for all $1\le p'<\infty$ and Muckenhoupt $A_{p'}$-weights $w'$.
△ Less
Submitted 9 July, 2011;
originally announced July 2011.
-
Anharmonic oscillators in the complex plane, $\mathcal{PT}$-symmetry, and real eigenvalues
Authors:
Kwang C. Shin
Abstract:
For integers $m\geq 3$ and $1\leq\ell\leq m-1$, we study the eigenvalue problems $-u^{\prime\prime}(z)+[(-1)^{\ell}(iz)^m-P(iz)]u(z)=λu(z)$ with the boundary conditions that $u(z)$ decays to zero as $z$ tends to infinity along the rays $\arg z=-\fracπ{2}\pm \frac{(\ell+1)π}{m+2}$ in the complex plane, where $P$ is a polynomial of degree at most $m-1$. We provide asymptotic expansions of the eigenv…
▽ More
For integers $m\geq 3$ and $1\leq\ell\leq m-1$, we study the eigenvalue problems $-u^{\prime\prime}(z)+[(-1)^{\ell}(iz)^m-P(iz)]u(z)=λu(z)$ with the boundary conditions that $u(z)$ decays to zero as $z$ tends to infinity along the rays $\arg z=-\fracπ{2}\pm \frac{(\ell+1)π}{m+2}$ in the complex plane, where $P$ is a polynomial of degree at most $m-1$. We provide asymptotic expansions of the eigenvalues $λ_{n}$. Then we show that if the eigenvalue problem is $\mathcal{PT}$-symmetric, then the eigenvalues are all real and positive with at most finitely many exceptions. Moreover, we show that when $\gcd(m,\ell)=1$, the eigenvalue problem has infinitely many real eigenvalues if and only if its translation or itself is $\mathcal{PT}$-symmetric. Also, we will prove some other interesting direct and inverse spectral results.
△ Less
Submitted 4 August, 2010;
originally announced August 2010.
-
Anharmonic Oscillators with Infinitely Many Real Eigenvalues and PT-Symmetry
Authors:
Kwang C. Shin
Abstract:
We study the eigenvalue problem $-u"+V(z)u=λu$ in the complex plane with the boundary condition that $u(z)$ decays to zero as $z$ tends to infinity along the two rays $\arg z=-\fracπ{2} \pm \frac{2π}{m+2}$, where $V(z)=-(iz)^m-P(iz)$ for complex-valued polynomials $P$ of degree at most $m-1\geq 2$. We provide an asymptotic formula for eigenvalues and a necessary and sufficient condition for the…
▽ More
We study the eigenvalue problem $-u"+V(z)u=λu$ in the complex plane with the boundary condition that $u(z)$ decays to zero as $z$ tends to infinity along the two rays $\arg z=-\fracπ{2} \pm \frac{2π}{m+2}$, where $V(z)=-(iz)^m-P(iz)$ for complex-valued polynomials $P$ of degree at most $m-1\geq 2$. We provide an asymptotic formula for eigenvalues and a necessary and sufficient condition for the anharmonic oscillator to have infinitely many real eigenvalues.
△ Less
Submitted 3 February, 2010;
originally announced February 2010.
-
Asymptotics of eigenvalues of non-self adjoint Schrödinger operators on a half-line
Authors:
Kwang C. Shin
Abstract:
We study the eigenvalues of the non-self adjoint problem $-y^{\prime\prime}+V(x)y=E y$ on the half-line $0\leq x<+\infty$ under the Robin boundary condition at $x=0$, where $V$ is a monic polynomial of degree $\geq 3$. We obtain a Bohr-Sommerfeld-like asymptotic formula for $E_n$ that depends on the boundary conditions. Consequently, we solve certain inverse spectral problems, recovering the pot…
▽ More
We study the eigenvalues of the non-self adjoint problem $-y^{\prime\prime}+V(x)y=E y$ on the half-line $0\leq x<+\infty$ under the Robin boundary condition at $x=0$, where $V$ is a monic polynomial of degree $\geq 3$. We obtain a Bohr-Sommerfeld-like asymptotic formula for $E_n$ that depends on the boundary conditions. Consequently, we solve certain inverse spectral problems, recovering the potential $V$ and boundary condition from the first $(m+2)$ terms of the asymptotic formula.
△ Less
Submitted 28 January, 2010;
originally announced January 2010.
-
Stability of Localized Operators
Authors:
Chang Eon Shin,
Qiyu Sun
Abstract:
Let $\ell^p, 1\le p\le \infty$, be the space of all $p$-summable sequences and $C_a$ be the convolution operator associated with a summable sequence $a$. It is known that the $\ell^p$- stability of the convolution operator $C_a$ for different $1\le p\le \infty$ are equivalent to each other, i.e., if $C_a$ has $\ell^p$-stability for some $1\le p\le \infty$ then $C_a$ has $\ell^q$-stability for al…
▽ More
Let $\ell^p, 1\le p\le \infty$, be the space of all $p$-summable sequences and $C_a$ be the convolution operator associated with a summable sequence $a$. It is known that the $\ell^p$- stability of the convolution operator $C_a$ for different $1\le p\le \infty$ are equivalent to each other, i.e., if $C_a$ has $\ell^p$-stability for some $1\le p\le \infty$ then $C_a$ has $\ell^q$-stability for all $1\le q\le \infty$. In the study of spline approximation, wavelet analysis, time-frequency analysis, and sampling, there are many localized operators of non-convolution type whose stability is one of the basic assumptions. In this paper, we consider the stability of those localized operators including infinite matrices in the Sjöstrand class, synthesis operators with generating functions enveloped by shifts of a function in the Wiener amalgam space, and integral operators with kernels having certain regularity and decay at infinity. We show that the $\ell^p$- stability (or $L^p$-stability) of those three classes of localized operators are equivalent to each other, and we also prove that the left inverse of those localized operators are well localized.
△ Less
Submitted 10 November, 2008;
originally announced November 2008.
-
Half-Line non-self-adjoint Schrödinger operators with polynomial potentials: Asymptotics of eigenvalues
Authors:
Kwang C. Shin
Abstract:
For integers $m\geq 3$, we study the non-self-adjoint eigenvalue problems $-u^{\prime\prime}(x)+(x^m+P(x))u(x)=E u(x)$, $0\leq x<+\infty$, with the boundary conditions $u(+\infty)=0$ and $αu(0)+βu^{\prime}(0)=0$ for some $α, β\in\C$ with $|α|+|β|\not=0$, where $P(x)=a_1 x^{m-1}+a_2 x^{m-2}+...+a_{m-1} x$ is a polynomial. We provide asymptotic expansions of the eigenvalue counting function and th…
▽ More
For integers $m\geq 3$, we study the non-self-adjoint eigenvalue problems $-u^{\prime\prime}(x)+(x^m+P(x))u(x)=E u(x)$, $0\leq x<+\infty$, with the boundary conditions $u(+\infty)=0$ and $αu(0)+βu^{\prime}(0)=0$ for some $α, β\in\C$ with $|α|+|β|\not=0$, where $P(x)=a_1 x^{m-1}+a_2 x^{m-2}+...+a_{m-1} x$ is a polynomial. We provide asymptotic expansions of the eigenvalue counting function and the eigenvalues $E_{n}$. Then we apply these to the inverse spectral problem, reconstructing some coefficients of polynomial potentials from asymptotic expansions of the eigenvalues.
△ Less
Submitted 24 February, 2005;
originally announced February 2005.
-
Schrödinger type eigenvalue problems with polynomial potentials: Asymptotics of eigenvalues
Authors:
Kwang C. Shin
Abstract:
For integers $m\geq 3$ and $1\leq\ell\leq m-1$, we study the eigenvalue problem $-u^{\prime\prime}(z)+[(-1)^{\ell}(iz)^m-P(iz)]u(z)=λu(z)$ with the boundary conditions that $u(z)$ decays to zero as $z$ tends to infinity along the rays $\arg z=-\fracπ{2}\pm \frac{(\ell+1)π}{m+2}$ in the complex plane, where $P(z)=a_1 z^{m-1}+a_2 z^{m-2}+...+a_{m-1} z$ is a polynomial. We provide asymptotic expans…
▽ More
For integers $m\geq 3$ and $1\leq\ell\leq m-1$, we study the eigenvalue problem $-u^{\prime\prime}(z)+[(-1)^{\ell}(iz)^m-P(iz)]u(z)=λu(z)$ with the boundary conditions that $u(z)$ decays to zero as $z$ tends to infinity along the rays $\arg z=-\fracπ{2}\pm \frac{(\ell+1)π}{m+2}$ in the complex plane, where $P(z)=a_1 z^{m-1}+a_2 z^{m-2}+...+a_{m-1} z$ is a polynomial. We provide asymptotic expansions of the eigenvalue counting function and the eigenvalues $λ_{n}$. Then we apply these to the inverse spectral problem, reconstructing some coefficients of polynomial potentials from asymptotic expansions of the eigenvalues. Also, we show for arbitrary $\mathcal{PT}$-symmetric polynomial potentials of degree $m\geq 3$ and all symmetric decaying boundary conditions that the eigenvalues are all real and positive, with only finitely many exceptions.
△ Less
Submitted 7 November, 2004;
originally announced November 2004.
-
Eigenvalues of PT-symmetric oscillators with polynomial potentials
Authors:
Kwang C. Shin
Abstract:
We study the eigenvalue problem $-u^{\prime\prime}(z)-[(iz)^m+P_{m-1}(iz)]u(z)=λu(z)$ with the boundary conditions that $u(z)$ decays to zero as $z$ tends to infinity along the rays $\arg z=-\fracπ{2}\pm \frac{2π}{m+2}$, where $P_{m-1}(z)=a_1 z^{m-1}+a_2 z^{m-2}+...+a_{m-1} z$ is a polynomial and integers $m\geq 3$. We provide an asymptotic expansion of the eigenvalues $λ_n$ as $n\to+\infty$, an…
▽ More
We study the eigenvalue problem $-u^{\prime\prime}(z)-[(iz)^m+P_{m-1}(iz)]u(z)=λu(z)$ with the boundary conditions that $u(z)$ decays to zero as $z$ tends to infinity along the rays $\arg z=-\fracπ{2}\pm \frac{2π}{m+2}$, where $P_{m-1}(z)=a_1 z^{m-1}+a_2 z^{m-2}+...+a_{m-1} z$ is a polynomial and integers $m\geq 3$. We provide an asymptotic expansion of the eigenvalues $λ_n$ as $n\to+\infty$, and prove that for each {\it real} polynomial $P_{m-1}$, the eigenvalues are all real and positive, with only finitely many exceptions.
△ Less
Submitted 3 January, 2005; v1 submitted 1 July, 2004;
originally announced July 2004.
-
Trace Formulas for Non-Self-Adjoint Periodic Schrödinger Operators and some Applications
Authors:
Kwang C. Shin
Abstract:
Recently, a trace formula for non-self-adjoint periodic Schrödinger operators in $L^2(\mathbb{R})$ associated with Dirichlet eigenvalues was proved in [9]. Here we prove a corresponding trace formula associated with Neumann eigenvalues.
In addition we investigate Dirichlet and Neumann eigenvalues of such operators. In particular, using the Dirichlet and Neumann trace formulas we provide detail…
▽ More
Recently, a trace formula for non-self-adjoint periodic Schrödinger operators in $L^2(\mathbb{R})$ associated with Dirichlet eigenvalues was proved in [9]. Here we prove a corresponding trace formula associated with Neumann eigenvalues.
In addition we investigate Dirichlet and Neumann eigenvalues of such operators. In particular, using the Dirichlet and Neumann trace formulas we provide detailed information on location of the Dirichlet and Neumann eigenvalues for the model operator with the potential $Ke^{2ix}$, where $K\in\mathbb{C}$.
△ Less
Submitted 12 December, 2003;
originally announced December 2003.
