Related papers: Provable Pi-1-2 Singletons

A conjecture of N. Terai states that for any integer $k>1$, the equation $x^2+(2k-1)^y =k^z$ has only one solution, namely, $(x, y, z) = (k-1, 1, 2).$ Using the structure of class groups of binary quadratic forms, we prove the conjecture…

In this paper we study a new class of pseudo-differential equations on functions of two $p$-adic variables. It is proved that the correspondent Cauchy problem has a unique solution. Some properties of this solution are studied, in…

There exists an exponentially decreasing function $f$ such that any singly $2\pi$-periodic positive solution $u$ of $-\Delta u +u-u^p=0$ in $[0,2\pi]\times \R^{N-1}$ verifies $u(x_1,x')\leq f(|x'|)$. We prove that with the same period and…

We establish the uniqueness of large solutions to the non-cutoff Boltzmann equation with moderate soft potentials. Specifically, the weak solution $F=\mu+\mu^{\frac{1}{2}}f$ is unique as long as it has finite energy, in the sense that the…

$\Sigma^1_3$-absoluteness for ccc forcing means that for any ccc forcing $P$, ${H_{\omega_1}}^V \prec_{\Sigma_2}{H_{\omega_1}}^{V^P}$. "$\omega_1$ inaccessible to reals" means that for any real $r$, ${\omega_1}^{L[r]}<\omega_1$. To measure…

A procedure and theoretical results are presented for the problem of determining a minimal robust positively invariant (RPI) set for a linear discrete-time system subject to unknown, bounded disturbances. The procedure computes, via the…

Let $\lambda^{*}>0$ denote the largest possible value of $\lambda$ such that $$ \{{array}{lllllll} \Delta^{2}u=\lambda(1+u)^{p} & {in}\ \ \B, %0<u\leq 1 & {in}\ \ \B, u=\frac{\partial u}{\partial n} =0 & {on}\ \ \partial \B {array}. $$ has…

A 1984 problem of S.Z. Ditor asks whether there exists a lattice of cardinality aleph two, with zero, in which every principal ideal is finite and every element has at most three lower covers. We prove that the existence of such a lattice…

Recently, A. Gruenrock and H. Pecher proved global well-posedness of the 2d Dirac-Klein-Gordon equations given initial data for the spinor and scalar fields in $H^s$ and $H^{s+1/2} \times H^{s-1/2}$, respectively, where $s\ge 0$, but…

Let w(z) be a finite-order meromorphic solution of the second-order difference equation w(z+1)+w(z-1) = R(z,w(z)) (eqn 1) where R(z,w(z)) is rational in w(z) and meromorphic in z. Then either w(z) satisfies a difference linear or Riccati…

It is conjectured that for any fixed relatively prime positive integers $a,b$ and $c$ all greater than 1 there is at most one solution to the equation $a^x+b^y=c^z$ in positive integers $x,y$ and $z$, except for specific cases. We develop…

The uniqueness of solutions to the isotropic $L_{p}$ Gaussian Minkowski problem in $\mathbb{R}^{n+1}$ is established when $-(n+1)<p<-1$ with $n\geq 1$, without requiring the origin-centred assumption on convex bodies.

Exact and quasi-exact solvabilities of the one-dimensional Schr\"odinger equation are discussed from a unified viewpoint based on the prepotential together with Bethe ansatz equations. This is a constructive approach which gives the…

Let $K$ be an algebraic number field, and $\pi=\otimes\pi_{v}$ an irreducible, automorphic, cuspidal representation of $\GL_{m}(\mathbb{A}_{K})$ with analytic conductor $C(\pi)$. The theorem on analytic strong multiplicity one established…

Our purpose of this paper is to study isolated singular solutions of semilinear Helmholtz equation $$ -\Delta u-u=Q|u|^{p-1}u \quad{\rm in}\ \ \mathbb{R}^N\setminus\{0\},\ \qquad\lim_{|x|\to0}u(x)=+\infty, $$ where $N\geq 2$, $p>1$ and the…

We prove a Liouville theorem for ancient solutions to the supercritical Fujita equation \[\partial_tu-\Delta u=|u|^{p-1}u, \quad -\infty <t<0, \quad p>\frac{n+2}{n-2},\] which says if $u$ is close to the ODE solution…

Existence and uniqueness of the solution to the discrete Lp Minkowski problem for $\mathfrak{p}$-capacity are proved when $p \geq 1$ and $1<\mathfrak{p}<n$. For general Lp Minkowski problem for $\mathfrak{p}$-capacity, existence and…

This paper concerns elliptic systems of $p$-Laplace type with complex valued coefficient and source term. We extend the real valued theory of the elliptic $p$-Laplace equation to the complex valued case. We establish the existence and…

In the first part of this article, we complete the program announced in the preliminary note [8] by proving a conjecture presented in [9] that states the equivalence of contractibility and p_{1}-stability for generalized spaces of formal…

A linear different operator L is called weakly hypoelliptic if any local solution u of Lu=0 is smooth. We allow for systems, that is, the coefficients may be matrices, not necessarily of square size. This is a huge class of important…