Filters
Higher order valued reduction theorems for classical connections
We generalize reduction theorems for classical connections to operators with values in $k$-th order natural bundles. Using the 2nd order valued reduction theorems we classify all (0,2)-tensor fields on the cotangen...
BA - Obecná matematika
- 2005 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Reduction theorem for general connections
We prove the (first) reduction theorem for general and classical connections, i.e. we prove that any natural operator of a general connection on a fibered manifold and a classical connection on the base manifold can be expressed as ...
BA - Obecná matematika
- 2011 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Duality principles and reduction theorems
We introduce a new class of function spaces and prove duality results for them using reduction theorems. We present several applications....
BA - Obecná matematika
- 2000 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
A reduction theorem for supremum operators
We show that the two-weight Hardy inequality restricted to nonincreasing functions is equivalent to slightly different inequalities.
BA - Obecná matematika
- 2007 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Reduction Theorems for Principal and Classical Connections
We prove general reduction theorems for gauge natural operators transforming principal connections and classical linear connections on the base manifold into sections of an arbitrary gauge natural bundle. Then we apply our results t...
BA - Obecná matematika
- 2010 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Herbrand Theorems for Substructural Logics
Herbrand and Skolemization theorems are obtained for a broad family of first-order substructural logics. These logics typically lack equivalent prenex forms, a deduction theorem, and reductions of semantic consequence to sa...
BA - Obecná matematika
- 2013 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
The Lagrangian Order-Reduction Theorem in Field Theories
order Lagrangian (Order reduction Theorem). In this paper, a new proof is presented, and an explicit formula for the first order Lagrangians arising by order reduction is found. The presented approach extends and completes...
Pure mathematics
- 2018 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Higher order valued reduction theorems for general linear connections
The reduction theorems for general linear and classical connections are generalized for operators with values in higher order gauge-natural bundles. We prove that natural operators depending on the $s_1$-jets of classical connection...
BA - Obecná matematika
- 2004 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Rofe-Beketov formula for symplectic systems
We establish the Rofe-Beketov formula for symplectic systems on time scales. This result generalizes the well-known d?Alembert formula (or the Reduction of Order Theorem) and the Rofe-Beketov formula published for the second order S...
BA - Obecná matematika
- 2012 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Separable reduction theorems by the method of elementary submodels
We simplify the presentation of the method of elementary submodels and we show that it can be used for simplifying proofs of existing separable reduction theorems'', etc. Finally, we show some applications of presented separable
BA - Obecná matematika
- 2012 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
- 1 - 10 out of 30 339