Search results for "Names"
showing 10 items of 6843 documents
Pseudocomplements in sum-ordered partial semirings
2007
We study a particular way of introducing pseudocomplementation in ordered semigroups with zero, and characterise the class of those pseudocomplemented semigroups, termed g-semigroups here, that admit a Glivenko type theorem (the pseudocomplements form a Boolean algebra). Some further results are obtained for g-semirings – those sum-ordered partially additive semirings whose multiplicative part is a g-semigroup. In particular, we introduce the notion of a partial Stone semiring and show that several well-known elementary characteristics of Stone algebras have analogues for such semirings.
Positive Versions of Polynomial Time
1998
Abstract We show that restricting a number of characterizations of the complexity class P to be positive (in natural ways) results in the same class of (monotone) problems, which we denote by posP . By a well-known result of Razborov, posP is a proper subclass of the class of monotone problems in P . We exhibit complete problems for posP via weak logical reductions, as we do for other logically defined classes of problems. Our work is a continuation of research undertaken by Grigni and Sipser, and subsequently Stewart; indeed, we introduce the notion of a positive deterministic Turing machine and consequently solve a problem posed by Grigni and Sipser.
Positive solutions for singular double phase problems
2021
Abstract We study the existence of positive solutions for a class of double phase Dirichlet equations which have the combined effects of a singular term and of a parametric superlinear term. The differential operator of the equation is the sum of a p-Laplacian and of a weighted q-Laplacian ( q p ) with discontinuous weight. Using the Nehari method, we show that for all small values of the parameter λ > 0 , the equation has at least two positive solutions.
Integrability of the one dimensional Schrödinger equation
2018
We present a definition of integrability for the one dimensional Schroedinger equation, which encompasses all known integrable systems, i.e. systems for which the spectrum can be explicitly computed. For this, we introduce the class of rigid functions, built as Liouvillian functions, but containing all solutions of rigid differential operators in the sense of Katz, and a notion of natural boundary conditions. We then make a complete classification of rational integrable potentials. Many new integrable cases are found, some of them physically interesting.
A Multiplicity result for a class of strongly indefinite asymptotically linear second order systems
2010
We prove a multiplicity result for a class of strongly indefinite nonlinear second order asymptotically linear systems with Dirichlet boundary conditions. The key idea for the proof is to bring together the classical shooting method and the Maslov index of the linear Hamiltonian systems associated to the asymptotic limits of the given nonlinearity.
On deformation of Poisson manifolds of hydrodynamic type
2001
We study a class of deformations of infinite-dimensional Poisson manifolds of hydrodynamic type which are of interest in the theory of Frobenius manifolds. We prove two results. First, we show that the second cohomology group of these manifolds, in the Poisson-Lichnerowicz cohomology, is ``essentially'' trivial. Then, we prove a conjecture of B. Dubrovin about the triviality of homogeneous formal deformations of the above manifolds.
Local minimizers and gamma-convergence for nonlocal perimeters in Carnot groups
2020
We prove the local minimality of halfspaces in Carnot groups for a class of nonlocal functionals usually addressed as nonlocal perimeters. Moreover, in a class of Carnot groups in which the De Giorgi's rectifiability Theorem holds, we provide a lower bound for the $\Gamma$-liminf of the rescaled energy in terms of the horizontal perimeter.
The linearized Calderón problem on complex manifolds
2019
International audience; In this note we show that on any compact subdomain of a Kähler manifold that admits sufficiently many global holomorphic functions , the products of harmonic functions form a complete set. This gives a positive answer to the linearized anisotropic Calderón problem on a class of complex manifolds that includes compact subdomains of Stein manifolds and sufficiently small subdomains of Kähler manifolds. Some of these manifolds do not admit limiting Carleman weights, and thus cannot by treated by standard methods for the Calderón problem in higher dimensions. The argument is based on constructing Morse holo-morphic functions with approximately prescribed critical points.…
Models of Computation, Riemann Hypothesis, and Classical Mathematics
1998
Classical mathematics is a source of ideas used by Computer Science since the very first days. Surprisingly, there is still much to be found. Computer scientists, especially, those in Theoretical Computer Science find inspiring ideas both in old notions and results, and in the 20th century mathematics. The latest decades have brought us evidence that computer people will soon study quantum physics and modern biology just to understand what computers are doing.
On an Inequality for Trigonometric Polynomials In Several Variables
1990
Publisher Summary This chapter presents trigonometric polynomials in n variables. Using the methods of approximation theory, an inequality can be extended to almost periodic functions and to still more general classes of functions as in the case for Bohr's inequality. However, no analogous result exists in the case of two variables. For the solution of problems containing small divisors, the estimate has to be completed by theorems concerning the best approximation of holomorphic functions by trigonometric polynomials in polystrips. The chapter also presents equations to provide an estimate for a differential operator.