Source author record

Ovidiu Costin

Ovidiu Costin appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

17works
13topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

17 published item(s)

preprint2021arXiv

Uniformization and Constructive Analytic Continuation of Taylor Series

We analyze the problem of global reconstruction of functions as accurately as possible, based on partial information in the form of a truncated power series at some point, and additional analyticity properties. This situation occurs frequently in applications. The question of the optimal procedure was open, and we formulate it as a well-posed mathematical problem. Its solution leads to a practical method which provides dramatic accuracy improvements over existing techniques. Our procedure is based on uniformization of Riemann surfaces. As an application, we show that our procedure can be implemented for solutions of a wide class of nonlinear ODEs. We find a new uniformization method, which we use to construct the uniformizing maps needed for special functions, including solution of the Painlev'e equations P_I-P_V. We also introduce a new rigorous and constructive method of regularization, elimination of singularities whose position and type are known. If these are unknown, the same procedure enables a highly sensitive resonance method to determine the position and type of a singularity. In applications where less explicit information is available about the Riemann surface, our approach and techniques lead to new approximate, but still much more precise reconstruction methods than existing ones, especially in the vicinity of singularities, which are the points of greatest interest.

preprint2020arXiv

Exact solution of the Schrodinger equation for photoemission from a metal

We solve rigorously the time dependent Schrödinger equation describing electron emission from a metal surface by a laser field perpendicular to the surface. We consider the system to be one-dimensional, with the half-line $x<0$ corresponding to the bulk of the metal and $x>0$ to the vacuum. The laser field is modeled as a classical electric field oscillating with frequency $ω$, acting only at $x>0$. We consider an initial condition which is a stationary state of the system without a field, and, at time $t=0$, the field is switched on. We prove the existence of a solution $ψ(x,t)$ of the Schrödinger equation for $t>0$, and compute the surface current. The current exhibits a complex oscillatory behavior, which is not captured by the "simple" three step scenario. As $t\to\infty$, $ψ(x,t)$ converges with a rate $t^{-\frac32}$ to a time periodic function with period $\frac{2π}ω$ which coincides with that found by Faisal, Kamiński and Saczuk (Phys Rev A 72, 023412, 2015). However, for realistic values of the parameters, we have found that it can take quite a long time (over 50 laser periods) for the system to converge to its asymptote. Of particular physical importance is the current averaged over a laser period $\frac{2π}ω$, which exhibits a dramatic increase when $\hbarω$ becomes larger than the work function of the metal, which is consistent with the original photoelectric effect.

preprint2015arXiv

A direct method to find Stokes multipliers in closed form for P1 and more general integrable systems

We introduce a new rigorous method, based on Borel summability and asymptotic constants of motion generalizing \cite{invent} and \cite{ode1}, to analyze singular behavior of nonlinear ODEs in a neighborhood of infinity and provide global information about their solutions. In equations with the Painlevé-Kowalevski (P-K) property (stating that movable singularities are not branched) it allows for solving connection problems. The analysis in carried in detail for P$_1$, $y"=6y^2+z$, for which we find the Stokes multipliers in closed form and global asymptotics for solutions having power-like behavior in some direction in $\CC$, in particular for the tritronquées. Calculating the Stokes multipliers solely relies on the P-K property and does not use linearization techniques such as Riemann-Hilbert or isomonodromic reformulations. We discuss how the approach would work to calculate connection constants for a larger class of P-K integrable equations. We develop methods for finding asymptotic expansions in sectors where solutions have infinitely many singularities. These techniques do not rely on integrability and apply to more general second order ODEs which, after normalization, are asymptotically close to autonomous Hamiltonian systems.

preprint2015arXiv

Integration on the Surreals: a Conjecture of Conway, Kruskal and Norton

In his monograph On Numbers and Games, J. H. Conway introduced a real-closed field No of surreal numbers containing the reals and the ordinals, as well as a vast array of less familiar numbers. A longstanding aim has been to develop analysis on No as a powerful extension of ordinary analysis on the reals. This entails finding a natural way of extending important functions f from the reals to the reals to functions f* from the surreals to the surreals, and naturally defining integration on the f*. The usual square root, log, and exp were naturally extended to No by Bach, Conway, Kruskal, and Norton, retaining their usual properties. Later Norton also proposed a treatment of integration, but Kruskal discovered it has flaws. In his recent survey [2, p. 438], Siegel characterizes the question of the existence of a reasonable definition of surreal integration as "perhaps the most important open problem in the theory of surreal numbers." This paper addresses this and related unresolved issues with positive and negative results. In the positive direction, we show that semi-algebraic, semi-analytic, analytic, meromorphic, or more generally Écalle-Borel transseriable functions extend naturally to No, and an integral with good properties exists on them. In the negative direction, we show there is a fundamental set-theoretic obstruction to naturally extending many larger families of functions.

