Rank-one convexity does not imply quasiconvexity

Author(s):  
Vladimír Šverák

We consider variational integralsdefined for (sufficiently regular) functionsu: Ω→Rm. Here Ω is a bounded open subset ofRn,Du(x) denotes the gradient matrix ofuatxandfis a continuous function on the space of all realm×nmatrices Mm×n. One of the important problems in the calculus of variations is to characterise the functionsffor which the integralIis lower semicontinuous. In this connection, the following notions were introduced (see [3], [9], [10]).

Author(s):  
Jonathan Bevan ◽  
Pablo Pedregal

In this short note we prove that the functional I : W1,p(J;R) → R defined by is sequentially weakly lower semicontinuous in W1,p(J,R) if and only if the symmetric part W+ of W is separately convex. We assume that W is real valued, continuous and bounded below by a constant, and that J is an open subinterval of R. We also show that the lower semicontinuous envelope of I cannot in general be obtained by replacing W by its separately convex hull Wsc.


2020 ◽  
Vol 18 (1) ◽  
pp. 1-9
Author(s):  
Carlo Mariconda ◽  
Giulia Treu

Abstract We consider the classical functional of the Calculus of Variations of the form $$\begin{array}{} \displaystyle I(u)=\int\limits_{{\it\Omega}}F(x, u(x), \nabla u(x))\,dx, \end{array}$$ where Ω is a bounded open subset of ℝn and F : Ω × ℝ × ℝn → ℝ is a Carathéodory convex function; the admissible functions u coincide with a prescribed Lipschitz function ϕ on ∂Ω. We formulate some conditions under which a given function in ϕ + $\begin{array}{} \displaystyle W^{1,p}_0 \end{array}$(Ω) with I(u) < +∞ can be approximated in the W1,p norm and in energy by a sequence of smooth functions that coincide with ϕ on ∂Ω. As a particular case we obtain that the Lavrentiev phenomenon does not occur when F(x, u, ξ) = f(x, u) + h(x, ξ) is convex and x ↦ F(x, 0, 0) is sufficiently smooth.


1985 ◽  
Vol 37 (4) ◽  
pp. 760-766 ◽  
Author(s):  
Bernard Gaveau ◽  
Jacques Vauthier

Let H3 be the Heisenberg group in three dimensions, Δ the fundamental subelliptic laplacian on H3 (see Section 1 for notations and definitions) and U be an open subset of H3 If φ is a continuous function on the boundary ∂U of U, the Dirichlet problem is thus,(1)In [3], p. 104, it was asserted by the first author that, when dU is regular (see Section 1 for this definition), the problem (1) has a solution continuous on D and a probabilistic formula was given. In [3], we prove that our probabilistic formula gives a solution of the so called “martingale problem” associated to Δ on U (see [5] for this notion). But it appears that the connection between the solution in the martingale problem sense and the true solution is not at all clear in the subelliptic case; in particular it is not obvious at all that the probabilistic formula is a C2 function.


Author(s):  
L. Orsina ◽  
A. Prignet

In this paper, we study the non-existence of solutions for the following (model) problem in a bounded open subset Ω of RN: with Dirichlet boundary conditions, where p > 1, q > 1 and μ is a bounded Radon measure. We prove that if λ is a measure which is concentrated on a set of zero r capacity (p < r ≤ N), and if q > r (p − 1)/(r − p), then there is no solution to the above problem, in the sense that if one approximates the measure λ with a sequence of regular functions fn, and if un is the sequence of solutions of the corresponding problems, then un converges to zero.We also study the non-existence of solutions for the bilateral obstacle problem with datum a measure λ concentrated on a set of zero p capacity, with u in for every υ in K, finding again that the only solution obtained by approximation is u = 0.


2019 ◽  
Vol 19 (6) ◽  
pp. 2087-2125 ◽  
Author(s):  
Miguel Ángel Barja ◽  
Rita Pardini ◽  
Lidia Stoppino

