相关论文: The converse of Sturm's Separation Theorem

In this article, we consider the diffusion equation with multi-term time-fractional derivatives. We first derive that the solution is positive when the source term is nonpositive by a subordination principle for the solution. As an…

We investigate splitting-type variational problems with some linear growth conditions. For balanced solutions of the associated Euler-Lagrange equation we receive a result analogous to Bernstein's theorem on non-parametric minimal surfaces.…

Existence theorem is proven for the generating equations of the split involution constraint algebra. The structure of the general solution is established, and the characteristic arbitrariness in generating functions is described.

Tverberg's theorem is one of the cornerstones of discrete geometry. It states that, given a set $X$ of at least $(d+1)(r-1)+1$ points in $\mathbb R^d$, one can find a partition $X=X_1\cup \ldots \cup X_r$ of $X$, such that the convex hulls…

We establish several results regarding dividing and forking in NTP2 theories. We show that dividing is the same as array-dividing. Combining it with existence of strictly invariant sequences we deduce that forking satisfies the chain…

We establish a Second Main Theorem for entire holomorphic curves \( f: \mathbb{C} \to \mathbb{P}^2 \) intersecting a generic configuration of three conics \(\mathcal{C}= \mathcal{C}_1+ \mathcal{C}_2+ \mathcal{C}_3 \) in the complex…

We present a new proof of the classical divergence theorem in bounded domains. Our proof is based on a nonlocal analog of the divergence theorem and a rescaling argument. Main ingredients in the proof are nonlocal versions of the divergence…

Operator splitting methods combined with finite element spatial discretizations are studied for time-dependent nonlinear Schr\"odinger equations. In particular, the Schr\"odinger-Poisson equation under homogeneous Dirichlet boundary…

A fundamental result that characterizes elliptic-hyperbolic equations of Tricomi type, the uniqueness of classical solutions to the open Dirichlet problem, is extended to a large class of elliptic-hyperbolic equations of Keldysh type. The…

We study L\"owenheim-Skolem and Omitting Types theorems in Transition Algebra, a logical system obtained by enhancing many sorted first-order logic with features from dynamic logic. The sentences we consider include compositions, unions,…

We consider the fundamental solution to the wave equation on a manifold with corners of arbitrary codimension. If the initial pole of the solution is appropriately situated, we show that the singularities which are diffracted by the corners…

In one-dimensional quantum mechanics, or the Sturm-Liouville theory, Crum's theorem describes the relationship between the original and the associated Hamiltonian systems, which are iso-spectral except for the lowest energy state. Its…

We prove a conjecture of Roe by constructing unified warped cones that violate the coarse Baum-Connes conjecture. Interestingly, the reason for this is probably not what Roe expected, as the obstruction arises in odd rather than even…

We present projective versions of the center point theorem and Tverberg's theorem, interpolating between the original and the so-called "dual" center point and Tverberg theorems. Furthermore we give a common generalization of these and many…

Oftentimes, Stokes' theorem is derived by using, more or less explicitly, the invariance of the curl of the vector field with respect to translations and rotations. However, this invariance -- which is oftentimes described as the curl being…

We identify a class of operator pencils, arising in a number of applications, which have only real eigenvalues. In the one-dimensional case we prove a novel version of the Sturm oscillation theorem: if the dependence on the eigenvalue…

We prove a tangle-tree theorem and a tangle duality theorem for abstract separation systems $\vec S$ that are submodular in the structural sense that, for every pair of oriented separations, $\vec S$ contains either their meet or their join…

In [EH89, Theorem 1] Ekeland-Hofer prove that for a centrally symmetric, restricted contact type hypersurface in R^{2n} and for any global, centrally symmetric Hamiltonian perturbation there exists a leaf-wise intersection point. In this…

We use an averaging approach to prove bifurcation of asymptotically stable periodic solutions in a bi-linear oscillator whose one spring has nearly infinite stiffness. This leads to a singularly perturbed problem where the classical theory…

We prove a central limit theorem with aassumptions which are many weak than classical conditions