preprint2015arXiv

On the stability of self-similar solutions to nonlinear wave equations

We consider an explicit self-similar solution to an energy-supercritical Yang-Mills equation and prove its mode stability. Based on earlier work by one of the authors, we obtain a fully rigorous proof of the nonlinear stability of the self-similar blowup profile. This is a large-data result for a supercritical wave equation. Our method is broadly applicable and provides a general approach to stability problems related to self-similar solutions of nonlinear wave equations.

preprint2014arXiv

Foundational aspects of singular integrals

We investigate integration of classes of real-valued continuous functions on (0,1]. Of course difficulties arise if there is a non-$L^1$ element in the class, and the Hadamard finite part integral ({\em p.f.}) does not apply. Such singular integrals arise naturally in many contexts including PDEs and singular ODEs. The Lebesgue integral as well as $p.f.$, starting at zero, obey two fundamental conditions: (i) they act as antiderivatives and, (ii) if $f =g$ on $(0,a)$, then their integrals from $0$ to $x$ coincide for any $x\in (0,a)$. We find that integrals from zero with the essential properties of $p.f.$, plus positivity, exist by virtue of the Axiom of Choice (AC) on all functions on $(0,1]$ which are $L^1((ε,1])$ for all $ε>0$. However, this existence proof does not provide a satisfactory construction. Without some regularity at $0$, the existence of general antiderivatives which satisfy only (i) and (ii) above on classes with a non-$L^1$ element is independent of ZF (the usual ZFC axioms for mathematics without AC), and even of ZFDC (ZF with the Axiom of Dependent Choice). Moreover we show that there is no mathematical description that can be proved (within ZFC or even extensions of ZFC with large cardinal hypotheses) to uniquely define such an antiderivative operator. Such results are precisely formulated for a variety of sets of functions, and proved using methods from mathematical logic, descriptive set theory and analysis. We also analyze $p.f.$ on analytic functions in the punctured unit disk, and make the connection to singular initial value problems.

preprint2014arXiv

From Taylor series of analytic functions to their global analysis

We analyze the conditions on the Taylor coefficients of an analytic function to admit global analytic continuation, complementing a recent paper of Breuer and Simon on general conditions for natural boundaries to form. A new summation method is introduced to convert a relatively wide family of infinite sums and local expansions into integrals. The integral representations yield global information such as analytic continuability, position of singularities, asymptotics for large values of the variable and asymptotic location of zeros.

preprint2012arXiv

Oscillatory critical amplitudes in hierarchical models and the tail of the Harris random variable

Oscillatory critical amplitudes have been repeatedly observed in hierarchical models and, in the cases that have been taken into consideration, these oscillations are so small to be hardly detectable. Hierarchical models are tightly related to iteration of maps and, in fact, very similar phenomena have been repeatedly reported in many fields of mathematics, like combinatorial evaluations and discrete branching processes. It is precisely in the context of branching processes with bounded off-spring that T. Harris, in 1948, first set forth the possibility that the logarithm of the moment generating function of the rescaled population size, in the super-critical regime, does not grow near infinity as a power, but it has an oscillatory prefactor. These oscillations have been observed numerically only much later and, while the origin is clearly tied to the discrete character of the iteration, the amplitude size is not so well understood. The purpose of this note is to reconsider the issue for hierarchical models and in what is arguably the most elementary setting -- the pinning model -- that actually just boils down to iteration of polynomial maps (and, notably, quadratic maps). In this note we show that the oscillatory critical amplitude for pinning models and the oscillating pre factor connected to the Harris random variable coincide. Moreover we make explicit the link between these oscillatory functions and the geometry of the Julia set of the map, making thus rigorous and quantitative some ideas set forth by B. Derrida, C. Itzykson and J. M. Luck (CMP 1984).

preprint2012arXiv

The lifetime of shape oscillations of a bubble in an unbounded, inviscid and compressible fluid with surface tension

General perturbations of a spherical gas bubble in a compressible and inviscid fluid with surface tension were proved in Shapiro and Weinstein (2011), in the linearized approximation, to decay exponentially, $\sim e^{-Γt}, Γ>0$, as time advances. Formal asymptotic and numerical evidence led to the conjecture that $Γ\approx \frac{A}ε \frac{We}{ε^{2}} \exp(-B \frac{We}{ε^2})$, where $0<ε\ll1$ is the Mach number, We is the Weber number, and $A$ and $B$ are positive constants. In this paper, we prove this conjecture and calculate $A$ and $B$ to leading order in $ε$.

preprint2011arXiv

On the spectral properties of L_{+-} in three dimensions

