Initial boundary value problems for the nonlinear Schrödinger equation

A new spectral method for solving initial boundary value problems for linear and integrable nonlinear partial differential equations in two independent variables is applied to the nonlinear Schrödinger equation and to its linearized version in the domain {x≥l(t), t≥0}. We show that there exist two cases: (a) if l″(t)<0, then the solution of the linear or nonlinear equations can be obtained by solving the respective scalar or matrix Riemann-Hilbert problem, which is defined on a time-dependent contour; (b) if l″(t)>0, then the Riemann-Hilbert problem is replaced by a respective scalar or matrix $\bar \partial $ problem on a time-independent domain. In both cases, the solution is expressed in a spectrally decomposed form.     

A quadrilateral Morley element for biharmonic equations

In this paper, we propose a Morley-type finite element for quadrilateral meshes to solve biharmonic problems. For each quadrilateral $Q$ , the finite element space is defined by the span of $P_2(Q)$ plus two functions in $P_3(Q)$ . Each of the cubic polynomials is the product of a pair of equations of opposite edges and the equation of the bimedian between them. The degrees of freedom consist of the values at vertices and integrals of normal derivatives over edges. Optimal orders of convergence are proved both in discrete $H^2$ and $H^1$ seminorms. Several numerical tests confirm the convergence analysis.     

Generations of integrable hierarchies and exact solutions of related evolution equations with variable coefficients

We first propose a way for generating Lie algebras from which we get a few kinds of reduced 6 6 Lie algebras, denoted by R6, R8 and R1,R6/2, respectively. As for applications of some of them, a Lax pair is introduced by using the Lie algebra R6 whose compatibility gives rise to an integrable hierarchy with 4- potential functions and two arbitrary parameters whose corresponding Hamiltonian structure is obtained by the variational identity. Then we make use of the Lie algebra R6 to deduce a nonlinear integrable coupling hierarchy of the mKdV equation whose Hamiltonian structure is also obtained. Again,via using the Lie algebra R62, we introduce a Lax pair and work out a linear integrable coupling hierarchy of the mKdV equation whose Hamiltonian structure is obtained. Finally, we get some reduced linear and nonlinear equations with variable coefficients and work out the elliptic coordinate solutions, exact traveling wave solutions, respectively.     

Dirichlet-to-Neumann semigroup acts as a magnifying glass

The first aim of this paper is to illustrate numerically that the Dirichlet-to-Neumann semigroup represented by P. Lax acts as a magnifying glass. In this perspective, we used the finite element method for discretizing of the correspondent boundary dynamical system using the implicit and explicit Euler schemes. We prove by using the Chernoff’s Theorem that the implicit and explicit Euler methods converge to the exact solution and we use the (P1)-finite elements to illustrate this convergence through a FreeFem++ implementation which provides a movie available online. In the Dirichlet-to-Neumann semigroup represented by P. Lax the conductivity \(\gamma \) is the identity matrix \(I_n\) , but for a different conductivity \(\gamma \) , the authors of Cornean et al. (J Inverse Ill-posed Prob 12:111–134, 2006) supplied an estimation of the operator norm of the difference between the Dirichlet-to-Neumann operator \(\Lambda _\gamma \) and \(\Lambda _1\) , when \(\gamma =\beta I_n\) and \(\beta =1\) near the boundary \(\partial \Omega \) (see Lemma 2.1). We will use this result to estimate the accuracy between the correspondent Dirichlet-to-Neumann semigroup and the Lax semigroup, for \(f\in H^{1/2}(\partial \Omega )\) .     

Macdonald processes

Macdonald processes are probability measures on sequences of partitions defined in terms of nonnegative specializations of the Macdonald symmetric functions and two Macdonald parameters $q,t \in [0,1)$ . We prove several results about these processes, which include the following. (1) We explicitly evaluate expectations of a rich family of observables for these processes. (2) In the case $t=0$ , we find a Fredholm determinant formula for a $q$ -Laplace transform of the distribution of the last part of the Macdonald-random partition. (3) We introduce Markov dynamics that preserve the class of Macdonald processes and lead to new “integrable” 2d and 1d interacting particle systems. (4) In a large time limit transition, and as $q$ goes to 1, the particles of these systems crystallize on a lattice, and fluctuations around the lattice converge to O’Connell’s Whittaker process that describe semi-discrete Brownian directed polymers. (5) This yields a Fredholm determinant for the Laplace transform of the polymer partition function, and taking its asymptotics we prove KPZ universality for the polymer (free energy fluctuation exponent $1/3$ and Tracy-Widom GUE limit law). (6) Under intermediate disorder scaling, we recover the Laplace transform of the solution of the KPZ equation with narrow wedge initial data. (7) We provide contour integral formulas for a wide array of polymer moments. (8) This results in a new ansatz for solving quantum many body systems such as the delta Bose gas.     

