• ### An improvement of the Kolmogorov-Riesz compactness theorem(1705.01349)

March 21, 2019 math.FA
The purpose of this short note is to provide a new and very short proof of a result by Sudakov, offering an important improvement of the classical result by Kolmogorov-Riesz on compact subsets of Lebesgue spaces.
• ### The continuum limit of Follow-the-Leader models - a short proof(1709.07661)

Sept. 27, 2017 math.AP
We offer a simple and self-contained proof that the Follow-the-Leader model converges to the Lighthill-Whitham-Richards model for traffic flow.
• ### Follow-the-Leader models can be viewed as a numerical approximation to the Lighthill-Whitham-Richards model for traffic flow(1702.01718)

Sept. 21, 2017 math.AP
We show how to view the standard Follow-the-Leader (FtL) model as a numerical method to compute numerically the solution of the Lighthill--Whitham--Richards (LWR) model for traffic flow. As a result we offer a simple proof that FtL models converge to the LWR model for traffic flow when traffic becomes dense. The proof is based on techniques used in the analysis of numerical schemes for conservation laws, and the equivalence of weak entropy solutions of conservation laws in the Lagrangian and Eulerian formulation.
• ### On the equivalence of Eulerian and Lagrangian variables for the two-component Camassa-Holm system(1704.05289)

April 18, 2017 math.AP
The Camassa-Holm equation and its two-component Camassa-Holm system generalization both experience wave breaking in finite time. To analyze this, and to obtain solutions past wave breaking, it is common to reformulate the original equation given in Eulerian coordinates, into a system of ordinary differential equations in Lagrangian coordinates. It is of considerable interest to study the stability of solutions and how this is manifested in Eulerian and Lagrangian variables. We identify criteria of convergence, such that convergence in Eulerian coordinates is equivalent to convergence in Lagrangian coordinates. In addition, we show how one can approximate global conservative solutions of the scalar Camassa-Holm equation by smooth solutions of the two-component Camassa-Holm system that do not experience wave breaking.
• ### On the Braess Paradox with Nonlinear Dynamics and Control Theory(1703.09803)

March 27, 2017 math.AP
We show the existence of the Braess paradox for a traffic network with nonlinear dynamics described by the Lighthill-Whitham-Richards model for traffic flow. Furthermore, we show how one can employ control theory to avoid the paradox. The paper offers a general framework applicable to time-independent, uncongested flow on networks. These ideas are illustrated through examples.
• ### A Lipschitz metric for the Hunter-Saxton equation(1612.02961)

Dec. 9, 2016 math.AP
We analyze stability of conservative solutions of the Cauchy problem on the line for the (integrated) Hunter-Saxton (HS) equation. Generically, the solutions of the HS equation develop singularities with steep gradients while preserving continuity of the solution itself. In order to obtain uniqueness, one is required to augment the equation itself by a measure that represents the associated energy, and the breakdown of the solution is associated with a complicated interplay where the measure becomes singular. The main result in this paper is the construction of a Lipschitz metric that compares two solutions of the HS equation with the respective initial data. The Lipschitz metric is based on the use of the Wasserstein metric.
• ### On the index of meromorphic operator-valued functions and some applications(1512.06962)

Nov. 11, 2016 math.SP
We revisit and connect several notions of algebraic multiplicities of zeros of analytic operator-valued functions and discuss the concept of the index of meromorphic operator-valued functions in complex, separable Hilbert spaces. Applications to abstract perturbation theory and associated Birman-Schwinger-type operators and to the operator-valued Weyl-Titchmarsh functions associated to closed extensions of dual pairs of closed operators are provided.
• ### Convergence of finite difference schemes for the Benjamin-Ono equation(1408.3948)

April 26, 2016 math.AP, math.NA
In this paper, we analyze finite difference schemes for Benjamin-Ono equation, u_t = uu_x + Hu_{xx}, where H denotes the Hilbert transform. Both the decaying case on the full line and the periodic case are considered. If the initial data are sufficiently regular, fully discrete finite difference schemes shown to converge to a classical solution. Finally, the convergence is illustrated by several examples.
• ### Dirichlet-to-Neumann Maps, Abstract Weyl-Titchmarsh $M$-Functions, and a Generalized Index of Unbounded Meromorphic Operator-Valued Functions(1603.07089)