This paper is part of the radial asymptotic stability analysis of the ground state soliton for either the cubic nonlinear Schrodinger or Klein-Gordon equations in three dimensions. We demonstrate by a rigorous method that the linearized scalar operators which arise in this setting, traditionally denoted by L_{+-}, satisfy the gap property, at least over the radial functions. This means that the interval (0,1] does not contain any eigenvalues of L_{+-} and that the threshold 1 is neither an eigenvalue nor a resonance. The gap property is required in order to prove scattering to the ground states for solutions starting on the center-stable manifold associated with these states. This paper therefore provides the final installment in the proof of this scattering property for the cubic Klein-Gordon and Schrodinger equations in the radial case, see the recent theory of Nakanishi and the third author, as well as the earlier work of the third author and Beceanu on NLS. The method developed here is quite general, and applicable to other spectral problems which arise in the theory of nonlinear equations.

preprint2011arXiv

Semiclassical low energy scattering for one-dimensional Schrödinger operators with exponentially decaying potentials

We consider semiclassical Schrödinger operators on the real line of the form $$H(\hbar)=-\hbar^2 \frac{d^2}{dx^2}+V(\cdot;\hbar)$$ with $\hbar>0$ small. The potential $V$ is assumed to be smooth, positive and exponentially decaying towards infinity. We establish semiclassical global representations of Jost solutions $f_\pm(\cdot,E;\hbar)$ with error terms that are uniformly controlled for small $E$ and $\hbar$, and construct the scattering matrix as well as the semiclassical spectral measure associated to $H(\hbar)$. This is crucial in order to obtain decay bounds for the corresponding wave and Schrödinger flows. As an application we consider the wave equation on a Schwarzschild background for large angular momenta $\ell$ where the role of the small parameter $\hbar$ is played by $\ell^{-1}$. It follows from the results in this paper and \cite{DSS2}, that the decay bounds obtained in \cite{DSS1}, \cite{DS} for individual angular momenta $\ell$ can be summed to yield the sharp $t^{-3}$ decay for data without symmetry assumptions.

preprint2010arXiv

Resurgence of the Kontsevich-Zagier power series

The paper is concerned with the Kontsevich-Zagier formal power series $$ f(q)=\sum_{n=0}^\infty (1-q)... (1-q^n) $$ and its analytic properties. To begin with, we give an explicit formula for the Borel transform of the associated formal power series $F(x)=e^{-1/(24x)}f(e^{-1/x})$ from which its analytic continuation, its singularities and their structure can be manifestly determined. This gives rise to right/left and median summation of the original power series. These sums, which are well-defined in the open right half-plane are expressed by an integral formula involving the Dedekind eta function. The median sum can also be expressed as a series involving the complex error function. Moreover, it is shown using results of Zagier that the limiting values at $-1/(2 πi \a)$ for rational numbers $\a$ coincide with $F(-1/(2 πi \a))$. One motivation for studying the series $f(q)$ is Quantum Topology, which assigns numerical invariants to knotted 3-dimensional objects. Motivated by our results, we formulate a resurgence conjecture for the formal power series of knotted objects, which we prove in the case of the trefoil knot and the Poincare homology sphere, and more generally for torus knots and Seifert fibered 3-manifolds. In a subsequent publication we will study resurgence for a class of power series that includes the quantum invariants of the simplest hyperbolic $4_1$ knot.

preprint1997arXiv

Correlation between pole location and asymptotic behavior for Painlevé I solutions

We extend the technique of asymptotic series matching to exponential asymptotics expansions (transseries) and show that the extension provides a method of finding singularities of solutions of nonlinear differential equations, using asymptotic information. This transasymptotic matching method is applied to Painlevé's first equation. The solutions of P1 that are bounded in some direction towards infinity can be expressed as series of functions, obtained by generalized Borel summation of formal transseries solutions; the series converge in a neighborhood of infinity. We prove (under certain restrictions) that the boundary of the region of convergence contains actual poles of the associated solution. As a consequence, the position of these exterior poles is derived from asymptotic data. In particular, we prove that the location of the outermost pole $x_p(C)$ on $\RR^+$ of a solution is monotonic in a parameter $C$ describing its asymptotics on antistokes lines$^1$, and obtain rigorous bounds for $x_p(C)$. We also derive the behavior of $x_p(C)$ for large $C\in\CC$. The appendix gives a detailed classical proof that the only singularities of solutions of P1 are poles.

preprint1997arXiv

Singular normal form for the Painlevé equation P1

We show that there exists a rational change of coordinates of Painlevé's P1 equation $y''=6y^2+x$ and of the elliptic equation $y''=6y^2$ after which these two equations become analytically equivalent in a region in the complex phase space where $y$ and $y'$ are unbounded. The region of equivalence comprises all singularities of solutions of P1 (i.e. outside the region of equivalence, solutions are analytic). The Painlevé property of P1 (that the only movable singularities are poles) follows as a corollary. Conversely, we argue that the Painlevé property is crucial in reducing P1, in a singular regime, to an equation integrable by quadratures.