Related papers: On Rado conditions for nonlinear Diophantine equat…

In this article we consider the linear inelastic Boltzmann equation in presence of a uniform and fixed gravity field, in the case of Maxwell molecules. We first obtain a well-posedness result in the space of finite, non-negative Radon…

Proving homogenization has been a subtle issue for geometric equations due to the discontinuity when the gradient vanishes. A sufficient condition for periodic homogenization using perturbed correctors is suggested in the literature [3] to…

The parity of the partition function $p(n)$ remains strikingly mysterious. Beyond a handful of fragmentary results, essentially nothing is known about the distribution of parity. We prove a uniform result on quadratic progressions. If…

For large classes of systems of polynomial nonlinear PDEs necessary and sufficient conditions are given for the existence of solutions which are discontinuous across hyper-surfaces. These PDEs contain the Navier-Stokes equations, as well as…

We analyze dynamical properties of the logarithmic Schr{\"o}dinger equation under a quadratic potential. The sign of the nonlinearity is such that it is known that in the absence of external potential, every solution is dispersive, with a…

We consider the average-case complexity of some otherwise undecidable or open Diophantine problems. More precisely, consider the following: (I) Given a polynomial f in Z[v,x,y], decide the sentence \exists v \forall x \exists y f(v,x,y)=0,…

We study a class of nondivergence form second-order degenerate linear parabolic equations in $(-\infty, T) \times {\mathbb R}^d_+$ with the homogeneous Dirichlet boundary condition on $(-\infty, T) \times \partial {\mathbb R}^d_+$, where…

We show that the conditions imposed on a second order linear differential equation with rational coefficients on the complex line by requiring it to have regular singularities with fixed exponents at the points of a finite set $P$ and…

Finding integer solutions to norm form equations is a classical Diophantine problem. Using the units of the associated coefficient ring, we can produce sequences of solutions to these equations. It is known that these solutions can be…

We consider systems of stochastic evolutionary equations of the type $$du=\mathrm{div}\,S(\nabla u)\,dt+\Phi(u)dW_t$$ where $S$ is a non-linear operator, for instance the $p$-Laplacian $$S(\xi)=(1+|\xi|)^{p-2}\xi,\quad \xi\in\mathbb…

We show that any smooth stationary solution of the 3D incompressible Navier-Stokes equations in the whole space, the half space, or a periodic slab must vanish under the condition that for some $0 \le \delta \le 1<L$ and…

We study conditions for the abstract periodic linear functional differential equation $\dot{x}=Ax+F(t)x_t+f(t)$ to have almost periodic with the same structure of frequencies as $f$. The main conditions are stated in terms of the spectrum…

Investigating for interior regularity of viscosity solutions to the fully nonlinear elliptic equation $$F(x,u,\triangledown u,\triangledown ^2 u)=0,$$ we establish the interior $C^{1+1}$ continuity under the assumptions that $F$ is…

We present a universal construction of Diophantine equations with bounded complexity in Isabelle/HOL. This is a formalization of our own work in number theory. Hilbert's Tenth Problem was answered negatively by Yuri Matiyasevich, who showed…

We consider nonlinear Kolmogorov-Fokker-Planck type equations of the form \begin{equation}\label{abeqn} (\partial_t+X\cdot\nabla_Y)u=\nabla_X\cdot(A(\nabla_X u,X,Y,t)). \end{equation} The function…

This paper aims to employ a cluster-theoretic approach to provide a class of Diophantine equations whose solutions can be obtained by starting from initial solutions through mutations. We establish a novel framework bridging cluster theory…

For any sufficiently strong theory of arithmetic, the set of Diophantine equations provably unsolvable in the theory is algorithmically undecidable, as a consequence of the MRDP theorem. In contrast, we show decidability of Diophantine…

This work focuses on the regularization by nonlinear noise for a class of partial differential equations that may only have local solutions. In particular, we obtain the global existence, uniqueness and the Feller property for stochastic 3D…

Let $G_n(z)=\xi_0+\xi_1z+...+\xi_n z^n$ be a random polynomial with i.i.d. coefficients (real or complex). We show that the arguments of the roots of $G_n(z)$ are uniformly distributed in $[0,2\pi]$ asymptotically as $n\to\infty$. We also…

Let F be a homogeneous real polynomial of even degree in any number of variables. We consider the problem of giving explicit conditions on the coefficients so that F is positive definite or positive semi-definite. In this note we produce a…