March 23, 2016 math.AP, math-ph, math.MP
We introduce a generalized index for certain meromorphic, unbounded, operator-valued functions. The class of functions is chosen such that energy parameter dependent Dirichlet-to-Neumann maps associated to uniformly elliptic partial differential operators, particularly, non-self-adjoint Schr\"odinger operators, on bounded Lipschitz domains, and abstract operator-valued Weyl-Titchmarsh $M$-functions and Donoghue-type $M$-functions corresponding to closed extensions of symmetric operators belong to it. The principal purpose of this paper is to prove index formulas that relate the difference of the algebraic multiplicities of the discrete eigenvalues of Robin realizations of non-self-adjoint Schr\"{o}dinger operators, and more abstract pairs of closed operators in Hilbert spaces with the generalized index of the corresponding energy dependent Dirichlet-to-Neumann maps and abstract Weyl-Titchmarsh $M$-functions, respectively.
• ### On Factorizations of Analytic Operator-Valued Functions and Eigenvalue Multiplicity Questions(1405.4910)

Jan. 28, 2016 math-ph, math.MP, math.FA, math.SP
We study several natural multiplicity questions that arise in the context of the Birman-Schwinger principle applied to non-self-adjoint operators. In particular, we re-prove (and extend) a recent result by Latushkin and Sukhtyaev by employing a different technique based on factorizations of analytic operator-valued functions due to Howland. Factorizations of analytic operator-valued functions are of particular interest in themselves and again we re-derive Howland's results and subsequently extend them. Considering algebraic multiplicities of finitely meromorphic operator-valued functions, we recall the notion of the index of a finitely meromorphic operator-valued function and use that to prove an analog of the well-known Weinstein-Aronszajn formula relating algebraic multiplicities of the underlying unperturbed and perturbed operators. Finally, we consider pairs of projections for which the difference belongs to the trace class and relate their Fredholm index to the index of the naturally underlying Birman-Schwinger operator.
• ### Real-valued algebro-geometric solutions of the two-component Camassa-Holm hierarchy(1512.03956)

Dec. 12, 2015 math.AP, math-ph, math.MP, nlin.SI
We provide a construction of the two-component Camassa-Holm (CH-2) hierarchy employing a new zero-curvature formalism and identify and describe in detail the isospectral set associated to all real-valued, smooth, and bounded algebro-geometric solutions of the $n$th equation of the stationary CH-2 hierarchy as the real $n$-dimensional torus $\mathbb{T}^n$. We employ Dubrovin-type equations for auxiliary divisors and certain aspects of direct and inverse spectral theory for self-adjoint singular Hamiltonian systems. In particular, we employ Weyl-Titchmarsh theory for singular (canonical) Hamiltonian systems. While we focus primarily on the case of stationary algebro-geometric CH-2 solutions, we note that the time-dependent case subordinates to the stationary one with respect to isospectral torus questions.
• ### Isentropic Fluid Dynamics in a Curved Pipe(1511.01397)

Nov. 4, 2015 math.AP
In this paper we study isentropic flow in a curved pipe. We focus on the consequences of the geometry of the pipe on the dynamics of the flow. More precisely, we present the solution of the general Cauchy problem for isentropic fluid flow in an arbitrarily curved, piecewise smooth pipe. We consider initial data in the subsonic regime, with small total variation about a stationary solution. The proof relies on the front-tracking method and is based on [1].
• ### Addendum to "The Kolmogorov--Riesz compactness theorem" (Expo. Math. 28:385--394 (2010))(1508.07892)

Oct. 7, 2015 math.CA
We show how to improve on Theorem 10 in [arXiv:0906.4883], describing when subsets in $W^{1,p}(\mathbb{R}^n)$ are totally bounded subsets of $L^q(\mathbb{R}^n)$ for $p<n$ and $p\le q<p^*$. This improvement was first shown by Dosso, Fofana, and Sanogo (2013) in the context of Morrey--Sobolov spaces.
• ### The general peakon-antipeakon solution for the Camassa-Holm equation(1502.07686)

