相关论文: Small resolutions of special three-dimensional var…
In 2003, Atserias and Dalmau resolved a major open question about the resolution proof system by establishing that the space complexity of CNF formulas is always an upper bound on the width needed to refute them. Their proof is beautiful…
For any unsatisfiable CNF formula we give an exponential lower bound on the size of resolution refutations of a propositional statement that the formula has a resolution refutation. We describe three applications. (1) An open question in…
The well-posedness of Cauchy problem of 3D compressible Euler equations is studied. By using Smith-Tataru's approach \cite{ST}, we prove the local existence, uniqueness and stability of solutions for Cauchy problem of 3D compressible Euler…
It has been known since work of Lichtenstein [42] and Gunther [29] in the 1920's that the $3D$ incompressible Euler equation is locally well-posed in the class of velocity fields with H\"older continuous gradient and suitable decay at…
The main results of the paper are Proposition 3 and 4 which provide an effective way to construct minimal hypersurfaces in a Euclidean space. We demonstrate our technique by several new examples. This note is English translation of an…
The paper is written for Kluwer's Encyclopaedia of Mathematics.
Recent results on the construction and applications of the transmutation (transformation) operators are discussed. Three new representations for solutions of the one-dimensional Schr\"odinger equation are considered. Due to the fact that…
We establish a representation of a class of solutions of 3d Navier-Stokes equations in $\R^3$ using sums over rooted trees. We study the convergence properties of this series recovering in a simplified manner some results obtained recently…
This is an English translation of Euler's article "Principia motus fluidorum" in which the Euler equation (in two three dimensions) has been established for the first time in 1752. The actual publication has been delayed by nine years.…
We extend the result of K. Karlander [Math. Scand. 80 (1997)] regarding finite dimensionality of spaces of absolutely convergent Fourier transforms.
In this article, we study permanental varieties, i.e. varieties defined by the vanishing of permanents of fixed size of a generic matrix. Permanents and their varieties play an important, and sometimes poorly understood, role in…
In 1994, P.-G. Becker and W. Bergweiler listed all the differentially algebraic solutions of three famous functional equations: the Schr{\"o}der's, B{\"o}ttcher's and Abel's equations. The proof of this theorem combines various domains of…
This paper poses some basic questions about instances (hard to find) of a special problem in 3-manifold topology. "Important though the general concepts and propositions may be with the modern industrious passion for axiomatizing and…
This article is a comprised version of my doctoral thesis defended at Basel University in 1995. It concerns circle packings on compact surfaces of any genus.
We reply to the recent comment cond-mat/9809184 on our original paper `Non-universal exponents in interface growth', Phys. Rev. Lett, 79, 2261 (1997).
We derive dispersion estimates for solutions of the one-dimensional discrete perturbed Schr\"odinger and wave equations. In particular, we improve upon previous works and weaken the conditions on the potentials. To this end we also provide…
These notes are devoted to the theory of exponential sums over finite fields. The first chapter recalls some of the number-theoretic interest of such sums. The second chapter discusses the $L$-functions attached to such sums, the "Weil…
This is an addendum to our earlier paper on the defect of an ample divisor of an abelian variety. It modifies an argument of the original paper to handle one difficulty there. At the same time the modification improves the result in the…
The purpose of this paper is to construct a crepant resolution of quotient singularities by trihedral groups ( finite subgroups of SL(3,C) of certain type ), and prove that each Euler number of the minimal model is equal to the number of…
We define the concept of energy-variational solutions for the Ericksen--Leslie equations in three spatial dimensions. This solution concept is finer than dissipative solutions and satisfies the weak-strong uniqueness property. For a certain…