Search results for "Theorem"

Bing meets Sobolev

2019

We show that, for each $1\le p < 2$, there exists a wild involution $\mathbb S^3\to \mathbb S^3$ in the Sobolev class $W^{1,p}(\mathbb S^3,\mathbb S^3)$.

Krasnosel'skiĭ-Schaefer type method in the existence problems

2019

We consider a general integral equation satisfying algebraic conditions in a Banach space. Using Krasnosel'skii-Schaefer type method and technical assumptions, we prove an existence theorem producing a periodic solution of some nonlinear integral equation.

On a theorem of Sobczyk

1991

In this paper the result of Sobczyk about complemented copies of c0 is extended to a class of Banach spaces X such that the unit ball of their dual endowed with the weak* topology has a certain topological property satisfied by every Corson-compact space. By means of a simple example it is shown that if Corson-compact is replaced by Rosenthal-compact, this extension does not hold. This example gives an easy proof of a result of Phillips and an easy solution to a question of Sobczyk about the existence of a Banach space E, c0 ⊂ E ⊂ l∞, such that E is not complemented in l∞ and c0 is not complemented in E. Assuming the continuum hypothesis, it is proved that there exists a Rosenthal-compact s…

Global fixed point proof of time-dependent density-functional theory

2011

We reformulate and generalize the uniqueness and existence proofs of time-dependent density-functional theory. The central idea is to restate the fundamental one-to-one correspondence between densities and potentials as a global fixed point question for potentials on a given time-interval. We show that the unique fixed point, i.e. the unique potential generating a given density, is reached as the limiting point of an iterative procedure. The one-to-one correspondence between densities and potentials is a straightforward result provided that the response function of the divergence of the internal forces is bounded. The existence, i.e. the v-representability of a density, can be proven as wel…

Dominated polynomials on infinite dimensional spaces

2008

The aim of this paper is to prove a stronger version of a conjecture on the existence of non-dominated scalar-valued m-homogeneous polynomials (m>=3) on arbitrary infinite dimensional Banach spaces.

A proof of Carleson's $\varepsilon^2$-conjecture

2019

In this paper we provide a proof of the Carleson $\varepsilon^2$-conjecture. This result yields a characterization (up to exceptional sets of zero length) of the tangent points of a Jordan curve in terms of the finiteness of the associated Carleson $\varepsilon^2$-square function.

Some remarks on minimal surfaces in riemannian manifolds

1970

Protoalgebraicity and the Deduction Theorem

2001

This chapter is intended as an introduction to the Deduction Theorem and to applications of this theorem in metalogic.

Integration of both the derivatives with respect to P-paths and approximative derivatives

2009

In the present paper, in terms of generalized absolute continuity, we present a descriptive characteristic of the primitive with respect to a system of P-paths and study the relationship between the Denjoy-Khinchin integral and the Henstock H P-integral. © 2009 Pleiades Publishing, Ltd.

Biweights on Partial *-Algebras

2000

This chapter is devoted to the systematic investigation of biweights on partial *-algebras. These are a generalization of invariant positive sesquilinear forms that still allows a Gel’fand—Naĭmark—Segal (GNS) construction of representations. In Section 9.1, we apply this GNS construction for biweights and we obtain *-representations and cyclic vector representations of partial *-algebras, and we give some examples of biweights. Section 9.2 is devoted to the investigation of the Radon—Nikodým theorem and the Lebesgue decomposition theorem for biweights on partial *-algebras. In Section 9.3, we define regular and singular biweights on partial *-algebras and we characterize them with help of t…