3 added 630 characters in body; edited tags

I have the following minimum problem:

$$\min_{u\in \tag{1} \min_{u\in W^{1,1}(0,B)} \int_0^B (\sqrt{1+|u^\prime (t)|^2} -a)\ u^{k-1} (t) t^{h-1}\ \text{d} t$$

(where $B>0$, $0 < a < 1$, $h,k\in \mathbb{N}$ and $k>2$) under constraints:

$$\int_0^B u^k (t) t^{h-1}\ \text{d}t =\text{some constant},\ u(B)=0,\ u(0)>0,\ u(t)\geq 0.$$

With a great deal of effort I found the function $w:(0,B)\to [0,\infty[$:

$$w(t) := \sqrt{ \frac{B^2}{ 1 - a^2 } - t^2} - \frac{a B}{\sqrt{1 - a^2}}$$

as a solution for the Euler-Lagrange equation of the constrained problem, which seems to be:

$$$$\begin{split} \frac{\text{d}}{\text{d} t} \Big[ \frac{u^\prime}{\sqrt{1+|u^\prime|^2}}\ u^{k-1} t^{h-1} \Big] &- (k-1) (\sqrt{1+|u^\prime |^2} - a) u^{k-2} t^{h-1} \ &+\lambda\ k u^{k-1} t^{h-1} = 0 \end{split}$$$$

where dependence of $u,u^\prime$ on $t$ is omitted and $\lambda$ is a Lagrange multiplier (in particular, $\lambda = -(h+k-1) \sqrt{1-a^2} / (kB)$ is the multiplier working for $w(t)$).

But... As far as I can see, the integrand $F(t,u,p) := (\sqrt{1+p^2} - a)\ u^{k-1} t^{h-1} +\lambda u^k t^{h-1}$ lacks convexity in $(u,p)$, hence I cannot tell whether or not $w(t)$ is actually a minimizer. And, actually, I don't even know if $W^{1,1}$ is the "best" Sobolev space for this kind of problem.

(My first post here; try to forgive all the flaws, I'm just a newbye ;-D)

Problem (1) comes from a geometric inequality for cylindrical-type sets, which gives a lower bound for the difference of perimeter and a particular weighted measure of these sets (when their measure is fixed). Actually, standard isoperimetric inequality can be used to prove that (1) has a positive infimum $\gamma (a)$; hence I was trying to evaluate it.

I succeeded in doing all the computations in the case $u$ is smooth enough (and I even got the equality case), but then again I was wondering: what if I take a bigger function space?

And, then again, what if I consider the problem for $B=\infty$?

2 added 14 characters in body

I have the following minimum problem:

$$\min_{u\in W^{1,1}(0,B)} \int_0^B (\sqrt{1+|u^\prime (t)|^2} -a)\ u^{k-1} (t) t^{h-1}\ \text{d} t$$

(where $B>0$, $0 < a < 1$, $h,k\in \mathbb{N}$ and $k>2$) under constraints:

$$\int_0^\infty \int_0^B u^k (t) t^{h-1}\ \text{d}t =1,\ \text{some constant},\ u(B)=0,\ u(0)>0,\ u(t)\geq 0.$$

With a great deal of effort I found the function $w:(0,B)\to [0,\infty[$:

$$w(t) := \sqrt{ \frac{B^2}{ 1 - a^2 } - t^2} - \frac{a B}{\sqrt{1 - a^2}}$$

as a solution for the Euler-Lagrange equation of the constrained problem, which seems to be:

$$$$\begin{split} \frac{\text{d}}{\text{d} t} \Big[ \frac{u^\prime}{\sqrt{1+|u^\prime|^2}}\ u^{k-1} t^{h-1} \Big] &- (k-1) (\sqrt{1+|u^\prime |^2} - a) u^{k-2} t^{h-1} \ &+\lambda\ k u^{k-1} t^{h-1} = 0 \end{split}$$$$

where dependence of $u,u^\prime$ on $t$ is omitted and $\lambda$ is a Lagrange multiplier (in particular, $\lambda = -(h+k-1) \sqrt{1-a^2} / (kB)$ is the multiplier working for $w(t)$).

But... As far as I can see, the integrand $F(t,u,p) := (\sqrt{1+p^2} - a)\ u^{k-1} t^{h-1} +\lambda u^k t^{h-1}$ lacks convexity in $(u,p)$, hence I cannot tell whether or not $w(t)$ is actually a minimizer. And, actually, I don't even know if $W^{1,1}$ is the "best" Sobolev space for this kind of problem.

(My first post here; try to forgive all the flaws, I'm just a newbye ;-D)

1

# A minimum problem of the CoV

I have the following minimum problem:

$$\min_{u\in W^{1,1}(0,B)} \int_0^B (\sqrt{1+|u^\prime (t)|^2} -a)\ u^{k-1} (t) t^{h-1}\ \text{d} t$$

(where $B>0$, $0 < a < 1$, $h,k\in \mathbb{N}$ and $k>2$) under constraints:

$$\int_0^\infty u^k (t) t^{h-1}\ \text{d}t =1,\ u(B)=0,\ u(0)>0,\ u(t)\geq 0.$$

With a great deal of effort I found the function $w:(0,B)\to [0,\infty[$:

$$w(t) := \sqrt{ \frac{B^2}{ 1 - a^2 } - t^2} - \frac{a B}{\sqrt{1 - a^2}}$$

as a solution for the Euler-Lagrange equation of the constrained problem, which seems to be:

$$$$\begin{split} \frac{\text{d}}{\text{d} t} \Big[ \frac{u^\prime}{\sqrt{1+|u^\prime|^2}}\ u^{k-1} t^{h-1} \Big] &- (k-1) (\sqrt{1+|u^\prime |^2} - a) u^{k-2} t^{h-1} \ &+\lambda\ k u^{k-1} t^{h-1} = 0 \end{split}$$$$

where dependence of $u,u^\prime$ on $t$ is omitted and $\lambda$ is a Lagrange multiplier (in particular, $\lambda = -(h+k-1) \sqrt{1-a^2} / (kB)$ is the multiplier working for $w(t)$).

But... As far as I can see, the integrand $F(t,u,p) := (\sqrt{1+p^2} - a)\ u^{k-1} t^{h-1} +\lambda u^k t^{h-1}$ lacks convexity in $(u,p)$, hence I cannot tell whether or not $w(t)$ is actually a minimizer. And, actually, I don't even know if $W^{1,1}$ is the "best" Sobolev space for this kind of problem.