Related papers: On Shehtman's Two Problems

We prove the global existence of the unique mild solution for the Cauchy problem of the cut-off Boltzmann equation for soft potential model $\gamma=2-N$ with initial data small in $L^N_{x,v}$ where $N=2,3$ is the dimension. The proof relies…

We develop a theory of regularity for continuum Schr\"odinger operators based on the Martin compactification of the complement of the essential spectrum. This theory is inspired by Stahl--Totik regularity for orthogonal polynomials, but…

Let omega be the first infinite ordinal (or the set of all natural numbers) with the usual order <. In section 1 we show that, assuming the consistency of a supercompact cardinal, there may exist an ultrapower of omega, whose cardinality is…

We prove well-posedness results for the solution to an initial and boundary-value problem for an Allen-Cahn type equation describing the phenomenon of phase transitions for a material contained in a bounded and regular domain. The dynamic…

This work investigates the algorithmic complexity of non-classical logics, focusing on superintuitionistic and modal systems. It is shown that propositional logics are usually polynomial-time reducible to their fragments with at most two…

In this paper we obtain rigidity results for a bounded non-constant entire solution $u$ of the Allen-Cahn equation in $\mathbb{R}^n$, whose level set $\{u=0\}$ is contained in a half-space. If $n\leq 3$ we prove that the solution must be…

In this note we construct smooth bounded domains $\Omega \subset \mathbb R^2$, other than disks, for which the overdetermined problem $$ \left\{ \begin{alignedat}{2} \Delta u + \lambda u &= 0 &\qquad& \text{ in } \Omega, \newline u &= b…

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…

Let $f:[0,+\infty) \to \mathbb{R}$ be a (locally) Lipschitz function and $\Omega \subset \mathbb{R}^2$ a $C^{1,\alpha}$ domain whose boundary is unbounded and connected. If there exists a positive bounded solution to the overdetermined…

In this paper, we consider the following fractional logarithmic Schr\"odinger equation \begin{equation*} \varepsilon^{2s}(-\Delta)^s u + V(x)u=u\log |u|^2\ \ \text{in}\ \R^N, \end{equation*} where $\varepsilon>0$, $N\ge 1$, $V(x)\in…

We obtain a Central Limit Theorem for closed Riemannian manifolds, clarifying along the way the geometric meaning of some of the hypotheses in Bhattacharya and Lin's Omnibus Central Limit Theorem for Fr\'echet means. We obtain our CLT…

In this article, we consider the Cauchy problem for the cubic (mass-critical) Zakharov-Kuznetsov equations in dimension two: $$\partial_t u+\partial_{x_1}(\Delta u+u^3)=0,\quad (t,x)\in [0,\infty)\times \mathbb{R}^{2}.$$ For initial data in…

Let $\Omega$ be a Lipschitz domain in $\mathbb R^n$ $n\geq 2,$ and $L=\mbox{div} (A\nabla\cdot)$ be a second order elliptic operator in divergence form. We establish solvability of the Dirichlet regularity problem with boundary data in…

In this paper we will systematically study the preservation of the notion of largeness of sets, arises from the algebraic structure of Stone-Cech compactification, under homomorphism and difference group. Some of these results were studied…

We prove that omega^2 strictly bounds the iterations required for modal definable functions to reach a fixed point across all countable structures. The result corrects and extends the previously claimed result by the first and third authors…

We extend the results of a work by L. H\"ormander in 1990 concerning the resolution of the characteristic Cauchy problem for second order wave equations with regular first order potentials. The geometrical background of this work was a…

We introduce propositional team-based logics expressively complete for (quasi) downward and (quasi) upward closed properties in a syntactically dual way, by using variants of the inclusion atom. In particular, the variants of the primitive…

Lindstr\"om's Theorem characterizes first order logic as the maximal logic satisfying the Compactness Theorem and the Downward L\"owenheim-Skolem Theorem. If we do not assume that logics are closed under negation, there is an obvious…

Following the paper~[3] by V\"{a}\"{a}n\"{a}nen and the author, we continue to investigate on the difference between Boolean-valued second-order logic and full second-order logic. We show that the compactness number of Boolean-valued…

In this paper, we prove even symmetry and monotonicity of certain solutions of Allen-Cahn equation in a half plane. We also show that entire solutions with {\it finite Morse index} and {\it four ends} must be evenly symmetric with respect…