continuation of monotone function in $R^n$

779 Views Asked by At

Let $f(x_1,...,x_n)$ be $C^0$ continuous function $R^n\to R$ defined on a compact domain $A\subset R^n$. Let $f$ be monotonously increasing w.r.t every argument in the domain of definition. I'm looking for a method to continue $f$ to the whole $R^n$ as $C^0$ continuous function monotone w.r.t every argument.

Particularly, I have a computational problem with the values of a function $f(x,y)$ sampled on 2D grid. The function is given in a compact domain of a grid and it is monotonous w.r.t. $x$ and $y$ in the domain. It should be continued to the whole grid, in any way, with the only requirement of being continuous and monotone w.r.t. every argument.

In a special case, when the domain is a square, I can construct an explicit formula for such continuation. So what I miss is a formula or an algorithm to continue the function to the bounding box of the domain, supporting the monotonic property above.

1

There are 1 best solutions below

2
On

For nice domains, you can define $$ f(x_1,\dots,x_n) = \sup_{\substack{(y_1,\dots,y_n)\in A \\ y_1\le x_1,\, \dots, y_n\le x_n}} f(y_1,\dots,y_n). $$ But note that this doesn't always equal $f$ on the domain itself: for example, $any$ continuous function on the unit circle (not disk) in $\Bbb R^2$ vacuously is "increasing w.r.t every argument".