On the planar integrable differential systems

In this paper, we prove that the C ¹ planar differential systems that are integrable and non-Hamiltonian roughly speaking are C ¹ equivalent to the linear differential systems ${\dot u= u}$ , ${\dot v= v}$ . Additionally, we show that these systems have always a Lie symmetry. These results are improved for the class of polynomial differential systems defined in ${\mathbb{R}^2}$ or ${\mathbb{C}^2}$ .     

Everywhere regularity of certain nonlinear diffusion systems

In this paper I discuss nonlinear parabolic systems that are generalizations of scalar diffusion equations. More precisely, I consider systems of the form $$\mathbf{u}_t -\Delta\left[ \mathbf{\nabla}\Phi(\mathbf{u})\right] = 0,$$ where ${\Phi(z)}$ is a strictly convex function. I show that when ${\Phi}$ is a function only of the norm of u, then bounded weak solutions of these parabolic systems are everywhere Hölder continuous and thus everywhere smooth. I also show that the method used to prove this result can be easily adopted to simplify the proof of the result due to Wiegner (Math Ann 292(4):711–727, 1992) on everywhere regularity of bounded weak solutions of strongly coupled parabolic systems.     

On the regularity of positive solutions of a class of Choquard type equations

This paper is concerned with positive solutions of a class of Choquard type equations. Such equations are equivalent to integral systems involving the Bessel potential and the Riesz potential. By using two regularity lifting lemmas introduced by Chen and Li [2], we study the regularity for integrable solutions u. We first use the Hardy–Littlewood–Sobolev inequality to obtain an integrability result. Then, it is improved to ${u \in L^s(R^n)}$ for all ${s \in [1, \infty]}$ by an iteration. Next, we use the properties of the contraction map and the shrinking map to prove that u is Lipschitz continuous. Finally, we establish the smoothness of u by a bootstrap argument. Our technique can also be used to handle other integral systems involving the Riesz potential or the Bessel potential, such as the Hartree type equations.     

Convex hull property and maximum principle for finite element minimisers of general convex functionals

The convex hull property is the natural generalization of maximum principles from scalar to vector valued functions. Maximum principles for finite element approximations are often crucial for the preservation of qualitative properties of the respective physical model. In this work we develop a convex hull property for $\mathbb{P }_1$ conforming finite elements on simplicial non-obtuse meshes. The proof does not resort to linear structures of partial differential equations but directly addresses properties of the minimiser of a convex energy functional. Therefore, the result holds for very general nonlinear partial differential equations including e.g. the $p$ -Laplacian and the mean curvature problem. In the case of scalar equations the introduce techniques can be used to prove standard discrete maximum principles for nonlinear problems. We conclude by proving a strong discrete convex hull property on strictly acute triangulations.     

Two-dimensional Toda field equations related to the exceptional algebra \mathfrak{g}_2 : Spectral properties of the lax operators

We analyze spectral properties of the Lax operator corresponding to the two-dimensional Toda field equations related to the algebra $\mathfrak{g}_2 $ . We construct two minimal sets of scattering data $\mathcal{T}_s $ , s = 1, 2, understanding the map between the potential and each of the sets $\mathcal{T}_s $ as a generalized Fourier transformation. We construct explicit recursion operators with special factorization properties.     

Cohomological and Poisson structures and integrable hierarchies in tautological subbundles for Birkhoff strata of the Sato Grassmannian

We consider cohomological and Poisson structures associated with the special tautological subbundles $TB_{W_{1,2, \ldots n} }$ for the Birkhoff strata of the Sato Grassmannian. We show that the tangent bundles of $TB_{W_{1,2, \ldots n} }$ are isomorphic to the linear spaces of two-coboundaries with vanishing Harrison cohomology modules. A special class of two-coboundaries is provided by a system of integrable quasilinear partial differential equations. For the big cell, it is the hierarchy of dispersionless Kadomtsev-Petvishvili (dKP) equations. We also demonstrate that the families of ideals for algebraic varieties in $TB_{W_{1,2, \ldots n} }$ can be viewed as Poisson ideals. This observation establishes a relation between families of algebraic curves in $TB_{W_{\hat S} }$ and coisotropic deformations of such curves of zero and nonzero genus described by hierarchies of systems of hydrodynamic type; the dKP hierarchy is such a hierarchy. We note the interrelation between cohomological and Poisson structures.     

On semidiscrete constant mean curvature surfaces and their associated families

