Results 1  10
of
1,993
SYMMETRY THEOREMS FOR EXT VANISHING
, 2005
"... Abstract. It was proved by Avramov and Buchweitz that if A is a commutative local complete intersection ring with finitely generated modules M and N, then the Ext groups between M and N vanish from some step if and only if the Ext groups between N and M vanish from some step. This paper shows that t ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
semilocal algebras. Let A be a commutative local complete intersection ring with finitely generated modules M and N. It is a surprising result of [3] that symmetry of Ext vanishing holds in the sense that
Symmetry Theorems and Uniform Rectifiability
, 2007
"... We study overdetermined boundary conditions for positive solutions to some elliptic partial differential equations of pLaplacian type in a bounded domain D. We show that these conditions imply uniform rectifiability of ∂D and also that they yield the solution to certain symmetry problems. ..."
Abstract
 Add to MetaCart
We study overdetermined boundary conditions for positive solutions to some elliptic partial differential equations of pLaplacian type in a bounded domain D. We show that these conditions imply uniform rectifiability of ∂D and also that they yield the solution to certain symmetry problems.
Symmetry theorems for the newtonian 4 and 5body problems with equal masses
"... Abstract. We present a new proof of the algebraic part of a symmetry theorem for the central configurations of the newtonian planar 4body problem with equal masses, using Gröbner bases. This approach is used to obtain a new symmetry theorem for the central configurations of the newtonian spatial 5 ..."
Abstract
 Add to MetaCart
Abstract. We present a new proof of the algebraic part of a symmetry theorem for the central configurations of the newtonian planar 4body problem with equal masses, using Gröbner bases. This approach is used to obtain a new symmetry theorem for the central configurations of the newtonian spatial 5
Proper Extensions of Noether’s Symmetry Theorem for Nonsmooth Extremals of the Calculus of Variations
 Communications on Pure and Applied Analysis
"... For nonsmooth EulerLagrange extremals, Noether’s conservation laws cease to be valid. We show that Emmy Noether’s theorem of the calculus of variations is still valid in the wider class of Lipschitz functions, as long as one restrict the EulerLagrange extremals to those which satisfy the DuBoisRe ..."
Abstract

Cited by 28 (22 self)
 Add to MetaCart
BoisReymond necessary condition. In the smooth case all EulerLagrange extremals are DuBoisReymond extremals, and the result gives a proper extension of the classical Noether’s theorem. This is in contrast with the recent developments of Noether’s symmetry theorems to the optimal control setting, which give rise
Model Checking Programs
, 2003
"... The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it easier to experiment with mechanized formal methods such as theorem provers, proof checkers and model checkers. In this pape ..."
Abstract

Cited by 592 (63 self)
 Add to MetaCart
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it easier to experiment with mechanized formal methods such as theorem provers, proof checkers and model checkers
Noether’s symmetry theorem for variational and optimal control problems with time delay
 Numer. Algebra Control Optim
"... ar ..."
doi:10.1155/2007/30190 Research Article Symmetry Theorems and Uniform Rectifiability
, 2006
"... We study overdetermined boundary conditions for positive solutions to some elliptic partial differential equations of pLaplacian type in a bounded domain D. We show that these conditions imply uniform rectifiability of ∂D and also that they yield the solution to certain symmetry problems. Copyrigh ..."
Abstract
 Add to MetaCart
We study overdetermined boundary conditions for positive solutions to some elliptic partial differential equations of pLaplacian type in a bounded domain D. We show that these conditions imply uniform rectifiability of ∂D and also that they yield the solution to certain symmetry problems
ftp ejde.math.swt.edu (login: ftp) SYMMETRY THEOREMS VIA THE CONTINUOUS STEINER SYMMETRIZATION
"... Abstract. Using a new approach due to F. Brock called the Steiner symmetrization, we show first that if u is a solution of an overdetermined problem in the divergence form satisfying the Neumann and nonconstant Dirichlet boundary conditions, then ΩisanNball. In addition, we show that we can relax ..."
Abstract
 Add to MetaCart
Abstract. Using a new approach due to F. Brock called the Steiner symmetrization, we show first that if u is a solution of an overdetermined problem in the divergence form satisfying the Neumann and nonconstant Dirichlet boundary conditions, then ΩisanNball. In addition, we show that we can relax the condition on the value of the Dirichlet boundary condition in the case of superharmonicity. Finally, we give an application to positive solutions of some semilinear elliptic problems in symmetric domains for the divergence case. 1.
Renormalization group flows from holography  Supersymmetry and a ctheorem
 ADV THEOR. MATH. PHYS
, 1999
"... We obtain first order equations that determine a supersymmetric kink solution in fivedimensional N = 8 gauged supergravity. The kink interpolates between an exterior antide Sitter region with maximal supersymmetry and an interior antide Sitter region with one quarter of the maximal supersymmetry. ..."
Abstract

Cited by 294 (25 self)
 Add to MetaCart
between fields of bulk supergravity in the interior antide Sitter region and composite operators of the infrared field theory. We also point out that the truncation used to find the reduced symmetry critical point can be extended to obtain a new N = 4 gauged supergravity theory holographically dual to a
Results 1  10
of
1,993