Reconstruction of an Impedance in Two-dimensions from Spectral Data

The two-dimensional spectral inverse problem involves the reconstruction of an unknown coefficient in an elliptic partial differential equation from spectral data, such as eigenvalues. Projection of the boundary value problem and the unknown coefficient onto appropriate vector spaces leads to a matrix inverse problem. Unique solutions of this matrix inverse problem exist provided that the eigenvalue data is close to the eigenvalues associated with the analogous constant coefficient boundary value problem. We discuss here the application of such a technique to the reconstruction of an impedance p in the boundary value problem $$ \eqalign{ -\nabla (\,p \nabla u) = \lambda p u \hbox {\quad in R} \cr u = 0 \hbox {\quad on R}}$$ where R is a rectangular domain. The matrix inverse problem, although nonstandard, is solved by a fixed-point iterative method and an impedance function p * is constructed which has the same m lowest eigenvalues as the unknown p . Numerical evidence of the success of the method will be presented.     

Eigenvalues of $$(-\triangle + \frac{R}{2})$$ on manifolds with nonnegative curvature operator

In this paper, we show that the eigenvalues of are nondecreasing under the Ricci flow for manifolds with nonnegative curvature operator. Then we show that the only steady Ricci breather with nonnegative curvature operator is the trivial one which is Ricci-flat.     

On the absence of positive eigenvalues of Schrödinger operators with rough potentials

We prove the absence of positive eigenvalues of Schrödinger operators $ H=-\Delta+V $ on Euclidean spaces $ \mathbb{R}^n $ for a certain class of rough potentials $V$. To describe our class of potentials fix an exponent $q\in[n/2,\infty]$ (or $q\in(1,\infty]$, if $n=2$) and let $\beta(q)=(2q-n)/(2q)$. For the potential $V$ we assume that $V\in L^{n/2}_{{\rm{loc}}}(\mathbb{R}^n)$ (or $V\in L^{r}_{{\rm{loc}}}(\mathbb{R}^n)$, $r>1$, if $n=2$) and$\begin{equation*}$$\lim_{R\to\infty}R^{\beta(q)}||V||_{L^q(R\leq |x|\leq 2R)}=0\,.$$\end{equation*}$Under these assumptions we prove that the operator $H$ does not admit positive eigenvalues. The case $q=\infty$ was considered by Kato [K]. The absence of positive eigenvalues follows from a uniform Carleman inequality of the form$\begin{equation*}$$||W_m u||_{l^a(L^{p(q)})(\mathbb R^n)}\leq C_q||W_m|x|^{\beta(q)}(\Delta+1)u||_{l^a(L^{p(q)})(\mathbb{R}^n)}$$\end{equation*}$for all smooth compactly supported functions $u$ and a suitable sequence of weights $W_m$, where $p(q)$ and $p(q)$ are dual exponents with the property that $1/p(q)-1/p(q)=1/q$.     

Inverse spectral problems for non-self-adjoint Sturm–Liouville operators with discontinuous boundary conditions

This paper deals with the inverse spectral problem for a non-self-adjoint Sturm–Liouville operator with discontinuous conditions inside the interval. We obtain that if the potential q is known a priori on a subinterval $$ \left[ b,\pi \right] $$ with $$b\in \left( d,\pi \right] $$ or $$b=d$$, then $$h,\,\beta ,\,\gamma $$ and q on $$\left[ 0,\pi \right] $$ can be uniquely determined by partial spectral data consisting of a sequence of eigenvalues and a subsequence of the corresponding generalized normalizing constants or a subsequence of the pairs of eigenvalues and the corresponding generalized ratios. For the case $$b\in \left( 0,d\right) $$, a similar statement holds if $$\beta ,\,\gamma $$ are also known a priori. Moreover, if q satisfies a local smoothness condition, we provide an alternative approach instead of using the high-energy asymptotic expansion of the Weyl m-function to solve the problem of missing eigenvalues and norming constants.     

A numerical method for computing the Hamiltonian Schur form

We derive a new numerical method for computing the Hamiltonian Schur form of a Hamiltonian matrix that has no purely imaginary eigenvalues. We demonstrate the properties of the new method by showing its performance for the benchmark collection of continuous-time algebraic Riccati equations. Despite the fact that no complete error analysis for the method is yet available, the numerical results indicate that if no eigenvalues of are close to the imaginary axis then the method computes the exact Hamiltonian Schur form of a nearby Hamiltonian matrix and thus is numerically strongly backward stable. The new method is of complexity and hence it solves a long-standing open problem in numerical analysis. Volker Mehrmann was supported by Deutsche Forschungsgemeinschaft, Research Grant Me 790/11-3.     

The first simultaneous sign change for Fourier coefficients of Hecke–Maass forms

