3
$\begingroup$

Let $\alpha(s) = (x(s),y(s))$ be the arc length parametrization of a plane, smooth, closed, convex curve, of length $L$. Let $J:(0,L)\to\mathbb{R}$ be a smooth and Bounded variation (BV introduced after comment from Dirk of possibility of blow up at 0 or L) function. Let $\Omega$ be the set of all interior points of the region bounded by the curve $\alpha(s)$.

The problem I would need help for, is to determine $f:\Omega \to \mathbb{R}$, such that

  1. Given any $s_0 \in (0,L)$, and let $p_0 = \alpha(s_0)$, $${\lim_{p\to p_0}}_{p\in\Omega}f(p) = J(s_0)$$

  2. $f\in C^{\infty}(\Omega \setminus R)$, where $R$ is a set of 1-Hausdorff measure equal to 0.

  3. The total variation $V(f,\Omega)$ is minimum possible.

Motivation : Trying to define step functions in $\mathbb{R}^2$

PS : enter image description here

^ Picture source : Wikipedia

$\endgroup$
3
  • $\begingroup$ I am not sure if its upto research level math, so in case needed, please free to migrate to math.stackexchange. $\endgroup$
    – Rajesh D
    Feb 22, 2016 at 8:10
  • $\begingroup$ I guess it would make sense to relax regularity of $f$ as $$f \in C^{\infty}(\Omega \setminus R)$$ where the 1-dimensional Hausdorff measure of $R$ is zero. $\endgroup$
    – Rajesh D
    Feb 22, 2016 at 12:44
  • $\begingroup$ Would it help if we keep repeatedly, downscaling (contracting) the curve and assigning values to $f$ just as on the curve, till it filles out all of the interior of the curve. The only point where $f$ is not smooth is the point to which the curve contracts as we keep decreasing the scale? $\endgroup$
    – Rajesh D
    Feb 22, 2016 at 14:54

2 Answers 2

5
$\begingroup$

You want to solve this problem $$ \min \{V(f,\Omega)\ : f\in BV(\Omega),\ f|_{\partial \Omega}\equiv J \} $$ and there is quite some background required to analyze this problem.

First, one should clarify existence of solutions, then uniqueness, then one could also think about regularity of solutions and finally, analytical or numerical methods.