Feb. 26, 2015 math.AP
We compute explicitly the peakon-antipeakon solution of the Camassa-Holm equation $u_t-u_{txx}+3uu_x-2u_xu_{xx}-uu_{xxx}=0$ in the non-symmetric and $\alpha$-dissipative case. The solution experiences wave breaking in finite time, and the explicit solution illuminates the interplay between the various variables.
• ### On an inverse problem for scalar conservation laws(1309.6945)

March 17, 2014 math.AP
We study in what sense one can determine the function $k=k(x)$ in the scalar hyperbolic conservation law $u_t+(k(x)f(u))_x=0$ by observing the solution $u(t,\dott)$ of the Cauchy problem with initial data $u|_{t=0}=u_o$.
• ### A continuous interpolation between conservative and dissipative solutions for the two-component Camassa-Holm system(1402.1060)

Feb. 5, 2014 math.AP
We introduce a novel solution concept, denoted $\alpha$-dissipative solutions, that provides a continuous interpolation between conservative and dissipative solutions of the Cauchy problem for the two-component Camassa-Holm system on the line with vanishing asymptotics. All the $\alpha$-dissipative solutions are global weak solutions of the same equation in Eulerian coordinates, yet they exhibit rather distinct behavior at wave breaking. The solutions are constructed after a transformation into Lagrangian variables, where the solution is carefully modified at wave breaking.
• ### Global dissipative solutions of the two-component Camassa-Holm system for initial data with nonvanishing asymptotics(1301.1445)

Jan. 8, 2013 math.AP
We show existence of a global weak dissipative solution of the Cauchy problem for the two-component Camassa-Holm (2CH) system on the line with nonvanishing and distinct spatial asymptotics. The influence from the second component in the 2CH system on the regularity of the solution, and, in particular, the consequences for wave breaking, is discussed. Furthermore, the interplay between dissipative and conservative solutions is treated.
• ### Periodic conservative solutions for the two-component Camassa-Holm system(1301.1558)

Jan. 8, 2013 math.AP
We construct a global continuous semigroup of weak periodic conservative solutions to the two-component Camassa-Holm system, $u_t-u_{txx}+\kappa u_x+3uu_x-2u_xu_{xx}-uu_{xxx}+\eta\rho\rho_x=0$ and $\rho_t+(u\rho)_x=0$, for initial data $(u,\rho)|_{t=0}$ in $H^1_{\rm per}\times L^2_{\rm per}$. It is necessary to augment the system with an associated energy to identify the conservative solution. We study the stability of these periodic solutions by constructing a Lipschitz metric. Moreover, it is proved that if the density $\rho$ is bounded away from zero, the solution is smooth. Furthermore, it is shown that given a sequence $\rho_0^n$ of initial values for the densities that tend to zero, then the associated solutions $u^n$ will approach the global conservative weak solution of the Camassa-Holm equation. Finally it is established how the characteristics govern the smoothness of the solution.
• ### Abstract Wave Equations and Associated Dirac-Type Operators(1012.4927)

Dec. 1, 2012 math.AP, math.FA
We discuss the unitary equivalence of generators $G_{A,R}$ associated with abstract damped wave equations of the type $\ddot{u} + R \dot{u} + A^*A u = 0$ in some Hilbert space $\mathcal{H}_1$ and certain non-self-adjoint Dirac-type operators $Q_{A,R}$ (away from the nullspace of the latter) in $\mathcal{H}_1 \oplus \mathcal{H}_2$. The operator $Q_{A,R}$ represents a non-self-adjoint perturbation of a supersymmetric self-adjoint Dirac-type operator. Special emphasis is devoted to the case where 0 belongs to the continuous spectrum of $A^*A$. In addition to the unitary equivalence results concerning $G_{A,R}$ and $Q_{A,R}$, we provide a detailed study of the domain of the generator $G_{A,R}$, consider spectral properties of the underlying quadratic operator pencil $M(z) = |A|^2 - iz R - z^2 I_{\mathcal{H}_1}$, $z\in\mathbb{C}$, derive a family of conserved quantities for abstract wave equations in the absence of damping, and prove equipartition of energy for supersymmetric self-adjoint Dirac-type operators. The special example where $R$ represents an appropriate function of $|A|$ is treated in depth and the semigroup growth bound for this example is explicitly computed and shown to coincide with the corresponding spectral bound for the underlying generator and also with that of the corresponding Dirac-type operator. The cases of undamped (R=0) and damped ($R \neq 0$) abstract wave equations as well as the cases $A^* A \geq \epsilon I_{\mathcal{H}_1}$ for some $\epsilon > 0$ and $0 \in \sigma (A^* A)$ (but 0 not an eigenvalue of $A^*A$) are separately studied in detail.
• ### Convergence of a fully discrete finite difference scheme for the Korteweg-de Vries equation(1208.6410)