Let $X$ be a normal complex projective variety, $T\subseteq X$ a subvariety of dimension $m$ (possibly $T=X$) and $a:X\rightarrow A$ a morphism to an abelian variety such that $\text{Pic}^{0}(A)$ injects into $\text{Pic}^{0}(T)$; let $L$ be a line bundle on $X$ and $\unicode[STIX]{x1D6FC}\in \text{Pic}^{0}(A)$ a general element.We introduce two new ingredients for the study of linear systems on $X$. First of all, we show the existence of a factorization of the map $a$, called the eventual map of $L$ on $T$, which controls the behavior of the linear systems $|L\otimes \unicode[STIX]{x1D6FC}|_{|T}$, asymptotically with respect to the pullbacks to the connected étale covers $X^{(d)}\rightarrow X$ induced by the $d$-th multiplication map of $A$.Second, we define the so-called continuous rank function$x\mapsto h_{a}^{0}(X_{|T},L+xM)$, where $M$ is the pullback of an ample divisor of $A$. This function extends to a continuous function of $x\in \mathbb{R}$, which is differentiable except possibly at countably many points; when $X=T$ we compute the left derivative explicitly.As an application, we give quick short proofs of a wide range of new Clifford–Severi inequalities, i.e., geographical bounds of the form $$\begin{eqnarray}\displaystyle \text{vol}_{X|T}(L)\geqslant C(m)h_{a}^{0}(X_{|T},L), & & \displaystyle \nonumber\end{eqnarray}$$ where $C(m)={\mathcal{O}}(m!)$ depends on several geometrical properties of $X$, $L$ or $a$.


1982 ◽  
Vol 2 (2) ◽  
pp. 139-158 ◽  
Author(s):  
S. G. Dani

AbstractLet(where t ε ℝ) and let μ be the G-invariant probability measure on G/Γ. We show that if x is a non-periodic point of the flow given by the (ut)-action on G/Γ then the (ut)-orbit of x is uniformly distributed with respect to μ; that is, if Ω is an open subset whose boundary has zero measure, and l is the Lebesque measure on ℝ then, as T→∞, converges to μ(Ω).


2017 ◽  
Vol 82 (1) ◽  
pp. 347-358 ◽  
Author(s):  
PABLO CUBIDES KOVACSICS ◽  
LUCK DARNIÈRE ◽  
EVA LEENKNEGT

AbstractThis paper addresses some questions about dimension theory for P-minimal structures. We show that, for any definable set A, the dimension of $\bar A\backslash A$ is strictly smaller than the dimension of A itself, and that A has a decomposition into definable, pure-dimensional components. This is then used to show that the intersection of finitely many definable dense subsets of A is still dense in A. As an application, we obtain that any definable function $f:D \subseteq {K^m} \to {K^n}$ is continuous on a dense, relatively open subset of its domain D, thereby answering a question that was originally posed by Haskell and Macpherson.In order to obtain these results, we show that P-minimal structures admit a type of cell decomposition, using a topological notion of cells inspired by real algebraic geometry.


Author(s):  
Vesa Mustonen ◽  
Matti Tienari

Let m: [ 0, ∞) → [ 0, ∞) be an increasing continuous function with m(t) = 0 if and only if t = 0, m(t) → ∞ as t → ∞ and Ω C ℝN a bounded domain. In this note we show that for every r > 0 there exists a function ur solving the minimization problemwhere Moreover, the function ur is a weak solution to the corresponding Euler–Lagrange equationfor some λ > 0. We emphasize that no Δ2-condition is needed for M or M; so the associated functionals are not continuously differentiable, in general.


1959 ◽  
Vol 11 ◽  
pp. 593-600
Author(s):  
P. B. Kennedy

If f(z) is regular in |z| < 1, the expressionis called the characteristic of f(z). This is the notation of Nevanlinna (4) for the special case of regular functions; in this note it will not be necessary to discuss meromorphic functions. If m(r,f) is bounded for 0 < r < 1, then f(z) is called quasi-bounded in |z| < 1. In particular, every bounded function is quasibounded. The class Q of quasi-bounded functions is important because, for instance, a “Fatou theorem” holds for such functions (4, p. 134).


1985 ◽  
Vol 37 (2) ◽  
pp. 310-323 ◽  
Author(s):  
M. Essén

For f ∊ L−1(0, T), we define the distribution functionwhere T is a fixed positive number and |·| denotes Lebesgue measure. Let Φ:[0, T] → [0, m] be a nonincreasing, right continuous function. In an earlier paper [3], we discussed the equation(0.1)when the coefficient q was allowed to vary in the classWe were in particular interested in finding the supremum and infimum of y(T) when q was in or in the convex hull Ω(Φ) of (see below).


Sign in / Sign up

Export Citation Format

Share Document