First, you should look for solutions $f$ in the space $BV(\Omega)$ and not in $C^\infty(\Omega)$ (it may well be, that there is a solution that has additional regularity, but that's a question for a later stage). This may feel like making the problem more complicated than it is, but in fact the framework of $BV$-functions is indeed quite flexible and somehow, only $BV$ reveals what is really going on here.

Then one would clarify in what sense a function $f\in BV(\Omega)$ has boundary values. In fact, there is a well defined trace operator taking $f\in BV(\Omega)$ to $f|_{\partial\Omega}\in L^1(\partial\Omega)$ (cf. Theorem 10.2.2 from "Variational Analysis in Sobolev ans BV spaces" by Attouch et al.). Then existence of solutions is clear from standard arguments along the lines of what is called "the direct method in the calculus of variations" (you know, minimizing sequences, weak cluster points, lower semi-continuity and so on).

I should not that the problem you want solve is pretty famous in mathematical image processing and know as inpainting: You have some image $u_0$ defined on some domain $D\setminus\Omega$ (i.e. some domain $D$ and the part inside $\Omega$ is missing). You want to fill in the image $u_0$ in some meaningful way. One idea (and not the best) is to look for some $u$ defined on all of $D$ such that $u$ is equal to $u_0$ outside of $\Omega$ and has minimal total variation in $\Omega$ (that's equal to your problem with boundary values).

A point to get started about algorithms is the IPOL-Article by Pascal Getreuer Total Variation Inpainting using Split Bregman. There you'll find code for a numerical solution and also some pointers to relevant literature.

Regarding regularity of solutions (e.g. smooth solutions for smooth boundary values along a smooth curve), I am not sure and this may be difficult.

I suspect that solutions may not be unique and that there are situations in which there are both smooth and nonsmooth solutions. Indeed in the one dimensional case there are multiple solutions for the boundary values $f(0)=0$ and $f(1)=1$: all increasing functions with these boundary values have total variation equal to one which is minimal. Note that there are smooth solutions but also nonsmooth ones (even ones that jump). It is not clear to me, if the situation in higher dimensions could be any better…

$\endgroup$
6
  • $\begingroup$ Thanks for the response and answer. Would it make sense to relax regularity of $f$ as $$f \in C^{\infty}(\Omega \setminus R)$$ where the 1-dimensional Hausdorff measure of $R$ is zero. $\endgroup$
    – Rajesh D
    Feb 22, 2016 at 12:46
  • $\begingroup$ Hmm, this may get complicated as sets of 1-dimensional Hausdorff measure can get quite nasty. Also this assumption would not even imply boundedness of $f$… I think the framework is most natural, if you assume that $f$ is $L^1$ on the boundary. Usually, these spaces of differentiable functions are not well suited for variational problems. The framework of weak derivatives is much more handy here. $\endgroup$
    – Dirk
    Feb 22, 2016 at 12:59
  • $\begingroup$ Ok, then additionally, I go as $J \in BV(0,L)$ $\endgroup$
    – Rajesh D
    Feb 22, 2016 at 13:38
  • $\begingroup$ May work… Anyway, all the best for you undertakings. $\endgroup$
    – Dirk
    Feb 22, 2016 at 13:40
  • $\begingroup$ i don't agree with your generalization to 1 dimension. Here you are taking two points $0$ and $1$ as bounadries, but according to me, there is only one point which acts as boundary, for exaple $0$ and divides domain into two regions, left of $0$ and right of $0$. Example is Heavside step function. (This solution is unique). en.wikipedia.org/wiki/Heaviside_step_function $\endgroup$
    – Rajesh D
    Feb 24, 2016 at 10:06
1
$\begingroup$

I roughly sketch a solution without a proof, and also a possible minimum possible value for total variation of $f$.

Let $f$ assume values of $J$ on the boundary curve $\alpha$. We construct infinite number of scaled down versions of the curve $\alpha$ with scale factor ranging from $1$ and converging to $0$, and on each curve we let $f$ take values of corresponding scaled down version of $J$.

Edit : (clarify) If curve is scaled by $c$, then new $J_c(x) = J(\frac{x}{c})$, where $J_c$ is defined on $(0,Lc)$. $c\in(0,1)$

This is illustrated roughly in the picture below.

enter image description here

This way we construct $f$ on entire $\Omega$ and it is smooth(as $J$ and $\alpha$ are smooth) except possibly at $O$, the centroid of region $\Omega$, where it is not continuous. But this discontinuty at $O$ has no effect on Variation of $f$ in $\Omega$.

Variation of $f$ for this case, is given as $$V(f,\Omega) = V_0^L(J) \mathcal{H}^2(\Omega)$$

I am yet to sketch a proof that this is the minimum possible variation for $f$.

PS : $V_0^L(J)$ is the total variation of $J$ in $(0,L)$, and $\mathcal{H}^2(\Omega)$ is the two dimensional Hausdorff measure of the set $\Omega$.

$\endgroup$
8
  • $\begingroup$ @Dirk : Can you comment/suggestions on my answer. $\endgroup$
    – Rajesh D
    Feb 23, 2016 at 12:53
  • $\begingroup$ I unconsciously assume $J(L) = J(0)$, otherwise the expression for variation needs an extra term. $\endgroup$
    – Rajesh D
    Feb 23, 2016 at 13:04
  • $\begingroup$ I doubt that this will be optimal or almost optimal up to a constant: Consider a wide and flat rectangle-like $\Omega$ and boundary values that are close to one in the middle the short edges and zero along the long edges. The proposed approach by scaling introduce long "edges" in the interior of $\Omega$ while $TV$ would favor short edges… $\endgroup$
    – Dirk
    Feb 24, 2016 at 9:20
  • $\begingroup$ @Dirk : I don't yet fully understand what you are saying, but I have one thing to clarify, "corresponding scaled down version of J", here I mean scaling or compressing the independent variable, and not the amplitude values of $J$, for example, if $J$ is defined on $(0,L)$ and $c$ time scaled version will be $J_c(x) = J(cx)$, where $J_c$ defined on $(0,L/c)$. What I am not doing is $J_c(x) = \frac{1}{c}J(cx)$. I am not sure if this is what you are taking but just wanted to clarify. Please let me know if this is the issue. $\endgroup$
    – Rajesh D
    Feb 24, 2016 at 9:43
  • $\begingroup$ @Dirk : Sorry its $J_c(x) = J(\frac{x}{c})$, $J_c$ defined on $(0,Lc)$, $c \in (0,1)$ $\endgroup$
    – Rajesh D
    Feb 24, 2016 at 9:58

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.