Aug. 31, 2012 math.AP, math.NA
We prove convergence of a fully discrete finite difference scheme for the Korteweg--de Vries equation. Both the decaying case on the full line and the periodic case are considered. If the initial data $u|_{t=0}=u_0$ is of high regularity, $u_0\in H^3(\R)$, the scheme is shown to converge to a classical solution, and if the regularity of the initial data is smaller, $u_0\in L^2(\R)$, then the scheme converges strongly in $L^2(0,T;L^2_{\mathrm{loc}}(\R))$ to a weak solution.
• ### Operator splitting for well-posed active scalar equations(1201.6254)

Feb. 1, 2012 math.AP, math.NA
We analyze operator splitting methods applied to scalar equations with a nonlinear advection operator, and a linear (local or nonlocal) diffusion operator or a linear dispersion operator. The advection velocity is determined from the scalar unknown itself and hence the equations are so-called active scalar equations. Examples are provided by the surface quasi-geostrophic and aggregation equations. In addition, Burgers-type equations with fractional diffusion as well as the KdV and Kawahara equations are covered. Our main result is that the Godunov and Strang splitting methods converge with the expected rates provided the initial data is sufficiently regular.
• ### Global conservative solutions of the Camassa-Holm equation for initial data nonvanishing asymptotics(1106.4125)

June 21, 2011 math.AP
We study global conservative solutions of the Cauchy problem for the Camassa-Holm equation $u_t-u_{txx}+\kappa u_x+3uu_x-2u_xu_{xx}-uu_{xxx}=0$ with nonvanishing and distinct spatial asymptotics.
• ### Operator splitting for partial differential equations with Burgers nonlinearity(1102.4218)

Feb. 21, 2011 math.AP
We provide a new analytical approach to operator splitting for equations of the type $u_t=Au+u u_x$ where $A$ is a linear differential operator such that the equation is well-posed. Particular examples include the viscous Burgers' equation, the Korteweg-de Vries (KdV) equation, the Benney-Lin equation, and the Kawahara equation. We show that the Strang splitting method converges with the expected rate if the initial data are sufficiently regular. In particular, for the KdV equation we obtain second-order convergence in $H^r$ for initial data in $H^{r+5}$ with arbitrary $r\ge 1$.
• ### Operator splitting for two-dimensional incompressible fluid equations(1102.1094)

Feb. 5, 2011 math.AP, math.NA
We analyze splitting algorithms for a class of two-dimensional fluid equations, which includes the incompressible Navier-Stokes equations and the surface quasi-geostrophic equation. Our main result is that the Godunov and Strang splitting methods converge with the expected rates provided the initial data are sufficiently regular.
• ### Lipschitz metric for the Camassa-Holm equation on the line(1010.0561)

Oct. 4, 2010 math.AP
We study stability of solutions of the Cauchy problem on the line for the Camassa-Holm equation $u_t-u_{xxt}+3uu_x-2u_xu_{xx}-uu_{xxx}=0$ with initial data $u_0$. In particular, we derive a new Lipschitz metric $d_\D$ with the property that for two solutions $u$ and $v$ of the equation we have $d_\D(u(t),v(t))\le e^{Ct} d_\D(u_0,v_0)$. The relationship between this metric and the usual norms in $H^1$ and $L^\infty$ is clarified. The method extends to the generalized hyperelastic-rod equation $u_t-u_{xxt}+f(u)_x-f(u)_{xxx}+(g(u)+\frac12 f"(u)(u_x)^2)_x=0$ (for $f$ without inflection points).