The Ramanujan Journal - Let f and g be two Hecke–Maass cusp forms of weight zero for $$SL_2({\mathbb {Z}})$$ with Laplacian eigenvalues $$\frac{1}{4}+u^2$$ and $$\frac{1}{4}+v^2$$ ,...     

Kernel estimates for a class of Schrödinger semigroups

We prove short time estimates for the heat kernels of certain Schr?dinger operators with unbounded potentials in . The asymptotic distribution of the eigenvalues is also considered.      

Large Hecke eigenvalues and an Omega result for non-Saito–Kurokawa lifts

The Ramanujan Journal - We prove a result on the distribution of Hecke eigenvalues, $$\mu _F(p^r)$$ (for $$r=1,2$$ or 3) of a non-Saito–Kurokawa lift F of degree 2. As a consequence, we...     

On the first simultaneous sign change for Fourier coefficients associated with Hecke–Maass forms

The Ramanujan Journal - Let f and g be two distinct Hecke–Maass cusp forms of weight zero for $$SL(2,\mathbb {Z})$$ with Laplacian eigenvalues $$\frac{1}{4}+u^{2}$$ and $$\frac{1}{4}+v^{2}$$...     

Eigenvalue Asymptotics for Weighted Polyharmonic Operator with a Singular Measure in the Critical Case

Functional Analysis and Its Applications - We find that, in the critical case $$2l= {\mathbf N} $$ , the eigenvalues of the problem $$\lambda(-\Delta)^{l}u=Pu$$ with the singular measure $$P$$...     

Virtual Eigenvalues of the High Order Schrödinger Operator II

We consider the Schr?dinger operator H_γ = ( − Δ)^l + γ V(x)· acting in the space where 2l ≥ d, V (x) ≥ 0, V (x) is continuous and is not identically zero, and We study the asymptotic behavior as of the non-bottom negative eigenvalues of H_γ, which are born at the moment γ = 0 from the lower bound λ = 0 of the spectrum σ(H₀) of the unperturbed operator H₀ = ( − Δ)^l (virtual eigenvalues). To this end we use the Puiseux-Newton diagram for a power expansion of eigenvalues of some class of polynomial matrix functions. For the groups of virtual eigenvalues, having the same rate of decay, we obtain asymptotic estimates of Lieb-Thirring type.     

Foliations and polynomial diffeomorphisms of $${\mathbb{R}^{3}}$$

Let be a C ² map and let Spec(Y) denote the set of eigenvalues of the derivative DY _p , when p varies in . We begin proving that if, for some ϵ > 0, then the foliation with made up by the level surfaces {k = constant}, consists just of planes. As a consequence, we prove a bijectivity result related to the three-dimensional case of Jelonek’s Jacobian Conjecture for polynomial maps of The first author was supported by CNPq-Brazil Grant 306992/2003-5. The first and second author were supported by FAPESP-Brazil Grant 03/03107-9.     

Characterization of distributive semigroup operations on the positive real numbers

Given any cancellative continuous semigroup operation $$\star $$ on the positive real numbers $$\mathbf {R}_+$$ with the ordinary topology, we completely characterize the set $$\mathcal {D}_\star (\mathbf {R}_+)$$ of all cancellative continuous semigroup operations on $$\mathbf {R}_+$$ which are distributed by $$\star $$ in terms of homeomorphism. As a consequence, we show that an arbitrary semigroup operation in $$\mathcal {D}_\star (\mathbf {R}_+)$$ is homeomorphically isomorphic to the ordinary addition $$+$$ on $$\mathbf {R}_+$$.     

Generation in singularity categories of hypersurfaces of countable representation type

The Orlov spectrum and Rouquier dimension are invariants of a triangulated category to measure how big the category is, and they have been studied actively. In this paper, we investigate the singularity category $$\textsf {D} _{\textsf {sg} }(R)$$ of a hypersurface R of countable representation type. For a thick subcategory $${\mathcal {T}}$$ of $$\textsf {D} _{\textsf {sg} }(R)$$ and a full subcategory $$\mathcal {X}$$ of $${\mathcal {T}}$$, we calculate the Rouquier dimension of $${\mathcal {T}}$$ with respect to $$\mathcal {X}$$. Furthermore, we prove that the level in $$\textsf {D} _{\textsf {sg} }(R)$$ of the residue field of R with respect to each nonzero object is at most one.     

Limit points of eigenvalues of (di)graphs

