-
Computing scattering resonances of rough obstacles
Authors:
Frank Rösler,
Alexei Stepanenko
Abstract:
This paper is concerned with the numerical computation of scattering resonances of the Laplacian for Dirichlet obstacles with rough boundary. We prove that under mild geometric assumptions on the obstacle there exists an algorithm whose output is guaranteed to converge to the set of resonances of the problem. The result is formulated using the framework of Solvability Complexity Indices. The proof…
▽ More
This paper is concerned with the numerical computation of scattering resonances of the Laplacian for Dirichlet obstacles with rough boundary. We prove that under mild geometric assumptions on the obstacle there exists an algorithm whose output is guaranteed to converge to the set of resonances of the problem. The result is formulated using the framework of Solvability Complexity Indices. The proof is constructive and provides an efficient numerical method. The algorithm is based on a combination of a Glazman decomposition, a polygonal approximation of the obstacle and a finite element method. Our result applies in particular to obstacles with fractal boundary, such as the Koch Snowflake and certain filled Julia sets. Finally, we provide numerical experiments in MATLAB for a range of interesting obstacle domains.
△ Less
Submitted 1 February, 2024;
originally announced February 2024.
-
Computing Klein-Gordon Spectra
Authors:
Frank Rösler,
Christiane Tretter
Abstract:
We study the computational complexity of the eigenvalue problem for the Klein-Gordon equation in the framework of the Solvability Complexity Index Hierarchy. We prove that the eigenvalue of the Klein-Gordon equation with linearly decaying potential can be computed in a single limit with guaranteed error bounds from above. The proof is constructive, i.e. we obtain a numerical algorithm that can be…
▽ More
We study the computational complexity of the eigenvalue problem for the Klein-Gordon equation in the framework of the Solvability Complexity Index Hierarchy. We prove that the eigenvalue of the Klein-Gordon equation with linearly decaying potential can be computed in a single limit with guaranteed error bounds from above. The proof is constructive, i.e. we obtain a numerical algorithm that can be implemented on a computer. Moreover, we prove abstract enclosures for the point spectrum of the Klein-Gordon equation and we compare our numerical results to these enclosures. Finally, we apply both the implemented algorithm and our abstract enclosures to several physically relevant potentials such as Sauter and cusp potentials and we provide a convergence and error analysis.
△ Less
Submitted 22 October, 2022;
originally announced October 2022.
-
On the complexity of the inverse Sturm-Liouville problem
Authors:
Jonathan Ben-Artzi,
Marco Marletta,
Frank Rösler
Abstract:
This paper explores the complexity associated with solving the inverse Sturm-Liouville problem with Robin boundary conditions: given a sequence of eigenvalues and a sequence of norming constants, how many limits does a universal algorithm require to return the potential and boundary conditions? It is shown that if all but finitely many of the eigenvalues and norming constants coincide with those f…
▽ More
This paper explores the complexity associated with solving the inverse Sturm-Liouville problem with Robin boundary conditions: given a sequence of eigenvalues and a sequence of norming constants, how many limits does a universal algorithm require to return the potential and boundary conditions? It is shown that if all but finitely many of the eigenvalues and norming constants coincide with those for the zero potential then the number of limits is zero, i.e. it is possible to retrieve the potential and boundary conditions precisely in finitely many steps. Otherwise, it is shown that this problem requires a single limit; moreover, if one has a priori control over how much the eigenvalues and norming constants differ from those of the zero-potential problem, and one knows that the average of the potential is zero, then the computation can be performed with complete error control. This is done in the spirit of the Solvability Complexity Index. All algorithms are provided explicitly along with numerical examples.
△ Less
Submitted 19 February, 2023; v1 submitted 24 March, 2022;
originally announced March 2022.
-
Universal algorithms for computing spectra of periodic operators
Authors:
Jonathan Ben-Artzi,
Marco Marletta,
Frank Rösler
Abstract:
Schrödinger operators with periodic (possibly complex-valued) potentials and discrete periodic operators (possibly with complex-valued entries) are considered, and in both cases the computational spectral problem is investigated: namely, under what conditions can a "one-size-fits-all" algorithm for computing their spectra be devised? It is shown that for periodic banded matrices this can be done,…
▽ More
Schrödinger operators with periodic (possibly complex-valued) potentials and discrete periodic operators (possibly with complex-valued entries) are considered, and in both cases the computational spectral problem is investigated: namely, under what conditions can a "one-size-fits-all" algorithm for computing their spectra be devised? It is shown that for periodic banded matrices this can be done, as well as for Schrödinger operators with periodic potentials that are sufficiently smooth. In both cases implementable algorithms are provided, along with examples. For certain Schrödinger operators whose potentials may diverge at a single point (but are otherwise well-behaved) it is shown that there does not exist such an algorithm, though it is shown that the computation is possible if one allows for two successive limits.
△ Less
Submitted 19 April, 2021;
originally announced April 2021.
-
Computing eigenvalues of the Laplacian on rough domains
Authors:
Frank Rösler,
Alexei Stepanenko
Abstract:
We prove a general Mosco convergence theorem for bounded Euclidean domains satisfying a set of mild geometric hypotheses. For bounded domains, this notion implies norm-resolvent convergence for the Dirichlet Laplacian which in turn ensures spectral convergence. A key element of the proof is the development of a novel, explicit Poincaré-type inequality. These results allow us to construct a univers…
▽ More
We prove a general Mosco convergence theorem for bounded Euclidean domains satisfying a set of mild geometric hypotheses. For bounded domains, this notion implies norm-resolvent convergence for the Dirichlet Laplacian which in turn ensures spectral convergence. A key element of the proof is the development of a novel, explicit Poincaré-type inequality. These results allow us to construct a universal algorithm capable of computing the eigenvalues of the Dirichlet Laplacian on a wide class of rough domains. Many domains with fractal boundaries, such as the Koch snowflake and certain filled Julia sets, are included among this class. Conversely, we construct a counter example showing that there does not exist a universal algorithm of the same type capable of computing the eigenvalues of the Dirichlet Laplacian on an arbitrary bounded domain.
△ Less
Submitted 1 August, 2023; v1 submitted 19 April, 2021;
originally announced April 2021.
-
Computing the Sound of the Sea in a Seashell
Authors:
Jonathan Ben-Artzi,
Marco Marletta,
Frank Rösler
Abstract:
The question of whether there exists an approximation procedure to compute the resonances of any Helmholtz resonator, regardless of its particular shape, is addressed. A positive answer is given, and it is shown that all that one has to assume is that the resonator chamber is bounded and that its boundary is $\mathcal C^2$. The proof is constructive, providing a universal algorithm which only need…
▽ More
The question of whether there exists an approximation procedure to compute the resonances of any Helmholtz resonator, regardless of its particular shape, is addressed. A positive answer is given, and it is shown that all that one has to assume is that the resonator chamber is bounded and that its boundary is $\mathcal C^2$. The proof is constructive, providing a universal algorithm which only needs to access the values of the characteristic function of the chamber at any requested point.
△ Less
Submitted 3 March, 2021; v1 submitted 7 September, 2020;
originally announced September 2020.
-
Computing Scattering Resonances
Authors:
Jonathan Ben-Artzi,
Marco Marletta,
Frank Rösler
Abstract:
The question of whether it is possible to compute scattering resonances of Schrödinger operators - independently of the particular potential - is addressed. A positive answer is given, and it is shown that the only information required to be known a priori is the size of the support of the potential. The potential itself is merely required to be $\mathcal{C}^1$. The proof is constructive, providin…
▽ More
The question of whether it is possible to compute scattering resonances of Schrödinger operators - independently of the particular potential - is addressed. A positive answer is given, and it is shown that the only information required to be known a priori is the size of the support of the potential. The potential itself is merely required to be $\mathcal{C}^1$. The proof is constructive, providing a universal algorithm which only needs to access the values of the potential at any requested point.
△ Less
Submitted 5 June, 2020;
originally announced June 2020.
-
On The Solvability Complexity Index for Unbounded Selfadjoint Operators and Schrödinger Operators
Authors:
Frank Rösler
Abstract:
We study the solvability complexity index (SCI) for unbounded selfadjoint operators on separable Hilbert spaces and perturbations thereof. In particular, we show that if the extended essential spectrum of a selfadjoint operator is convex, then the SCI for computing its spectrum is equal to 1. This result is then extended to relatively compact perturbations of such operators and applied to Schrödin…
▽ More
We study the solvability complexity index (SCI) for unbounded selfadjoint operators on separable Hilbert spaces and perturbations thereof. In particular, we show that if the extended essential spectrum of a selfadjoint operator is convex, then the SCI for computing its spectrum is equal to 1. This result is then extended to relatively compact perturbations of such operators and applied to Schrödinger operators with compactly supported (complex valued) potentials to obtain SCI=1 in this case, as well.
△ Less
Submitted 28 February, 2019;
originally announced February 2019.
-
A Note on Spectral Convergence in Varying Hilbert Spaces
Authors:
Frank Rösler
Abstract:
We prove sufficient conditions for Hausdorff convergence of the spectra of sequences of closed operators defined on varying Hilbert spaces and converging in norm-resolvent sense, i.e. $\|J_\varepsilon(1+A_\varepsilon)^{-1} - (1+A)^{-1}J_\varepsilon\|\to 0$ as $\varepsilon\to 0$, where $J_\varepsilon$ is a suitable identification operator between the domains of the operators. This is an extension o…
▽ More
We prove sufficient conditions for Hausdorff convergence of the spectra of sequences of closed operators defined on varying Hilbert spaces and converging in norm-resolvent sense, i.e. $\|J_\varepsilon(1+A_\varepsilon)^{-1} - (1+A)^{-1}J_\varepsilon\|\to 0$ as $\varepsilon\to 0$, where $J_\varepsilon$ is a suitable identification operator between the domains of the operators. This is an extension of results of [Mugnolo-Nittka-Post(2013)], who proved absence of spectral pollution for sectorial operators.
△ Less
Submitted 11 December, 2018; v1 submitted 6 December, 2018;
originally announced December 2018.
-
A Strange Vertex Condition Coming From Nowhere
Authors:
Frank Rösler
Abstract:
We prove norm-resolvent and spectral convergence in $L^2$ of solutions to the Neumann Poisson problem $-Δu_\varepsilon = f$ on a domain $Ω_\varepsilon$ perforated by Dirichlet-holes and shrinking to a 1-dimensional interval. The limit $u$ satisfies an equation of the type $-u''+μu = f$ on the interval $(0,1)$, where $μ$ is a positive constant. As an application we study the convergence of solution…
▽ More
We prove norm-resolvent and spectral convergence in $L^2$ of solutions to the Neumann Poisson problem $-Δu_\varepsilon = f$ on a domain $Ω_\varepsilon$ perforated by Dirichlet-holes and shrinking to a 1-dimensional interval. The limit $u$ satisfies an equation of the type $-u''+μu = f$ on the interval $(0,1)$, where $μ$ is a positive constant. As an application we study the convergence of solutions in perforated graph-like domains. We show that if the scaling between the edge neighbourhood and the vertex neighbourhood is chosen correctly, the constant $μ$ will appear in the vertex condition of the limit problem. In particular, this implies that the spectrum of the resulting quantum graph is altered in a controlled way by the perforation.
△ Less
Submitted 30 April, 2021; v1 submitted 1 February, 2018;
originally announced February 2018.
-
Norm-Resolvent Convergence in Perforated Domains
Authors:
Patrick Dondl,
Kirill Cherednichenko,
Frank Rösler
Abstract:
For several different boundary conditions (Dirichlet, Neumann, Robin), we prove norm-resolvent convergence for the operator $-Δ$ in the perforated domain $Ω\setminus \bigcup_{ i\in 2\varepsilon\mathbb Z^d }B_{a_\varepsilon}(i),$ $a_\varepsilon\ll\varepsilon,$ to the limit operator $-Δ+μ_ι$ on $L^2(Ω)$, where $μ_ι\in\mathbb C$ is a constant depending on the choice of boundary conditions.
This is…
▽ More
For several different boundary conditions (Dirichlet, Neumann, Robin), we prove norm-resolvent convergence for the operator $-Δ$ in the perforated domain $Ω\setminus \bigcup_{ i\in 2\varepsilon\mathbb Z^d }B_{a_\varepsilon}(i),$ $a_\varepsilon\ll\varepsilon,$ to the limit operator $-Δ+μ_ι$ on $L^2(Ω)$, where $μ_ι\in\mathbb C$ is a constant depending on the choice of boundary conditions.
This is an improvement of previous results [Cioranescu & Murat. A Strange Term Coming From Nowhere, Progress in Nonlinear Differential Equations and Their Applications, 31, (1997)], [S. Kaizu. The Robin Problems on Domains with Many Tiny Holes. Pro c. Japan Acad., 61, Ser. A (1985)], which show strong resolvent convergence. In particular, our result implies Hausdorff convergence of the spectrum of the resolvent for the perforated domain problem.
△ Less
Submitted 27 November, 2018; v1 submitted 19 June, 2017;
originally announced June 2017.
-
The Wisconsin Plasma Astrophysics Laboratory
Authors:
C. B. Forest,
K. Flanagan,
M. Brookhart,
C. M. Cooper,
M. Clark,
V. Desangles,
J. Egedal,
D. Endrizzi,
M. Miesch,
I. V. Khalzov,
H. Li,
J. Milhone,
M. Nornberg,
J. Olson,
E. Peterson,
F. Roesler,
A. Schekochihin,
O. Schmitz,
R. Siller,
A. Spitkovsky,
A. Stemo,
J. Wallace,
D. Weisberg,
E. Zweibel
Abstract:
The Wisconsin Plasma Astrophysics Laboratory (WiPAL) is a flexible user facility designed to study a range of astrophysically relevant plasma processes as well as novel geometries that mimic astrophysical systems. A multi-cusp magnetic bucket constructed from strong samarium cobalt permanent magnets now confines a 10 m$^3$, fully ionized, magnetic-field free plasma in a spherical geometry. Plasma…
▽ More
The Wisconsin Plasma Astrophysics Laboratory (WiPAL) is a flexible user facility designed to study a range of astrophysically relevant plasma processes as well as novel geometries that mimic astrophysical systems. A multi-cusp magnetic bucket constructed from strong samarium cobalt permanent magnets now confines a 10 m$^3$, fully ionized, magnetic-field free plasma in a spherical geometry. Plasma parameters of $ T_{e}\approx5$ to $20$ eV and $n_{e}\approx10^{11}$ to $5\times10^{12}$ cm$^{-3}$ provide an ideal testbed for a range of astrophysical experiments including self-exciting dynamos, collisionless magnetic reconnection, jet stability, stellar winds, and more. This article describes the capabilities of WiPAL along with several experiments, in both operating and planning stages, that illustrate the range of possibilities for future users.
△ Less
Submitted 4 August, 2015; v1 submitted 23 June, 2015;
originally announced June 2015.
-
A Bound on the Pseudospectrum of the Harmonic Oscillator with Imaginary Cubic Potential
Authors:
Patrick W. Dondl,
Patrick Dorey,
Frank Rösler
Abstract:
We are concerned with the non-normal Schrödinger operator $$
H=-Δ+V $$ on $ L^2(\mathbb R^n)$, where $V\in W^{1,\infty}_{\text{loc}}(\mathbb{R}^n)$ and $\operatorname{Re} (V(x))\ge c|x|^2-d$ for some $c,d>0$. The spectrum of this operator is discrete and contained in the positive half plane. In general, the $\varepsilon$-pseudospectrum of $H$ will have an unbounded component for any…
▽ More
We are concerned with the non-normal Schrödinger operator $$
H=-Δ+V $$ on $ L^2(\mathbb R^n)$, where $V\in W^{1,\infty}_{\text{loc}}(\mathbb{R}^n)$ and $\operatorname{Re} (V(x))\ge c|x|^2-d$ for some $c,d>0$. The spectrum of this operator is discrete and contained in the positive half plane. In general, the $\varepsilon$-pseudospectrum of $H$ will have an unbounded component for any $\varepsilon>0$ and thus will not approximate the spectrum in a global sense. By exploiting the fact that the semigroup $e^{-tH}$ is immediately compact, we show a complementary result, namely that for every $δ>0$, $R>0$ there exists an $\varepsilon>0$ such that the $\varepsilon$-pseudospectrum $$
σ_\varepsilon(H)\subset \{z:\operatorname{Re}(z) \geq R\}\cup\bigcup_{λ\inσ(H)}\{z:|z-λ|<δ\}. $$ In particular, the unbounded part of the pseudospectrum escapes towards $+\infty$ as $\varepsilon$ decreases. Additionally, we give two examples of non-selfadjoint Schrödinger operators outside of our class and study their pseudospectra in more detail.
△ Less
Submitted 8 January, 2017; v1 submitted 21 May, 2015;
originally announced May 2015.
-
Sodium Atoms in the Lunar Exotail: Observed Velocity and Spatial Distributions
Authors:
Michael R. Line,
E. J. Mierkiewicz,
R. J. Oliversen,
J. K. Wilson,
L. M. Haffner,
F. L. Roesler
Abstract:
The lunar sodium tail extends long distances due to radiation pressure on sodium atoms in the lunar exosphere. Our earlier observations measured the average radial velocity of sodium atoms moving down the lunar tail beyond Earth (i.e., near the anti-lunar point) to be $\sim 12.5$ km/s. Here we use the Wisconsin H-alpha Mapper to obtain the first kinematically resolved maps of the intensity and vel…
▽ More
The lunar sodium tail extends long distances due to radiation pressure on sodium atoms in the lunar exosphere. Our earlier observations measured the average radial velocity of sodium atoms moving down the lunar tail beyond Earth (i.e., near the anti-lunar point) to be $\sim 12.5$ km/s. Here we use the Wisconsin H-alpha Mapper to obtain the first kinematically resolved maps of the intensity and velocity distribution of this emission over a $15 \times 15 °$ region on the sky near the anti-lunar point. We present both spatially and spectrally resolved observations obtained over four nights bracketing new Moon in October 2007. The spatial distribution of the sodium atoms is elongated along the ecliptic with the location of the peak intensity drifting $3 °$ east along the ecliptic per night. Preliminary modeling results suggest the spatial and velocity distributions in the sodium exotail are sensitive to the near surface lunar sodium velocity distribution. Future observations of this sort along with detailed modeling offer new opportunities to describe the time history of lunar surface sputtering over several days.
△ Less
Submitted 3 April, 2012;
originally announced April 2012.