The present paper studies semidiscrete surfaces in three-dimensional Euclidean space within the framework of integrable systems. In particular, we investigate semidiscrete surfaces with constant mean curvature along with their associated families. The notion of mean curvature introduced in this paper is motivated by a recently developed curvature theory for quadrilateral meshes equipped with unit normal vectors at the vertices, and extends previous work on semidiscrete surfaces. In the situation of vanishing mean curvature, the associated families are defined via a Weierstrass representation. For the general cmc case, we introduce a Lax pair representation that directly defines associated families of cmc surfaces, and is connected to a semidiscrete \(\sinh \)-Gordon equation. Utilizing this theory we investigate semidiscrete Delaunay surfaces and their connection to elliptic billiards.     

Minimum degree of the difference of two polynomials over {\mathbb Q}, and weighted plane trees

A weighted bicolored plane tree (or just tree for short) is a bicolored plane tree whose edges are endowed with positive integral weights. The degree of a vertex is defined as the sum of the weights of the edges incident to this vertex. Using the theory of dessins d’enfants, which studies the action of the absolute Galois group on graphs embedded into Riemann surfaces, we show that a weighted plane tree is a graphical representation of a pair of coprime polynomials \(P,Q\in {\mathbb C}\,[x]\) such that: (a)  \(\deg P = \deg Q\) , and \(P\) and \(Q\) have the same leading coefficient; (b) the multiplicities of the roots of  \(P\) (respectively, of  \(Q\) ) are equal to the degrees of the black (respectively, white) vertices of the corresponding tree; (c) the degree of the difference \(P-Q\) attains the minimum which is possible for the given multiplicities of the roots of \(P\)  and  \(Q\) . Moreover, if a tree in question is uniquely determined by the set of its black and white vertex degrees (we call such trees unitrees), then the corresponding polynomials are defined over \({\mathbb Q}\) . The pairs of polynomials \(P,Q\) such that the degree of the difference \(P-Q\) attains the minimum, and especially those defined over \({\mathbb Q}\) , are related to some important questions of number theory. Dozens of papers, from 1965 (Birch et al. in Norske Vid Selsk Forh 38:65–69, 1965) to 2010 (Beukers and Stewart in J Number Theory 130:660–679, 2010), were dedicated to their study. The main result of this paper is a complete classification of the unitrees, which provides us with the most massive class of such pairs defined over  \({\mathbb Q}\) . We also study combinatorial invariants of the Galois action on trees, as well as on the corresponding polynomial pairs, which permit us to find yet more examples defined over  \({\mathbb Q}\) . In a subsequent paper, we compute the polynomials \(P,Q\) corresponding to all the unitrees.     

Polytopal Affine Semigroups with Holes Deep Inside

Given a positive integer $k$ k , we construct a lattice $3$ 3 -simplex $P$ P with the following property: The affine semigroup $Q_P$ Q P associated to $P$ P is not normal, and every element $q \in \overline{Q}_P \setminus Q_P$ q ∈ Q ¯ P ? Q P has lattice distance at least $k$ k above every facet of $Q_P$ Q P .     

Uniqueness of Fokker-Planck equations for spin lattice systems(Ⅱ): Non-compact case

We study the existence and uniqueness of solutions for a class of infinite-dimensional Fokker-Planck equations on the spin lattice systems M Z d,where the spin space M is a non-compact Riemannian manifold.The method is based on the Stroock-Varadhan’s martingale approach,some compactness results of the general theory developed by Ethier-Kurtz,and some a priori gradient estimates.     

Hardy inequalities resulted from nonlinear problems dealing with A-Laplacian

We derive Hardy inequalities in weighted Sobolev spaces via anticoercive partial differential inequalities of elliptic type involving A-Laplacian ?Δ _A u = ?divA(?u) ≥ Φ, where Φ is a given locally integrable function and u is defined on an open subset \({\Omega \subseteq \mathbb{R}^n}\) . Knowing solutions we derive Caccioppoli inequalities for u. As a consequence we obtain Hardy inequalities for compactly supported Lipschitz functions involving certain measures, having the form $$\int_\Omega F_{\bar{A}}(|\xi|) \mu_1(dx) \leq \int_\Omega \bar{A}(|\nabla \xi|)\mu_2(dx),$$ where \({\bar{A}(t)}\) is a Young function related to A and satisfying Δ′-condition, while \({F_{\bar{A}}(t) = 1/(\bar{A}(1/t))}\) . Examples involving \({\bar{A}(t) = t^p{\rm log}^\alpha(2+t), p \geq 1, \alpha \geq 0}\) are given. The work extends our previous work (Skrzypczaki, in Nonlinear Anal TMA 93:30–50, 2013), where we dealt with inequality ?Δ _p u ≥ Φ, leading to Hardy and Hardy–Poincaré inequalities with the best constants.