The study on limit points of eigenvalues of undirected graphs was initiated by A. J. Hoffman in 1972. Now we extend the study to digraphs. We prove 1. Every real number is a limit point of eigenvalues of graphs. Every complex number is a limit point of eigenvalues of digraphs. 2. For a digraph D, the set of limit points of eigenvalues of iterated subdivision digraphs of D is the unit circle in the complex plane if and only if D has a directed cycle. 3. Every limit point of eigenvalues of a set D of digraphs (graphs) is a limit point of eigenvalues of a set of bipartite digraphs (graphs), where consists of the double covers of the members in D. 4. Every limit point of eigenvalues of a set D of digraphs is a limit point of eigenvalues of line digraphs of the digraphs in D. 5. If M is a limit point of the largest eigenvalues of graphs, then −M is a limit point of the smallest eigenvalues of graphs.     

Sufficient conditions for local equivalence of mappings

Let $$f,g:({\mathbb {R}}^n,0)\rightarrow ({\mathbb {R}}^m,0)$$ be $$C^{r+1}$$ mappings and let $$Z=\{x\in \mathbf {\mathbb {R}}^n:\nu (df (x))=0\}$$ , $$0\in Z$$ , $$m\le n$$ . We will show that if there exist a neighbourhood U of $$0\in {\mathbb {R}}^n$$ and constants $$C,C'>0$$ and $$k>1$$ such that for $$x\in U$$ $$\begin{aligned}&\nu (df(x))\ge C{\text {dist}}(x,Z)^{k-1}, \\&\left| \partial ^{s} (f_i-g_i)(x) \right| \le C'\nu (df(x))^{r+k-|s|}, \end{aligned}$$ for any $$i\in \{1,\dots , m\}$$ and for any $$s \in \mathbf {\mathbb {N}}^n_0$$ such that $$|s|\le r$$ , then there exists a $$C^r$$ diffeomorphism $$\varphi :({\mathbb {R}}^n,0)\rightarrow ({\mathbb {R}}^n,0)$$ such that $$f=g\circ \varphi $$ in a neighbourhood of $$0\in {\mathbb {R}}^n$$ . By $$\nu (df)$$ we denote the Rabier function.     

\mathcal {PT} -Symmetric Waveguides

We introduce a planar waveguide of constant width with non-Hermitian -symmetric Robin boundary conditions. We study the spectrum of this system in the regime when the boundary coupling function is a compactly supported perturbation of a homogeneous coupling. We prove that the essential spectrum is positive and independent of such perturbation, and that the residual spectrum is empty. Assuming that the perturbation is small in the supremum norm, we show that it gives rise to real weakly-coupled eigenvalues converging to the threshold of the essential spectrum. We derive sufficient conditions for these eigenvalues to exist or to be absent. Moreover, we construct the leading terms of the asymptotic expansions of these eigenvalues and the associated eigenfunctions.      

Regularized sums of half-integer powers of a Sturm-Liouville operator

We investigate the question of the regularized sums of part of the eigenvalues z_n (lying along a direction) of a Sturm-Liouville operator. The first regularized sum is $$\sum\nolimits_{n = 1}^\infty {(z_n - n - \frac{{c_1 }}{n} + \frac{2}{\pi } \cdot z_n arctg \frac{1}{{z_n }} - \frac{2}{\pi }) = \frac{{B_2 }}{2} - c_1 \cdot \gamma + \int_1^\infty {\left[ {R(z) - \frac{{l_0 }}{{\sqrt z }} - \frac{{l_1 }}{z} - \frac{{l_2 }}{{z\sqrt z }}} \right]} } \sqrt z dz,$$ where the z_n are eigenvalues lying along the positive semi-axis, z _n ² =λ_n, $$l_0 = \frac{\pi }{2}, l_1 = - \frac{1}{2}, l_2 = - \frac{1}{4}\int_0^\pi {q(x) dx,} c_1 = - \frac{2}{\pi }l_2 ,$$ , B₂ is a Bernoulli number, γ is Euler's constant, and \(R(z)\) is the trace of the resolvent of a Sturm-Liouville operator.     

The universal minimal one parameter system with quasi-discrete spectrum

The universal minimal one parameter system will be characterized as the space $$\Gamma ^{\infty }$$, in which $$\Gamma$$ is the Bohr compactification of the additive group $${\mathbb {R}}$$ of real numbers. In this way, we need to show that $$\Gamma ^\infty$$ is isomorphic to the spectrum of $$W({\mathbb {R}})$$, the norm closure of the invariant algebra generated by the maps $$\exp q(t)$$, where q(t) is a real polynomial on $${\mathbb {R}}$$.     

On the Fourier–Walsh Transform of Functions from Dyadic Dini–Lipschitz Classes on the Semiaxis

Mathematical Notes - Let $$f(x)$$ be a function belonging to the Lebesgue class $$L^p({\mathbb R}_+)$$ on the semiaxis $${\mathbb R}_+=[0,+\infty)$$ , $$1\le p\le 2$$ , and let $$\widehat{f}$$ be...