Searcharxiv⌕ Search

arXiv subjects

Wojciech Górny

Publications and source records attributed to Wojciech Górny.

At least 19 recordsLinked to original sources

Adaptive double-phase Rudin--Osher--Fatemi denoising model

Even though more than 30 years have passed since the seminal Rudin--Osher--Fatemi (ROF) paper on total variation (TV) denoising, it remains relevant due to its simplicity, robustness and interpretability. However, it is known to suffer from artifacts such as the staircasing effect. Many variants of the model have been proposed with the aim of countering this. Recently, against the backdrop of immense research output on double-phase problems in the mathematical analysis community, a double-phase type integral functional, comprising of TV and a weighted term of quadratic growth, was suggested as a regularizer for image restoration. Here, we propose an adaptive variant of the ROF denoising model based on that regularizer. Variable growth of the double-phase functional allows for qualitatively different behavior at image contours, which are captured by an initial ROF reconstruction step. The model is designed to reduce staircasing with respect to the classical ROF model, while preserving the edges of the image in a similar fashion. We derive a closed-form resolvent formula and adapt the primal-dual Chambolle--Pock scheme for the numerical solution of the model. We also propose a practical noise-dependent parameter prescription and evaluate its performance on synthetic and natural images over a range of noise levels. Compared to established models with similar interpretability, we observe an improved or similar performance in terms of similarity metrics SSIM, PSNR, and LPIPS, while the staircasing effect is visibly reduced.

eess.IV↗

Euler-Lagrange equations for variable-growth total variation

We consider a class of integral functionals with Musielak-Orlicz type variable growth, possibly linear in some regions of the domain. This includes $p(x)$ power-type integrands with $p(x)\ge 1$ as well as double-phase $p\!-\!q$ integrands with $p=1$. The main goal of this paper is to identify the $L^2$-subdifferential of the functional, including a local characterisation in terms of a variant of the Anzellotti product defined through the Young's inequality. As an application, we obtain the Euler-Lagrange equation for the variant of the Rudin-Osher-Fatemi image denoising problem with variable growth regularising term.

math.AP↗

A duality-based approach to gradient flows of linear growth functionals

We study gradient flows of general functionals with linear growth with very weak assumptions. Classical results concerning characterisation of solutions require differentiability of the Lagrangian, as for the time-dependent minimal surface equation, or a special form of the Lagrangian as in the total variation flow. We propose to study this problem using duality techniques, give a general definition of solutions and prove their existence and uniqueness. This approach also allows us to reduce the regularity and structure assumptions on the Lagrangian.

math.AP↗

A metric counterpart of the Gu-Yung formula

In this note we consider a generalisation to the metric setting of the recent work [Gu-Yung, JFA 281 (2021), 109075]. In particular, we show that under relatively weak conditions on a metric measure space $(X,d,ν)$, it holds true that \[ \bigg[ \frac{u(x)-u(y)}{d(x,y)^{\frac{s}{p}}} \bigg]_{L^p_w(X \times X, ν\otimes ν)} \approx \| u \|_{L^p(X,ν)}, \] where $s$ is a generalised dimension associated to $X$ and $[\cdot]_{L^p_w}$ is the weak Lebesgue norm. We provide some counterexamples which show that our assumptions are optimal.

math.FA↗

A characterization of $\ell_1$ double bubbles with general interface interaction

We investigate the optimal arrangements of two planar sets of given volume which are minimizing the $\ell_1$ double-bubble interaction functional. The latter features a competition between the minimization of the $\ell_1$ perimeters of the two sets and the maximization of their $\ell_1$ interface. We investigate the problem in its full generality for sets of finite perimeter, by considering the whole range of possible interaction intensities and all relative volumes of the two sets. The main result is the complete classification of minimizers.

math.AP↗

Weak solutions to gradient flows of functionals with inhomogeneous growth in metric spaces

We use the framework of the first-order differential structure in metric measure spaces introduced by Gigli to define a notion of weak solutions to gradient flows of convex, lower semicontinuous and coercive functionals. We prove their existence and uniqueness and show that they are also variational solutions; in particular, this is an existence result for variational solutions. Then, we apply this technique in the case of a gradient flow of a functional with inhomogeneous growth.

math.AP↗

The double-bubble problem on the square lattice

We investigate minimal-perimeter configurations of two finite sets of points on the square lattice. This corresponds to a lattice version of the classical double-bubble problem. We give a detailed description of the fine geometry of minimisers and, in some parameter regime, we compute the optimal perimeter as a function of the size of the point sets. Moreover, we provide a sharp bound on the difference between two minimisers, which are generally not unique, and use it to rigorously identify their Wulff shape, as the size of the point sets scales up.

