-
Asymptotics Related to a Binary Search Scheme
Authors:
Vassilis G. Papanicolaou
Abstract:
Specimens are collected from $N$ different sources. Each specimen has probability $p$ of being contaminated, independently of the other specimens. We assume group testing is applicable, namely one can take small portions from several specimens, mix them together, and test the mixture for contamination, so that if the test turns positive, then at least one of the samples in the mixture is contamina…
▽ More
Specimens are collected from $N$ different sources. Each specimen has probability $p$ of being contaminated, independently of the other specimens. We assume group testing is applicable, namely one can take small portions from several specimens, mix them together, and test the mixture for contamination, so that if the test turns positive, then at least one of the samples in the mixture is contaminated.
In this paper we derive asymptotics, as $N$ gets large, of the expectation and the variance of the number $T(N)$ of tests required in order to find all contaminated specimens, under the binary search scheme we introduced in \cite{P} (see, also, arXiv:2007.11910). In \cite{P} the probability $p$ was fixed, whereas in the present work we consider the case where $p \sim a / N^{-β}$, $a, β> 0$ with emphasis on the case $β= 1$, which turns out to be the most interesting.
△ Less
Submitted 22 September, 2024;
originally announced September 2024.
-
Non-Self-Adjoint Hill Operators whose Spectrum is a Real Interval
Authors:
Vassilis G. Papanicolaou
Abstract:
Let $H = -d^2/dx^2 + q(x)$, $x \in \mathbb{R}$, where $q(x)$ is a periodic potential, and suppose that the spectrum $σ(H)$ of $H$ is the positive semi-axis $[0, \infty)$. In the case where $q(x)$ is real-valued (and locally square-integrable) a well-known result of G. Borg states that $q(x)$ must vanish almost everywhere. However, as it was first observed by M.G. Gasymov, there is an abundance of…
▽ More
Let $H = -d^2/dx^2 + q(x)$, $x \in \mathbb{R}$, where $q(x)$ is a periodic potential, and suppose that the spectrum $σ(H)$ of $H$ is the positive semi-axis $[0, \infty)$. In the case where $q(x)$ is real-valued (and locally square-integrable) a well-known result of G. Borg states that $q(x)$ must vanish almost everywhere. However, as it was first observed by M.G. Gasymov, there is an abundance of complex-valued potentials for which $σ(H) = [0, \infty)$.
In this article we conjecture a characterization of all complex-valued potentials whose spectrum is $[0, \infty)$. We also present an analog of Borg's result for complex potentials.
△ Less
Submitted 16 September, 2024;
originally announced September 2024.
-
Examples of fourth-order scattering-type operators with embedded eigenvalues in their continuous spectra
Authors:
Vassilis G. Papanicolaou
Abstract:
We give examples of fourth-order scattering-type operators, acting on $L_2(\mathbb{R})$, which have eigenvalues embedded in their continuous spectra.
We give examples of fourth-order scattering-type operators, acting on $L_2(\mathbb{R})$, which have eigenvalues embedded in their continuous spectra.
△ Less
Submitted 2 October, 2021;
originally announced October 2021.
-
On the order and the type of an entire function
Authors:
Vassilis G. Papanicolaou,
Eva Kallitsi,
George Smyrlis
Abstract:
In this short article we present some properties regarding the order and the type of an entire function.
In this short article we present some properties regarding the order and the type of an entire function.
△ Less
Submitted 6 September, 2021;
originally announced September 2021.
-
The Weierstrass $\wp$-function of the hexagonal lattice
Authors:
Vassilis G. Papanicolaou
Abstract:
We present some properties of the Weierstrass $\wp$-function associated to the hexagonal (or triangular) lattice. In particular, with the help of an old theorem of I.N. Baker \cite{B} on the characterization of meromorphic solutions of the equation $X^3 + Y^3 = 1$ we determine the zeros of the function $\wp'(z) \pm \sqrt{3}$.
We present some properties of the Weierstrass $\wp$-function associated to the hexagonal (or triangular) lattice. In particular, with the help of an old theorem of I.N. Baker \cite{B} on the characterization of meromorphic solutions of the equation $X^3 + Y^3 = 1$ we determine the zeros of the function $\wp'(z) \pm \sqrt{3}$.
△ Less
Submitted 10 May, 2021;
originally announced May 2021.
-
A binary search scheme for determining all contaminated specimens
Authors:
Vassilis G. Papanicolaou
Abstract:
Specimens are collected from $N$ different sources. Each specimen has probability $p$ of being contaminated (e.g., in the case of an infectious disease, $p$ is the prevalence rate), independently of the other specimens. In many cases group testing is applicable, namely one can take small portions from several specimens, mix them together and test the mixture for contamination, so that if the test…
▽ More
Specimens are collected from $N$ different sources. Each specimen has probability $p$ of being contaminated (e.g., in the case of an infectious disease, $p$ is the prevalence rate), independently of the other specimens. In many cases group testing is applicable, namely one can take small portions from several specimens, mix them together and test the mixture for contamination, so that if the test turns positive, then at least one of the samples in the mixture is contaminated.
In this paper we give a detailed probabilistic analysis of a binary search scheme, we propose, for determining all contaminated specimens. More precisely, we study the number $T(N)$ of tests required in order to find all the contaminated specimens, if this search scheme is applied. We derive recursive and, in some cases, explicit formulas for the expectation, the variance, and the characteristic function of $T(N)$. Also, we determine the asymptotic behavior of the moments of $T(N)$ as $N \to \infty$ and from that we obtain the limiting distribution of $T(N)$ (appropriately normalized), which turns out to be normal.
△ Less
Submitted 30 January, 2024; v1 submitted 23 July, 2020;
originally announced July 2020.
-
The Coupon Collector's Brother
Authors:
Vassilis G. Papanicolaou,
Aristides V. Doumas
Abstract:
A popular variant of the collector's problem is the following: Assume there are $N$ different types of coupons with equal occurring probabilities. There is one main collector who collects coupons. When she gets a "double," she gives it to her younger brother. Hence, when the main collector completes her collection, her brother's album will still have, say, $U_N$ empty spaces. We show that, as…
▽ More
A popular variant of the collector's problem is the following: Assume there are $N$ different types of coupons with equal occurring probabilities. There is one main collector who collects coupons. When she gets a "double," she gives it to her younger brother. Hence, when the main collector completes her collection, her brother's album will still have, say, $U_N$ empty spaces. We show that, as $N \to \infty$, the limiting distribution of $U_N/\ln N$ is exponential with parameter $1$.
△ Less
Submitted 12 May, 2020; v1 submitted 11 May, 2020;
originally announced May 2020.
-
On an Old Question of Erdős and Rényi Arising in the Delay Analysis of Broadcast Channels
Authors:
Vassilis G. Papanicolaou,
Aristides V. Doumas
Abstract:
Consider a broadcast channel with $n$ users, where different users receive different messages, and suppose that each user has to receive $m$ packets. A quantity of interest here, introduced by Sharif and Hassibi (2006-7) \cite{Sh}, \cite{S-H}, is the (\emph{packet}) \emph{delay} $D_{m,n}$, namely the number of channel uses required to guarantee that all users will receive $m$ packets. For the case…
▽ More
Consider a broadcast channel with $n$ users, where different users receive different messages, and suppose that each user has to receive $m$ packets. A quantity of interest here, introduced by Sharif and Hassibi (2006-7) \cite{Sh}, \cite{S-H}, is the (\emph{packet}) \emph{delay} $D_{m,n}$, namely the number of channel uses required to guarantee that all users will receive $m$ packets. For the case of a \emph{homogeneous} network, where in each channel use the transmitter chooses a user at random, i.e. with probability $1/n$, and sends him$/$her a packet, the same quantity $D_{m,n}$ had already appeared in the \emph{coupon collector} context, in the works of Newman and Shepp (1960) \cite{N-S} and of Erdős and Rényi (1961) \cite{E-R}.
A problem of particular interest in wireless communications, related to the delay $D_{m,n}$, is to determine its behavior as $n$ and $m$ grow large. Regarding this problem, Sharif and Hassibi \cite{Sh}, \cite{S-H} managed to calculated the asymptotics of the mean value $\mathbb{E}[D_{m,n}]$, as $n \to \infty$, for the cases (a) $m = \ln n$ and (b) $m = (\ln n)^ρ$, $ρ> 1$. It is remarkable that Erdős and Rényi \cite{E-R} had, also, raised the question of the determination of the asymptotic profile of $D_{m,n}$ for large $m$ and $n$ (in 1961). And in the 1970's the limiting distribution of $D_{m,n}$ for large $m$ and $n$ was determined (in great generality) by Ivchenko \cite{I1} and \cite{I2}.
In this article we determine the asymptotics of the moments of $D_{m,n}$ for large $m$ and $n$. We also derive its limiting distribution in the "supercritical case" where $m$ grows faster than $\ln n$ and in the "critical case" $m \sim β\ln n$, by an approach which is different from the one used by Ivchenko.
△ Less
Submitted 1 September, 2020; v1 submitted 29 March, 2020;
originally announced March 2020.
-
Interpolating the Derivatives of the Gamma Function
Authors:
Vassilis G. Papanicolaou
Abstract:
We consider a function $G(λ, z)$, entire in $λ$, which interpolates the derivatives of the Gamma function in the sense that $G(m, z) = Γ^{(m)}(z)$ for any integer $m \geq 0$ and we calculate the asymptotics of $G(λ, z)$ as $λ\to +\infty$.
We consider a function $G(λ, z)$, entire in $λ$, which interpolates the derivatives of the Gamma function in the sense that $G(m, z) = Γ^{(m)}(z)$ for any integer $m \geq 0$ and we calculate the asymptotics of $G(λ, z)$ as $λ\to +\infty$.
△ Less
Submitted 4 November, 2019;
originally announced November 2019.
-
Periodic Jacobi Operators with Complex Coefficients
Authors:
Vassilis G. Papanicolaou
Abstract:
We present certain results on the direct and inverse spectral theory of the Jacobi operator with complex periodic coefficients. For instance, we show that any $N$-th degree polynomial whose leading coefficient is $(-1)^N$ is the Hill discriminant of finitely many discrete $N$-periodic Schrödinger operators (Theorem 1). Also, in the case where the spectrum is a closed interval we prove a result (Th…
▽ More
We present certain results on the direct and inverse spectral theory of the Jacobi operator with complex periodic coefficients. For instance, we show that any $N$-th degree polynomial whose leading coefficient is $(-1)^N$ is the Hill discriminant of finitely many discrete $N$-periodic Schrödinger operators (Theorem 1). Also, in the case where the spectrum is a closed interval we prove a result (Theorem 5) which is the analog of Borg's Theorem for the non-self-adjoint Jacobi case.
△ Less
Submitted 28 September, 2019; v1 submitted 19 September, 2019;
originally announced September 2019.
-
Analytic Solutions of the Heat Equation
Authors:
Vassilis G. Papanicolaou,
Eva Kallitsi,
George Smyrlis
Abstract:
Motivated by the recent proof of Newman's conjecture \cite{R-T} we study certain properties of entire caloric functions, namely solutions of the heat equation $\partial_t F = \partial_z^2 F$ which are entire in $z$ and $t$. As a prerequisite, we establish some general properties of the order and type of an entire function. Then, we start our inquiry on entire caloric functions by determining the n…
▽ More
Motivated by the recent proof of Newman's conjecture \cite{R-T} we study certain properties of entire caloric functions, namely solutions of the heat equation $\partial_t F = \partial_z^2 F$ which are entire in $z$ and $t$. As a prerequisite, we establish some general properties of the order and type of an entire function. Then, we start our inquiry on entire caloric functions by determining the necessary and sufficient condition for a function $f(z)$ to be the initial condition of an entire solutions of the heat equation and, subsequently, we examine the relation of the $z$-order and $z$-type of an entire caloric function $F(t, z)$, viewed as function of $z$, to its $t$-order and $t$-type respectively, if it is viewed as function of $t$. After that, we shift our attention to the zeros $z_k(t)$ of an entire caloric function $F(t, z)$, viewed as function of $z$. We show that the points $(t, z)$ at which $F(t, z) = \partial_z F(t, z) = 0$ form a discrete set in $\mathbb{C}^2$ and we derive the $t$-evolution equations of the zeros of $F(t, z)$. These are differential equations which hold for all but countably many $t \in \mathbb{C}$.
△ Less
Submitted 8 June, 2019; v1 submitted 5 June, 2019;
originally announced June 2019.
-
Uniform versus Zipf distribution in a mixing collection process
Authors:
Aristides V. Doumas,
Vassilis G. Papanicolaou
Abstract:
We consider the following variant of the classic collector's problem: The family of coupon probabilities is the mixing of two subfamilies one of which is the \textit{uniform} family, while the other belongs to the well known \textit{Zipf family}. We obtain asymptotics for the expectation, the second rising moment, and the variance of the random variable $T_N$, namely the number of trials needed fo…
▽ More
We consider the following variant of the classic collector's problem: The family of coupon probabilities is the mixing of two subfamilies one of which is the \textit{uniform} family, while the other belongs to the well known \textit{Zipf family}. We obtain asymptotics for the expectation, the second rising moment, and the variance of the random variable $T_N$, namely the number of trials needed for all the $N$ types of coupons to be collected (at least once, with replacement) as $N \rightarrow \infty$. It is interesting that the effect of the uniform subcollection on the asymptotics of the expectation of $T_N$ (at least up to the sixth term) appears only in the leading factor of the expectation of $T_N$. The limiting distribution of $T_N$ is derived as well. These results answer a question placed in a recent work of ours [\textit{Electron. J. Probab.} \textbf{18} (2012) 1--15].
△ Less
Submitted 22 April, 2019;
originally announced April 2019.
-
Sampling from a mixture of different groups of coupons
Authors:
Aristides V. Doumas,
Vassilis G. Papanicolaou
Abstract:
A collector samples coupons with replacement from a pool containing $g$ \textit{uniform} groups of coupons, where "uniform group" means that all coupons in the group are equally likely to occur. For each $j = 1, \dots, g$ let $T_j$ be the number of trials needed to detect Group $j$, namely to collect all $M_j$ coupons belonging to it at least once. We derive an explicit formula for the probability…
▽ More
A collector samples coupons with replacement from a pool containing $g$ \textit{uniform} groups of coupons, where "uniform group" means that all coupons in the group are equally likely to occur. For each $j = 1, \dots, g$ let $T_j$ be the number of trials needed to detect Group $j$, namely to collect all $M_j$ coupons belonging to it at least once. We derive an explicit formula for the probability that the $l$-th group is the first one to be detected (symbolically, $P\{T_l = \bigwedge_{j=1}^g T_j\}$). We also compute the asymptotics of this probability in the case $g=2$ as the number of coupons grows to infinity in a certain manner. Then, in the case of two groups we focus on $T := T_1 \vee T_2$, i.e. the number of trials needed to collect all coupons of the pool (at least once). We determine the asymptotics of $E[T]$ and $V[T]$, as well as the limiting distribution of $T$ (appropriately normalized) as the number of coupons becomes very large.
△ Less
Submitted 12 November, 2018; v1 submitted 13 September, 2017;
originally announced September 2017.
-
An Arctangent Law
Authors:
Vassilis G. Papanicolaou
Abstract:
Let $M_r$ be the maximum value of an one-dimensional Brownian motion on the (time) interval $[0, r]$. We derive an explicit formula for the distribution of the time required (after $r$) for the Brownian motion to exceed $M_r$.
Let $M_r$ be the maximum value of an one-dimensional Brownian motion on the (time) interval $[0, r]$. We derive an explicit formula for the distribution of the time required (after $r$) for the Brownian motion to exceed $M_r$.
△ Less
Submitted 16 February, 2016;
originally announced February 2016.
-
The logarithmic Zipf version of the coupon collector's problem
Authors:
Aristides V. Doumas,
Vassilis G. Papanicolaou
Abstract:
A collector wishes to collect $m$ complete sets of $N$ distinct coupons. The draws from the population are considered to be independent and identical distributed with replacement, and the probability that a type-$j$ coupon is drawn is noted as $p_{j}$. Let $T_{m}(N)$ the number of trials needed for this problem. We present the asymptotics for the expectation (five terms plus an error), the second…
▽ More
A collector wishes to collect $m$ complete sets of $N$ distinct coupons. The draws from the population are considered to be independent and identical distributed with replacement, and the probability that a type-$j$ coupon is drawn is noted as $p_{j}$. Let $T_{m}(N)$ the number of trials needed for this problem. We present the asymptotics for the expectation (five terms plus an error), the second rising moment (six terms plus an error), and the variance of $T_{m}(N)$ (leading term), as well as its limit distribution as $N\rightarrow \infty$, when \begin{equation*} p_{j}=\frac{a_{j}}{\sum_{j=2}^{N+1} a_{j}}, \,\,\,\text{where}\,\,\, a_{j}=\left(\ln j\right)^{-p}, \,\,p>0. \end{equation*} These "log-Zipf" classes of coupon probabilities are not covered by the existing literature and the present paper comes to fill this gap. Therefore, we enlarge the classes for which the collector's problem is solved (moments, variance, distribution).
△ Less
Submitted 30 October, 2015;
originally announced October 2015.
-
A Randomized Version of the Collatz $3x + 1$ Problem
Authors:
Aristides V. Doumas,
Vassilis G. Papanicolaou
Abstract:
We propose a stochastic version of the Collatz $3x + 1$ Problem.
We propose a stochastic version of the Collatz $3x + 1$ Problem.
△ Less
Submitted 12 March, 2015;
originally announced March 2015.
-
Inverse problem with transmission eigenvalues for the discrete Schrödinger equation
Authors:
Tuncay Aktosun,
Vassilis G. Papanicolaou
Abstract:
The discrete Schrödinger equation with the Dirichlet boundary condition is considered on a half-line lattice when the potential is real valued and compactly supported. The inverse problem of recovery of the potential from the so-called transmission eigenvalues is analyzed. The Marchenko method and the Gel'fand-Levitan method are used to solve the inverse problem uniquely, except in one "unusual" c…
▽ More
The discrete Schrödinger equation with the Dirichlet boundary condition is considered on a half-line lattice when the potential is real valued and compactly supported. The inverse problem of recovery of the potential from the so-called transmission eigenvalues is analyzed. The Marchenko method and the Gel'fand-Levitan method are used to solve the inverse problem uniquely, except in one "unusual" case where the sum of the transmission eigenvalues is equal to a certain integer related to the support of the potential. It is shown that in the unusual case there may be a unique solution corresponding to certain sets of transmission eigenvalues, there may be a finite number of distinct potentials for some sets of transmission eigenvalues, or there may be infinitely many potentials for some sets of transmission eigenvalues. The theory presented is illustrated with several explicit examples.
△ Less
Submitted 28 January, 2015;
originally announced January 2015.
-
Some Results on Ordinary Differential Operators with Periodic Coefficients
Authors:
Vassilis G. Papanicolaou
Abstract:
For a general ordinary differential operator $\mathcal{L}$ with periodic coefficients we prove that the characteristic polynomial of the Floquet matrix is irreducible over the field of meromorphic functions. We also consider a multipoint eigenvalue problem and show that its eigenspaces are spanned by pure or generalized Floquet solutions. Finally, at the end of the paper we mention some relevant c…
▽ More
For a general ordinary differential operator $\mathcal{L}$ with periodic coefficients we prove that the characteristic polynomial of the Floquet matrix is irreducible over the field of meromorphic functions. We also consider a multipoint eigenvalue problem and show that its eigenspaces are spanned by pure or generalized Floquet solutions. Finally, at the end of the paper we mention some relevant conjectures and open questions.
△ Less
Submitted 15 January, 2015; v1 submitted 14 December, 2014;
originally announced December 2014.
-
Similarity Solutions of a Replicator Dynamics Equation Associated to a Continuum of Pure Strategies
Authors:
Vassilis G. Papanicolaou,
Kyriakie Vasilakopoulou
Abstract:
We introduce a nonlinear degenerate parabolic equation containing a nonlocal term. The equation serves as a replicator dynamics model where the set of strategies is a continuum. In our model the payoff operator (which is the continuous analog of the payoff matrix) is nonsymmetric and, also, evolves with time. We are interested in solutions $u(t, x)$ of our equation which are positive and their int…
▽ More
We introduce a nonlinear degenerate parabolic equation containing a nonlocal term. The equation serves as a replicator dynamics model where the set of strategies is a continuum. In our model the payoff operator (which is the continuous analog of the payoff matrix) is nonsymmetric and, also, evolves with time. We are interested in solutions $u(t, x)$ of our equation which are positive and their integral (with respect to $x$) over the whole space is $1$, for any $t > 0$. These solutions, being probability densities, can serve as time-evolving mixed strategies of a player. We show that for our model there is an one-parameter family of self-similar such solutions $u(t, x)$, all approaching the Dirac delta function $δ(x)$ as $t \to 0^+$.
△ Less
Submitted 14 December, 2014;
originally announced December 2014.
-
The Siblings of the Coupon Collector
Authors:
Aristides V. Doumas,
Vassilis G. Papanicolaou
Abstract:
The following variant of the collector's problem has attracted considerable attention relatively recently (see, e.g., N. Pintacuda 1980, D. Foata H. Guo-Niu and B. Lass 2001, D. Foata and D. Zeilberger 2003, I. Adler, S. Oren and S. Ross 2003, and S. Ross 2010): There is one main collector who collects coupons. Assume there are $N$ different types of coupons with, in general, unequal occurring pro…
▽ More
The following variant of the collector's problem has attracted considerable attention relatively recently (see, e.g., N. Pintacuda 1980, D. Foata H. Guo-Niu and B. Lass 2001, D. Foata and D. Zeilberger 2003, I. Adler, S. Oren and S. Ross 2003, and S. Ross 2010): There is one main collector who collects coupons. Assume there are $N$ different types of coupons with, in general, unequal occurring probabilities. When the main collector gets a "double", she gives it to her older brother; when this brother gets a "double", he gives it to the next brother, and so on. Hence, when the main collector completes her collection, the album of the $j$-th sibling, $j = 2, 3, \dots$, will still have $U_j^N$ empty spaces. In this article we develop techniques of computing asymptotics of the average $E[U_j^N]$ of $U_j^N$ as $N \rightarrow \infty,$ for a large class of families of coupon probabilities. We also give various illustrative examples.
△ Less
Submitted 14 December, 2014;
originally announced December 2014.
-
The Coupon Collector's Problem Revisited: Generalizing the Double Dixie Cup Problem of Newman and Shepp
Authors:
Aristides V. Doumas,
Vassilis G. Papanicolaou
Abstract:
The "double Dixie cup problem" of D.J. Newman and L. Shepp (1960) is a well-known variant of the coupon collector's problem, where the object of study is the number $T_{m}(N)$ of coupons that a collector has to buy in order to complete $m$ sets of all $N$ existing different coupons. More precisely, the problem is to determine the asymptotics of the expectation (and the variance) of $T_{m}(N)$, as…
▽ More
The "double Dixie cup problem" of D.J. Newman and L. Shepp (1960) is a well-known variant of the coupon collector's problem, where the object of study is the number $T_{m}(N)$ of coupons that a collector has to buy in order to complete $m$ sets of all $N$ existing different coupons. More precisely, the problem is to determine the asymptotics of the expectation (and the variance) of $T_{m}(N)$, as well as its limit distribution, as the number $N$ of different coupons becomes arbitrarily large. The classical case of the problem, namely the case of equal coupon probabilities, is here extended to the general case, where the probabilities of the selected coupons are unequal.
In the beginning of the article we give a brief review of the formulas for the moments and the moment generating function of the random variable $T_{m}(N)$. Then, we develop techniques of computing the asymptotics of the first and the second moment of $T_{m}(N)$ (our techniques apply to the higher moments of $T_{m}(N)$ as well). From these asymptotic formulas we obtain the leading behavior of the variance $V[\,T_{m}(N)\,]$ as $N \to \infty$. Finally, based on the asymptotics of $E[\,T_{m}(N)\,]$ and $V[\,T_{m}(N)\,]$ we obtain the limit distribution of the random variable $T_{m}(N)$ for large classes of coupon probabilities. As it turns out, in many cases, albeit not always, $T_{m}(N)$ (appropriately normalized) converges in distribution to a Gumbel random variable. Our results on the limit distribution of $T_{m}(N)$ generalize a well-known result of P. Erdős and A. Rényi (1961) regarding the limit distribution of $T_{m}(N)$ for the case of equal coupon probabilities.
△ Less
Submitted 5 November, 2015; v1 submitted 11 December, 2014;
originally announced December 2014.
-
Transmission eigenvalues for the selfadjoint Schrödinger operator on the half line
Authors:
Tuncay Aktosun,
Vassilis G. Papanicolaou
Abstract:
The transmission eigenvalues corresponding to the half-line Schrödinger equation with the general selfadjoint boundary condition is analyzed when the potential is real valued, integrable, and compactly supported. It is shown that a transmission eigenvalue corresponds to the energy at which the scattering from the perturbed system agrees with the scattering from the unperturbed system. A correspond…
▽ More
The transmission eigenvalues corresponding to the half-line Schrödinger equation with the general selfadjoint boundary condition is analyzed when the potential is real valued, integrable, and compactly supported. It is shown that a transmission eigenvalue corresponds to the energy at which the scattering from the perturbed system agrees with the scattering from the unperturbed system. A corresponding inverse problem for the recovery of the potential from a set containing the boundary condition and the transmission eigenvalues is analyzed, and a unique reconstruction of the potential is given provided one additional constant is contained in the data set. The results are illustrated with various explicit examples.
△ Less
Submitted 9 April, 2014;
originally announced April 2014.
-
Reconstruction of the wave speed from transmission eigenvalues for the spherically-symmetric variable-speed wave equation
Authors:
Tuncay Aktosun,
Vassilis G. Papanicolaou
Abstract:
The unique reconstruction of a spherically-symmetric wave speed $v$ is considered in a bounded spherical region of radius $b$ from the set of corresponding transmission eigenvalues for which the corresponding eigenfunctions are also spherically symmetric. If the integral of $1/v$ on the interval $[0,b]$ is less than $b,$ assuming that there exists at least one $v$ corresponding to the data, $v$ is…
▽ More
The unique reconstruction of a spherically-symmetric wave speed $v$ is considered in a bounded spherical region of radius $b$ from the set of corresponding transmission eigenvalues for which the corresponding eigenfunctions are also spherically symmetric. If the integral of $1/v$ on the interval $[0,b]$ is less than $b,$ assuming that there exists at least one $v$ corresponding to the data, $v$ is uniquely reconstructed from the data consisting of such transmission eigenvalues and their "multiplicities," where the multiplicity is defined as the multiplicity of the transmission eigenvalue as a zero of a key quantity. When that integral is equal to $b,$ the unique reconstruction is presented when the data set contains one additional piece of information. Some similar results are presented for the unique reconstruction of the potential from the transmission eigenvalues with multiplicities for a related Schrödinger equation.
△ Less
Submitted 21 April, 2013;
originally announced April 2013.
