All Questions
29 questions
1
vote
2
answers
117
views
If $f\in C([0,\infty))$, does $\delta>0$ and $g\in C^1((0,\delta))\cap C([0,\delta])$ s.t. $g\geq f$ on $[0,\delta]$ and $g(0)=f(0)$ exist?
The question is the following:
Suppose $f : [0,\infty) \rightarrow \mathbb{R}$ is a continuous function. Can I find $\delta \in (0,\infty)$ and a function $g : [0,\delta] \rightarrow \mathbb{R}$ such ...
- 309
3
votes
0
answers
167
views
Bounding the $L^{p*}$ norm from below for functions satisfying a $p$-capacity estimate
If $1 \le p < n$, the $p$-capacity of a compact set $A \subset \mathbb{R}^n$ with respect to an open set $U$ containing it is defined as $$\text{Cap}_p(A, U) := \inf \left\{\int_U |\nabla u|^p \, ...
3
votes
0
answers
84
views
About the naturality of Krasnoselskii genus on Variational Methods
I have recently watched a seminar about Variational Methods from Mónica Clapp and she gave a very interesting motivation of why the Lusternik–Schnirelmann category (click on the link for the ...
- 131
3
votes
2
answers
614
views
A problem about how dominated convergence is used in the analysis of variation
I'm reading Existence of solutions to a higher dimensional mean-field equation on manifolds and get stuck on Lemma6. When $\lambda>\Lambda_1$, with $\Lambda_1=(2 m-1) ! \operatorname{vol}\left(S^{2 ...
- 809
1
vote
2
answers
213
views
How much "room" in inequality $\displaystyle \int_a^b \varphi' ov ~\mathrm{d}x \leq 0$
Let $[a, b]$ be a nonempty interval, $o \in C^1([a, b])$ be such that $o>0$ and $o'<0$ and assume we found some $v \in L^\infty(\mathbb{R})$ such that
\begin{equation}\tag{1}\label{1}
\int_a^b \...
2
votes
1
answer
148
views
The regularity theorem, a non-regular minimizer problem
During my self study to the calculus of variations I come across this problem. Because of my search, I know what I wanted to do but I need some help to do them.
The function $f:[-1,1] \times \mathbb R ...
- 159
3
votes
1
answer
322
views
Special version of Tonelli’s theorem
I am trying to prove this theorem. I have not found anything similar to it on the internet.
Special version of Tonelli’s theorem
Assume that the functions $f(x,u): [a,b] \times \mathbb{R} \to \mathbb{...
- 159
6
votes
1
answer
376
views
Lavrentiev phenomenon between $C^1$ and $C^2$
Does there exist a (onedimensional) functional that exhibits the Lavrentiev phenomenon between $C^1$ and $C^2$ that is
$$ F(y)=\int_a^b f(t,y(t),y'(t))\,dt \quad\text{or possibly}\quad F(y)=\int_a^b f(...
11
votes
2
answers
759
views
Prove/disprove $(\int_{0}^{2 \pi} \!\!\cos f(x) d x)^{2}+(\int_{0}^{2 \pi}\!\!\! \sqrt{(f'(x))^{2}+\sin ^{2} f(x)}dx)^{2}\ge 4\pi^{2}$
This problem has been posted on Math.SE but didn't receive any correct answer after a long time.
Let $f(x)$ be a differentiable function on $[0,2\pi]$ s.t. $0\leq f(x)\leq 2\pi$ and $f(0)=f(2\pi)$. ...
- 302
3
votes
0
answers
117
views
Optimal Poincaré constants under combined boundary and average conditions
Let $\Omega=[0,1]^2$ be the unit square, $\Gamma_1=[0,1]\times\{0;1\}$ its horizontal boundary and $\Gamma_2= \{0;1\}\times[0,1]$ its vertical boundary.
I would like to know the optimal Poincaré ...
- 53
9
votes
1
answer
511
views
Do these surfaces intersect?
For any real numbers $a_{1},a_{2},\cdots a_{6}$ and $b_{1},b_{2},\cdots b_{6}$
with $\sum_{i=1}^{6}a_{i}^{2}=1$ and $\sum_{i=1}^{6}b_{i}^{2}=1$,
does the equation $$ x_{1}^{2}x_{2}^{2}x_{3}^{2}x_{4}^{...
- 91
0
votes
0
answers
135
views
Help showing F is weakly lower semicontinuous
Given a compact subset $\Omega$ of $\mathbb{R}^N$, I wonder if $$F(u)=\int_\Omega f(u)\ dx =\int_\Omega (1-|u|^2)^2\ dx$$ is weakly lower semicontinuous (w.l.s.c) on $H^1(\Omega)$, meaning that if $\...
- 383
2
votes
2
answers
316
views
Properties of the topology of sequential convergence $\tau_\text{seq}$
Let $(X,\tau)$ be a Hausdorff space. Denote by $\tau_\text{seq}$ the topology on $X$ whose closed sets are the sequentially $\tau$-closed subsets of $X$. I have read that $\tau_\text{seq}$ has the ...
- 1,245
2
votes
1
answer
216
views
Is $ f(x(.)) := \int_{0}^{1} F ( x(t)) \; dt$ differentiable?
Let $f : AC[0, 1] \to R$ be defined by $ f(x(.)) := \int_{0}^{1} F ( x(t)) \; dt$. Where, $AC[0, 1]$ is the set of absolutely continuous functions with the norm $W^{1,1}$, and $F: R^n \to R$ is ...
- 369
2
votes
0
answers
216
views
Is $f$ defined by $f(x) = t\mapsto G(t , x(t))$ differentiable?
Let us consider $X = AC([0 , 1] , \mathbb{R}^n)$, and $Y=L^{1} ([0,1] , \mathbb{R}^n )$ as Banach spaces with their usual norms. Let $G: \mathbb{R} \times \mathbb{R}^n \to \mathbb{R}^n$ be a ...
- 369
0
votes
1
answer
119
views
$\sup_{f} \inf_{z\in D} [f_x^2(z)+f_y^2(z)]$ for $|f|\leq1$ on a unit disk
Let $f:\mathbb{R^2}\mapsto\mathbb{R}$ be continuous and have partial derivatives in $D=\{(x,y):x^2+y^2\leq1\}$, and let $\mathscr{H}$ the set of such functions for which $\sup_D |f|\leq1$.
Could ...
- 385
6
votes
2
answers
353
views
Bounded deformation vs bounded variation
Let $BV(\mathbb R^n; \mathbb R^n)$ be the space of (vector-valued) functions of bounded variation and let $BD(\mathbb R^n;\mathbb R^n)$ the space of functions with bounded deformation. They are made ...
- 608
4
votes
1
answer
184
views
Non-linear translation invariant functionals on $L^1$
I have recently come across a class of (possibly non-linear) operators $F$ defined on $L^1$ such that
$F \colon L^1(\mathbb R^d) \to \mathbb [0,+\infty]$;
$F(u(\cdot - z)) = F(u(\cdot))$ for every $...
- 391
6
votes
1
answer
213
views
A one-dimensional integral minimization problem
Let $\mathscr F$ be the collection of smooth functions $f \colon
\mathbb R \to \mathbb R$ such that
$f \in C^\infty_c(\mathbb R)$, with $\text{supp } f \subset [-1,1]$;
$\int_0^1 x f(x) dx ...
- 391
7
votes
1
answer
1k
views
A variational problem - some guidance
This is a problem I'm thinking about, to learn some more advanced calculus of variations on my own. I would appreciate some help, or a solution, just to have a sample to compare in the future.
Let
$\...
user125029
3
votes
1
answer
172
views
Infimum of an integral functional involving a symmetric matrix
I have a symmetric $d \times d$ matrix $A$ and I have the following functional:
$$
\mathcal J(h) := \int_{B_1(0)} \vert \langle Au,u \rangle\vert \frac{\vert h'(\vert u \vert)\vert}{\vert u \vert} du,
...
- 391
8
votes
1
answer
380
views
Lavrentiev phenomenon between $C^1$ and Lipschitz
Does there exist a (onedimensional) integral functional of calculus of variations (with $f$ finite everywhere)
$$
F(y)=\int_a^b f(t,y(t),y'(t))\,dt
$$
such that
$$
\inf_{y\in Lip([a,b])}F(y)<\inf_{...
- 1,309
7
votes
0
answers
619
views
Lavrentiev Phenomenon
Does there exist a (onedimensional) integral functional of calculus of variations
$$
F(y)=\int_a^b f(t,y(t),y'(t))\,dt
$$
such that not only
$$
\inf_{y\in\operatorname{Lip}([a,b])}F(y)>\inf_{y\in ...
- 1,309
4
votes
1
answer
264
views
Density of the max set of a non-differentiable function
For $f : [0;1] \to \mathbb{R}$, let $M_f := \{x \in [0;1] \mid f(x)$ is a local strict maximum of $f\}$. It is easy to see that for any $f$, $M_f$ is at most countable. It is also easy to see that ...
- 15.8k
1
vote
1
answer
441
views
Generalized Lax-Milgram for Weak Formulation of 1D Linear Schrodinger
I am interested in the variational formulation of the 1D Schrodinger equation:
$i u_t- \beta u_{xx} = 0 $ and $u(x,0)=u_0(x)$ which upon integration by parts yields:
$i(u_t,v) + \beta (u_x,v_x) = 0$ ...
5
votes
1
answer
481
views
A continuous path between two Sobolev functions
Let $\Omega\subset \mathbb R^N$ be open bounded, smooth boundary. Let $u_1$, $u_2\in H^{1}(\Omega)$ such that $T[u_1]=T[u_2]=T[\omega]$ where $T$ stands for the trace operator and $\omega\in H^1(\...
- 679
1
vote
1
answer
114
views
question about $TGV^2$ space
Let us just stay in $\mathbb R^1$. The space $TGV^k$ is defined as the function $u\in L^1(I)$ and
$$
TGV^k(u,I):=\sup\left\{\int_I u\,\phi^{(k)}\,d\mu, \,\phi\in C_c^\infty(I),\,\|\phi\|_{L^{\infty}(...
- 679
0
votes
0
answers
173
views
Is this has anything to do with Riesz representation?
The Riesz representation is very useful in study BV space. There is a lot of version of it and one of the good one can be found in this book, page 49.
Here I come up with a question which has similar ...
- 679
7
votes
1
answer
497
views
Inequality of the norm of the convolution in $L^p(\mathbb{R}^n)$ with symmetric decreasing rearrangement?
Is it true that
$$
||f*g||_p \le ||\,|f|^* * |g|^*||_p\quad ?
$$
where $|f|^*$ and $|g|^*$ are the symmetric decreasing rearrangements of the functions $|f|$ and $|g|$. Under what conditions on $f$ ...
- 193