math.MG↗

Strongly anisotropic Anzellotti pairings and their applications to the anisotropic $p$-Laplacian

In this paper, we study the parabolic and elliptic problems related to the anisotropic $p$-Laplacian operator in the case when it has linear growth on some of the coordinates. In order to define properly a notion of weak solutions and prove their existence, we first construct an anisotropic analogue of Anzellotti pairings and prove a weak Gauss-Green formula which relates the newly constructed pairing with a normal trace of a sufficiently regular vector field.

math.AP↗

The trace space of anisotropic least gradient functions depends on the anisotropy

We study the set of possible traces of anisotropic least gradient functions. We show that even on the unit disk it changes with the anisotropic norm: for two sufficiently regular strictly convex norms the trace spaces coincide if and only if the norms coincide. The example of a function in exactly one of the trace spaces is given by a characteristic function of a suitably chosen Cantor set.

math.AP↗

On the $p$-Laplacian evolution equation in metric measure spaces

The $p$-Laplacian evolution equation in metric measure spaces has been studied as the gradient flow in $L^2$ of the $p$-Cheeger energy (for $1 < p < \infty$). In this paper, using the first-order differential structure on a metric measure space introduced by Gigli, we characterize the subdifferential in $L^2$ of the $p$-Cheeger energy. This gives rise to a new definition of the $p$-Laplacian operator in metric measure spaces, which allows us to work with this operator in more detail. In this way, we introduce a new notion of solutions to the $p$-Laplacian evolution equation in metric measure spaces. For $p = 1$, we obtain a Green-Gauss formula similar to the one by Anzellotti for Euclidean spaces, and use it to characterise the $1$-Laplacian operator and study the total variation flow. We also study the asymptotic behaviour of the solutions of the $p$-Laplacian evolution equation, showing that for $1 \leq p < 2$ we have finite extinction time.

math.AP↗

Optimal transport approach to Sobolev regularity of solutions to the weighted least gradient problem

We study the equivalence between the weighted least gradient problem and the weighted Beckmann minimal flow problem or equivalently, the optimal transport problem with Riemannian cost. Thanks to this equivalence, we prove existence and uniqueness of a solution to the weighted least gradient problem. Then, we show $L^p$ regularity on the transport density between two singular measures in the corresponding equivalent Riemannian optimal transport formulation. This will imply $W^{1,p}$ regularity of the solution of the weighted least gradient problem.

math.AP↗

The Neumann and Dirichlet problems for the total variation flow in metric measure spaces

We study the Neumann and Dirichlet problems for the total variation flow in metric measure spaces. We prove existence and uniqueness of weak solutions and study their asymptotic behaviour. Furthermore, in the Neumann problem we provide a notion of solutions which is valid for $L^1$ initial data, as well as prove their existence and uniqueness. Our main tools are the first-order linear differential structure due to Gigli and a version of the Gauss-Green formula.

math.AP↗

Applications of optimal transport methods in the least gradient problem

We study the consequences of the equivalence between the least gradient problem and a boundary-to-boundary optimal transport problem in two dimensions. We extend the relationship between the two problems to their respective dual problems, as well as prove several regularity and stability results for the least gradient problem using optimal transport techniques.

math.AP↗

Least gradient problem with Dirichlet condition imposed on a part of the boundary

We provide an analysis of the least gradient problem in the case when the boundary datum is only imposed on a part of the boundary. First, we give a characterisation of solutions in a general setting using convex duality theory. Then, we discuss the way in which solutions attain their boundary values, structure of solutions and their regularity.

math.AP↗

Bourgain-Brezis-Mironescu approach in metric spaces with Euclidean tangents

In the setting of metric measure spaces satisfying the doubling condition and the $(1,p)$-Poincaré inequality, we prove a metric analogue of the Bourgain-Brezis-Mironescu formula for functions in the Sobolev space $W^{1,p}(X,d,ν)$, under the assumption that for $ν$-a.e. point the tangent space in the Gromov-Hausdorff sense is Euclidean with fixed dimension $N$.

math.MG↗

Local and nonlocal 1-Laplacian in Carnot groups

We formulate and study the nonlocal and local least gradient problem, which is the Dirichlet problem for the 1-Laplace operator, in a quite natural setting of Carnot groups. We study the passage from the nonlocal problem to the local problem as the range of the interaction goes to zero; to do this, we first prove a total variation estimate of independent interest.

math.AP↗