## 1 Introduction

One of the most widely used methods to solve image restoration problems is the variational regularization approach. This variational approach consists of minimizing a reconstruction functional that decomposes into a fidelity and a regularization term, which give rise to competing effects. While the fidelity term ensures that the reconstructed image is close to the (noisy) data, the regularization term is designed to remove the noise by incorporating prior information on the clean image. In the case of a simple $$L^2$$-fidelity term, the reconstruction functional is given by

\begin{aligned} \mathcal {J}(u) = \Vert u-u^{\eta }\Vert ^2_{L^2(\Omega )} + \mathcal {R}(u), \qquad \hbox { for}\ u \in L^2(\Omega ), \end{aligned}

where $$\Omega \subset \mathbb {R}^n$$ is the image domain, $$u^{\eta } \in L^2(\Omega )$$ the noisy image, and $$\mathcal {R}:L^2(\Omega ) \rightarrow [0,\infty ]$$ the regularizer.

A common choice for $$\mathcal {R}$$ is the total variation (TV) regularization proposed by Rudin, Osher, & Fatemi [52], which penalizes sharp oscillations, but does not exclude edge discontinuities, as they appear in most images. Since its introduction, the TV-model has inspired a variety of more advanced regularization terms, like the infimal-convolution total variation (ICTV) [19], the total generalized variation (TGV) [14], and many more, cf. [10] and the references therein. Due to the versatility of the variational formulation, regularizers of a completely different type can be used as well. Recently, a lot of attention has been directed towards regularizers incorporating nonlocal effects, such as those induced by difference quotients [5, 11, 15, 38] and fractional operators [1, 3, 4]. Nonlocal regularizers have the advantage of not requiring the existence of (full) derivatives, allowing to work with functions that are less regular than those in the local counterpart.

With an abundance of available choices, finding a suitable regularization term for a specific application is paramount for obtaining accurate reconstructions. This is often done by fixing a parameter-dependent family of regularizers and tuning the parameter in accordance with the noise and data. Carrying out this process via trial and error can be hard and inefficient, which led to the development of a more structured approach in the form of bi-level optimization. We refer, e.g., to [30, 31] (see also [21, 22, 35, 53]) and to the references therein, as well as to [33] for a detailed overview. The idea behind bi-level optimization is to employ a supervised learning scheme based on a set of training data consisting of noisy images and their corresponding clean versions. To determine an optimal parameter, one minimizes a selected cost functional which quantifies the error with respect to the training data. Overall, this results in a nested variational problem with upper- and lower-level optimization steps related to the cost and reconstruction functional, respectively. Key aspects of the mathematical study of these bi-level learning schemes include establishing the existence of solutions and deriving optimality conditions, which lay the foundation for devising reliable numerical solution methods.

In recent years, there has been a rapid growth in the literature devoted to addressing the above questions. To mention but a few examples, we first refer the paper [41] dealing with learning real-valued weight parameters in front of the regularization terms for a rather general class of inverse problems; in [2, 6], the authors optimize the fractional parameter of a regularizer depending on the spectral fractional Laplacian; spatially dependent weights are determined through training via other nonlocal bi-level schemes (e.g., inside the Gagliardo semi-norm [40] or in a type of fractional gradient [32]), and in classical TV-models [23, 39, 47]; as done in [29], one can also learn the fidelity term instead of the regularizer.

A common denominator in the above references is the presence of certain a priori compactness constraints on the set of admissible parameters, such as box constraints like in [41], where the weights are assumed to lie in some compact interval away from 0 and infinity. These conditions make it possible to prove stability of the lower-level problem and obtain existence of optimal parameters within a class of structurally equivalent regularizers. However, imposing artificial restrictions to the parameter range like these may lead to suboptimal results depending on the given training data.

It is then substantial to consider removing such constraints in order to work on maximal domains naturally associated with the parameters, which is also our focus in this paper. An inherent effect of this approach is that qualitative changes in the structure of the regularizer may occur at the edges of the domain. If optimal parameters are attained at the boundary, this indicates that the chosen class of regularization terms is not well-suited to the training data. To exclude these degenerate cases, it is of interest to provide analytic conditions to guarantee that the optimal parameters are attained in the interior of the domain, thereby preserving the structure of the regularizer. The first work to address the aforementioned tasks is [30] by De Los Reyes, Schönlieb, & Valkonen, where optimization is carried out for weighted sums of local regularizers of different type with each weight factor allowed to take any value in $$[0,\infty ]$$. As such, their bi-level scheme is able to encompass multiple regularization structures at once, like TV and $$TV^2$$ and their interpolation TGV. Similarly, the authors in [44] vary the weight factor in the whole range $$[0,\infty ]$$ as well as the underlying finite-dimensional norm of the total variation regularizer. We also mention [28], where the order of a newly introduced nonlocal counterpart of the TGV-regularizer is tuned, and [27], which studies a bi-level scheme covering the cases of TV, $$TGV^2$$, and $$NsTGV^2$$ in a comprehensive way.

In this paper, we introduce a unified framework to deal with parameter learning beyond structural stability in the context of bi-level optimization schemes. In contrast to the above references, where the analysis is tailored to a specifically chosen type of parameter dependence, our regularizers can exhibit a general dependence on parameters in a topological space. Precisely, we consider a parametrized family of regularizers $$\mathcal {R}_{\lambda }:L^2(\Omega ) \rightarrow [0,\infty ]$$ with $$\lambda$$ ranging over a subset $$\Lambda$$ of a topological space X, which is assumed to be first countable. If we focus for brevity on a single data point $$(u^c,u^\eta ) \in L^2(\Omega )\times L^2(\Omega )$$, with $$u^c$$ and $$u^\eta$$ the clean and noisy images (see Sect. 2 for larger data sets), the bi-level optimization problem reads:

\begin{aligned} \begin{aligned} (\mathrm{Upper{-}level}) \qquad&\text {Minimize} \ \ \mathcal {I}(\lambda ):=\inf _{w \in K_{\lambda }}\Vert w-u^c\Vert ^2_{L^2(\Omega )} \ \ \text {over }\lambda \in \Lambda ,\\ (\mathrm{Lower{-}level}) \qquad&K_{\lambda }:=\mathop {\mathrm{arg\,min}}\limits _{u \in L^2(\Omega )}\mathcal {J}_{\lambda }(u) ,\qquad \end{aligned} \end{aligned}

where $$\mathcal {J}_{\lambda }(u):=\Vert u-u^{\eta }\Vert ^2_{L^2(\Omega )} + \mathcal {R}_{\lambda }(u)$$ is the reconstruction functional.

Our approach for studying this general bi-level learning scheme relies on asymptotic tools from the calculus of variations. We define a suitable notion of stability for the lower-level problems that requires the family of functionals $$\{\mathcal {J}_{\lambda }\}_{\lambda \in \Lambda }$$ to be closed under taking $$\Gamma$$-limits; see [13, 25] for a comprehensive introduction on $$\Gamma$$-convergence. Since $$\Gamma$$-convergence ensures the convergence of sequences of minimizers, one can conclude that, in the presence of stability, the upper-level functional $$\mathcal {I}$$ admits a minimizer (Theorem 2.3).

A different strategy is required to obtain the existence of solutions when stability fails. Especially relevant here is the case of real-valued parameters when box constraints are disposed of and non-closed intervals $$\Lambda$$ are considered; clearly, stability is then lost for the simple fact that a sequence of parameters can converge to the boundary of $$\Lambda$$. To overcome this issue, we propose a natural extension $${\overline{\mathcal {I}}}:{\overline{\Lambda }} \rightarrow [0,\infty ]$$ of $$\mathcal {I}$$, now defined on the closure of our parameter domain, and identified via $$\Gamma$$-convergence of the lower-level functionals. Precisely,

\begin{aligned} \begin{aligned} (\mathrm{Upper{-}level}) \qquad&\text {Minimize} \ \ {\overline{\mathcal {I}}}(\lambda ):=\inf _{w \in \overline{K}_\lambda }\Vert w-u^c\Vert ^2_{L^2(\Omega )} \ \ \text {over } \lambda \in {\overline{\Lambda }},\qquad \ \ \\ (\mathrm{Lower{-}level}) \qquad&\overline{K}_\lambda := \mathop {\mathrm{arg\,min}}\limits _{u \in L^2(\Omega )}{\overline{\mathcal {J}}}_{\lambda }(u), \end{aligned} \end{aligned}

where the functionals $${\overline{\mathcal {J}}}_\lambda :L^2(\Omega )\rightarrow [0,\infty ]$$ are characterized as $$L^2$$-weak $$\Gamma$$-limits (if they exist) of functionals $$\mathcal {J}_{\lambda '}$$ with $$\lambda ' \rightarrow \lambda$$. To justify the choice of this particular extension, we derive an intrinsic connection with relaxation theory in the calculus of variations (for an introduction, see, e.g., [24, Chapter 9] and the references therein). Explicitly, the relaxation of the upper-level functional $$\mathcal {I}$$ is given by its lower semicontinuous envelope (after the trivial extension to $${\overline{\Lambda }}$$ by $$\infty$$),

\begin{aligned} \mathcal {I}^\textrm{rlx}(\lambda ):=\inf \Big \{\liminf _{k\rightarrow \infty } \mathcal {I}(\lambda _k): (\lambda _k)_k\subset \Lambda , \lambda _k\rightarrow \lambda \hbox { in}\ {\overline{\Lambda }}\Big \} \text { for } \lambda \in {{\overline{\Lambda }}}. \end{aligned}

This relaxed version of $$\mathcal {I}$$ has the desirable property that it admits a minimizer (if $${\overline{\Lambda }}$$ is compact) and minimizing sequences of $$\mathcal {I}$$ have subsequences that converge to an optimal parameter of $$\mathcal {I}^\textrm{rlx}$$. Our main theoretical result (Theorem 2.5) shows that the extension $${\overline{\mathcal {I}}}$$ coincides with the relaxation $$\mathcal {I}^\textrm{rlx}$$ under suitable assumptions and therefore inherits the same properties (cf. Corollary 2.8).

Besides the generic conditions that each $$\mathcal {R}_{\lambda }$$ is weakly lower semicontinuous and has non-empty domain (see (H)), which ensure that $$\mathcal {J}_{\lambda }$$ possesses a minimizer, we work under two main assumptions:

1. (i)

The Mosco-convergence of the regularizers, i.e., $$\Gamma$$-convergence with respect to the strong and weak $$L^2$$-topology, and

2. (ii)

the uniqueness of minimizers of $${\overline{\mathcal {J}}}_{\lambda }$$ for $$\lambda \in {\overline{\Lambda }} {\setminus } \Lambda$$.

We demonstrate in Example 2.7 that these assumptions are in fact optimal. Due to $$(\textrm{i})$$, the $$\Gamma$$-limits $${\overline{\mathcal {J}}}_{\lambda }$$ preserve the additive decomposition into the $$L^2$$-fidelity term and a regularizer, and coincide with $$\mathcal {J}_{\lambda }$$ inside $$\Lambda$$. As a consequence of the latter, it follows that $${\overline{\mathcal {I}}}=\mathcal {I}$$ in $$\Lambda$$, making $${\overline{\mathcal {I}}}$$ a true extension of $$\mathcal {I}$$. For the parameter values at the boundary, $$\lambda \in {\overline{\Lambda }}{\setminus } \Lambda$$, however, the regularizers present in $${\overline{\mathcal {J}}}_{\lambda }$$ can have a completely different structure from the family of regularizers $$\{\mathcal {R}_{\lambda }\}_{\lambda \in \Lambda }$$ that we initially started with. When the optimal parameter of the extended problem is attained inside $$\Lambda$$, one recovers instead a solution to the original training scheme, yielding structure preservation. For a discussion on related results in the context of optimal control problems [9, 16, 17], we refer to the end of Sect. 2.

To demonstrate the applicability of our abstract framework, we investigate a quartet of practically relevant scenarios with families of nonlocal regularizers that induce qualitatively different structural changes; namely, learning the optimal weight, varying the amount of nonlocality, optimizing the integrability exponent, and tuning the fractional parameter. More precisely, in all these four applications, our starting point is a non-closed real interval $$\Lambda \subset [-\infty ,\infty ]$$ and we seek to determine the extension $${\overline{\mathcal {I}}}$$ on the closed interval $${\overline{\Lambda }}$$, which admits a minimizer by the theory outlined above. The first step is to calculate the Mosco-limits of the regularizers, which reveals the type of structural change occurring at the boundary points. Subsequently, we study for which training sets of clean and noisy images the optimal parameters are attained either inside $$\Lambda$$ or at the edges. In two cases, we determine explicit analytic conditions on the data that guarantee structure preservation for the optimization process.

The first setting involves a rather general nonlocal regularizer $$\mathcal {R}:L^2(\Omega ) \rightarrow [0,\infty ]$$ multiplied by a weight parameter $$\alpha$$ in $$\Lambda = (0,\infty )$$. Inside the domain, we observe structural stability as $${\overline{\mathcal {J}}}_{\alpha }=\mathcal {J}_{\alpha }$$ for all $$\alpha \in \Lambda$$; in contrast, the regularization disappears when $$\alpha =0$$ and forces the solutions to be constant when $$\alpha =\infty$$. Moreover, we derive sufficient conditions in terms of the data that prevent the optimal parameter from being attained at the boundary points; for a single data point $$(u^c,u^\eta )$$, they specify to

see Theorem 3.2. Notice that the first of these two conditions is comparable to the one in [30, Eq. (10)] and shows positivity of optimal weights.

Inspired by the use of different $$L^p$$-norms in image processing, such as in the form of quadratic, TV, and Lipschitz regularization [50, Sect. 4], we focus our second case on the integrability exponent of nonlocal regularizers of double-integral type; precisely, functionals of the form

\begin{aligned} \mathcal {R}_{p}(u) = \left( \frac{1}{|\Omega \times \Omega |}\int _\Omega \int _\Omega f^p(x,y, u(x), u(y)) \,\textrm{d}x\,\textrm{d}y\right) ^{1/p} \quad \hbox { for}\ p \in \Lambda =[1,\infty ), \end{aligned}

with a suitable $$f:\Omega \times \Omega \times \mathbb {R}\times \mathbb {R}\rightarrow [0,\infty )$$. Possible choices for the integrand f include bounded functions or functions of difference-quotient type. We prove stability of the lower-level problem in $$\Lambda$$, and determine the Mosco-limit for $$p \rightarrow \infty$$ via $$L^p$$-approximation techniques as in [20, 42]. In particular, we show that it is given by a double-supremal functional of the form

\begin{aligned} \mathcal R_\infty (u)= {{\,\mathrm{ess\,sup}\,}}_{(x,y)\in \Omega \times \Omega } f(x,y, u(x), u(y)). \end{aligned}

In order to see how this structural change affects the image reconstruction, we highlight examples of training data for which the supremal regularizer performs better or worse than the integral counterparts.

As a third application, we consider two families of nonlocal regularizers $$\{\mathcal {R}_{\delta }\}_{\delta \in \Lambda }$$ with $$\Lambda = (0,\infty )$$, which were introduced by Aubert & Kornprobst [5] and Brezis & Nguyen in [15], respectively, and are closely related to nonlocal filters frequently used in image processing. The parameter $$\delta$$ reflects the amount of nonlocality in the regularizer. It is known that the functionals $$\mathcal {R}_{\delta }$$ tend, as $$\delta \rightarrow 0$$, to a multiple of the total variation in the sense of $$\Gamma$$-convergence. Based on these results, we prove in both cases that the reconstruction functional of our bi-level optimization scheme turns into the classical TV-denoising model when $$\delta =0$$, whereas the regularization vanishes at the other boundary value, $$\delta = \infty$$. As such, the extended bi-level schemes encode simultaneously nonlocal and total variation regularizations. We round off the discussion by presenting some instances of training data where the optimal parameters are attained either at the boundary or in the interior of $$\Lambda$$.

Our final bi-level optimization problem features a different type of nonlocality arising from fractional operators; to be precise, we consider, in the same spirit as in [1], the $$L^2$$-norm of the spectral fractional Laplacian as a regularizer. The parameter of interest here is the order s/2 of the fractional Laplacian, which is taken in the fractional range $$s \in \Lambda = (0,1)$$. At the values $$s=0$$ and $$s=1$$, we recover local models with regularizers equal to the $$L^2$$-norm of the function and its gradient, respectively. Thus, one expects the fractional model to perform better than the two local extremes. We quantify this presumption by deriving analytic conditions in terms of the eigenfunctions and eigenvalues of the classical Laplacian on $$\Omega$$ ensuring the optimal parameters to be attained in the truly fractional regime. These conditions on the training data are established by proving and exploiting the differentiability of the extended upper-level functional $${\overline{\mathcal {I}}}$$.

For completeness, we mention that practically relevant scenarios when $$\Lambda$$ is a topological space include those in which the reconstruction parameters are space-dependent, and thus described by functions. The analysis of this class of applications is left open for future investigations.

The outline of the paper is as follows. In Sect. 2, we present the general abstract bi-level framework, and prove the results regarding the existence of optimal parameters and the two types of extensions of bi-level optimization schemes. Sections 36 then deal with the four different, practically relevant applications mentioned in the previous paragraph. As a note, we point out that they are each presented in a self-contained way, allowing the readers to move directly to the sections that correspond best to their interests.

## 2 Establishing the Unified Framework

Let $$\Omega \subset \mathbb {R}^n$$ be an open bounded set, and let

\begin{aligned} \bigcup _{j=1}^N (u_j^{c}, u_j^{\eta })\subset L^2(\Omega )\times L^2(\Omega ),\quad N\in \mathbb {N}, \end{aligned}

be a set of available square-integrable training data, where each $$u_j^{c}$$ represents a clean image and $$u_j^{\eta }$$ a distorted version thereof, which can be obtained, for instance, by applying some noise to $$u_j^{c}$$. These data are collected in the vector-valued functions $$u^{c}:= (u_1^{c}, \ldots , u_{N}^{c})\in L^2(\Omega ;\mathbb {R}^N)$$ and $$u^{\eta }:= (u_1^{\eta }, \ldots , u_{N}^{\eta })\in L^2(\Omega ;\mathbb {R}^N)$$. As for notation, $$\Vert v\Vert _{L^2(\Omega ;\mathbb {R}^N)}^2 = \sum _{j=1}^N \Vert v_j\Vert _{L^2(\Omega )}^2$$ stands for the $$L^{2}$$-norm of a function $$v\in L^2(\Omega ;\mathbb {R}^N)$$.

To reconstruct each damaged image, $$u_j^{\eta }$$, we consider denoising models that consist of a simple fidelity term and a (possibly nonlocal) regularizer; precisely, we minimize functionals $$\mathcal {J}_{\lambda , j}: L^2(\Omega )\rightarrow [0, \infty ]$$ of the form

\begin{aligned} \mathcal {J}_{\lambda , j}(u) = \Vert u-u_j^{\eta }\Vert ^2_{L^2(\Omega )}+ \mathcal {R}_\lambda (u), \qquad u\in L^2(\Omega ), \end{aligned}
(2.1)

where the regularizer $$\mathcal {R}_\lambda :L^2(\Omega )\rightarrow [0, \infty ]$$, with $$\text {Dom } \mathcal {R}_\lambda = \{v\in L^2(\Omega ): \mathcal {R}_\lambda (u)<\infty \}$$, is a (possibly nonlocal) functional parametrized over $$\lambda \in \Lambda$$ with $$\Lambda$$ a subset of a topological space X satisfying the first axiom of countability. Throughout the paper, we always assume that for every $$\lambda \in \Lambda$$, we have

\begin{aligned} {\left\{ \begin{array}{ll} \text {Dom } \mathcal {R}_\lambda \ \text {is non-empty},\\ \mathcal {R}_\lambda \ \text {is weakly }L^2\text {-lower semicontinuous.} \end{array}\right. } \end{aligned}
(H)

Observe that the functionals $$\mathcal {J}_{\lambda ,j}$$ then have a minimizer by the direct method in the calculus of variations.

The result of the reconstruction process, meaning the quality of the reconstructed image resulting as a minimizer of (2.1), is known to depend on the choice of the regularizing term $$\mathcal {R}_\lambda$$. Our goal is to set up a training scheme that is able to learn how to select a “good” parameter $$\lambda$$ within a corresponding given family $$\{\mathcal {R}_\lambda \}_{\lambda \in \Lambda }$$ of regularizers. Here, as briefly described in the Introduction for the single data point case ($$N=1)$$, we follow the approach introduced in [30, 31] in the spirit of machine learning optimization schemes, where training the regularization term means to solve the nested variational problem

with $$\mathcal {J}_{\lambda ,j}$$ as in (2.1). Notice that $$K_\lambda \ne \emptyset$$ because for all $$j\in \{1, \ldots , N\}$$, we have

\begin{aligned} K_{\lambda , j} : = \textrm{argmin}_{u\in L^2(\Omega )} \mathcal {J}_{\lambda , j}(u)\not =\emptyset \end{aligned}
(2.2)

by Assumption (H).

To study the training scheme ($$\mathcal {T}$$), we start by introducing a notion of weak $$L^2$$-stability for the family $$\{\mathcal {J}_{\lambda }\}_{\lambda \in \Lambda }$$, with

\begin{aligned} \mathcal {J}_\lambda :=(\mathcal {J}_{\lambda , 1}, \ldots , \mathcal {J}_{\lambda , N}):L^2(\Omega )\rightarrow [0, \infty ]^N\hbox { for } \lambda \in \Lambda . \end{aligned}
(2.3)

This notion relies on the concept of $$\Gamma$$-convergence and is related to the notion of (weak) stability as in [41, Definition 2.3], which is defined in terms of minimizers of the lower-level problem.

### Definition 2.1

(Weak $${L}^{2}$$-stability) The family in (2.3) is called weakly $$L^2$$-stable if for every sequence $$(\lambda _k)_k\subset \Lambda$$ such that $$(\mathcal {J}_{\lambda _k, j})_k$$ $$\Gamma$$-converges with respect to the weak $$L^2$$-topology for all $$j\in \{1, \ldots , N\}$$, there exists $$\lambda \in \Lambda$$ such that

\begin{aligned} \Gamma (w\text {-}L^2)\text {-}\lim _{k\rightarrow \infty } \mathcal {J}_{\lambda _k, j} = \mathcal {J}_{\lambda , j} \end{aligned}

for all $$j\in \{1, \ldots , N\}$$.

Before proceeding, we briefly recall the definition and some properties of $$\Gamma$$-convergence in the setting relevant to us; for more on this topic, see [13, 25] for instance.

### Definition 2.2

($${\Gamma }$$- and Mosco-convergence) Let $$\mathcal {F}_k:L^2(\Omega ) \rightarrow [0,\infty ]$$ for $$k \in \mathbb {N}$$ and $$\mathcal {F}:L^2(\Omega ) \rightarrow [0,\infty ]$$ be functionals. The sequence $$(\mathcal {F}_k)_k$$ (sequentially) $$\Gamma$$-converges to $$\mathcal {F}$$ with respect to the weak $$L^2$$-topology, written $$\mathcal {F}=\Gamma (w\text {-}L^2)\text {-}\lim _{k \rightarrow \infty } \mathcal {F}_k$$, if:

• (Liminf inequality) For every sequence $$(u_k)_k\subset L^2(\Omega )$$ and $$u\in L^2(\Omega )$$ with $$u_k \rightharpoonup u$$ in $$L^2(\Omega )$$, it holds that

\begin{aligned} \mathcal {F}(u) \leqslant \liminf _{k \rightarrow \infty } \mathcal {F}_k(u_k). \end{aligned}
• (Limsup inequality) For every $$u\in L^2(\Omega )$$, there exists a sequence $$(u_k)_k\subset L^2(\Omega )$$ such that $$u_k \rightharpoonup u$$ in $$L^2(\Omega )$$ and

\begin{aligned} \mathcal {F}(u) \geqslant \limsup _{k \rightarrow \infty } \mathcal {F}_k(u_k). \end{aligned}

The sequence $$(\mathcal {F}_k)_k$$ converges in the sense of Mosco-convergence in $$L^2(\Omega )$$ to $$\mathcal {F}$$, written $$\mathcal {F}=\textrm{Mosc}(L^2)$$-$$\lim _{k\rightarrow \infty }\mathcal {F}_k$$, if, in addition, the limsup inequality can be realised by a sequence converging strongly in $$L^2(\Omega )$$.

If the liminf inequality holds, then the sequence from the limsup inequality automatically satisfies $$\lim _{k \rightarrow \infty } \mathcal {F}_k(u_k) = \mathcal {F}(u)$$, and is therefore often called a recovery sequence. We note that the above sequential definition of $$\Gamma$$-convergence coincides with the topological definition [25, Proposition 8.10] for equi-coercive sequences $$(\mathcal {F}_k)_k$$, i.e., $$\mathcal {F}_k \geqslant \Psi$$ for all $$k \in \mathbb {N}$$ and for some $$\Psi :L^2(\Omega ) \rightarrow [0,\infty ]$$ with $$\Psi (u) \rightarrow \infty$$ as $$\Vert u\Vert _{L^2(\Omega )}\rightarrow \infty$$. In particular, the theory implies that the $$\Gamma$$-limit $$\mathcal {F}$$ is (sequentially) $$L^2$$-weakly lower semicontinuous. The $$\Gamma$$-convergence has the key property of yielding the convergence of solutions (if they exist) to those of the limit problem, which makes it a suitable notion of variational convergence. Precisely, if $$u_k$$ is a minimizer of $$\mathcal {F}_{k}$$ for all $$k \in \mathbb {N}$$ and u a cluster point of the sequence $$(u_k)_k$$, then u is a minimizer of $$\mathcal {F}$$ and $$\min _{L^2(\Omega )} \mathcal {F}_k = \mathcal {F}_k(u_k) \rightarrow \mathcal {F}(u) = \min _{L^2(\Omega )} \mathcal {F}$$, see [25, Corollary 7.20]. Notice that the existence of cluster points is implied by the assumption of equi-coercivity. In the special case when $$(\mathcal {F}_k)_k$$ is a constant sequence of functionals, say $$\mathcal {F}_k=\mathcal {G}$$ for all $$k\in \mathbb {N}$$, the $$\Gamma$$-limit corresponds to the relaxation of $$\mathcal {G}$$, i.e., its $$L^2$$-weakly lower semicontinuous envelope. Observe that replacing each $$\mathcal {F}_k$$ by its relaxation does not affect the $$\Gamma$$-limit of $$(\mathcal {F}_k)_k$$, see [25, Proposition 6.11].

As we discuss next, weak $$L^2$$-stability provides existence of solutions to the training scheme ($$\mathcal {T}$$). We note that the family of functionals $$\{\mathcal {J}_\lambda \}_{\lambda \in \Lambda }$$ as in (2.3) is equi-coercive in a componentwise sense.

### Theorem 2.3

Let $$\mathcal {J}_{\lambda }:L^2(\Omega )\rightarrow [0, \infty ]^N$$ be given by (2.3) for each $$\lambda \in \Lambda$$. If the family $$\{\mathcal {J}_\lambda \}_{\lambda \in \Lambda }$$ is weakly $$L^2$$-stable, then $$\mathcal {I}$$ in ($$\mathcal {T}$$) has a minimizer.

### Proof

The statement follows directly from the direct method and the classical properties of $$\Gamma$$-convergence.

Let $$(\lambda _k)_k\subset \Lambda$$ be a minimizing sequence for $$\mathcal {I}$$. Then, for each $$k\in \mathbb {N}$$, there is $$w_k \in K_{\lambda _k}$$ such that

\begin{aligned} \lim _{k\rightarrow \infty }\Vert w_k-u^{c}\Vert ^2_{L^2(\Omega ;\mathbb {R}^N)} = \inf _{\lambda \in \Lambda } \mathcal {I}(\lambda ). \end{aligned}
(2.4)

In particular, $$(w_k)_k$$ is uniformly bounded in $$L^2(\Omega ;\mathbb {R}^N)$$; hence, extracting a subsequence if necessary, one may assume that $$w_k\rightharpoonup w$$ in $$L^2(\Omega ;\mathbb {R}^N)$$ as $$k\rightarrow \infty$$ for some $$w\in L^2(\Omega ;\mathbb {R}^N)$$. Using the equi-coercivity, we apply the compactness result for $$\Gamma$$-limits [25, Corollary 8.12] to find a further subsequence of $$(\lambda _k)_k$$ (not relabeled) such that $$(\mathcal {J}_{\lambda _k, j})_k$$ $$\Gamma (w\text {-}L^2)$$-converges for all $$j\in \{1,...,N\}$$. Consequently, by the weak $$L^2$$-stability assumption and the properties of $$\Gamma$$-convergence on minimizing sequences, there exists $${\tilde{\lambda }}\in \Lambda$$ such that $$w \in K_{{\tilde{\lambda }}}$$. Then, along with (2.4),

\begin{aligned} \mathcal {I}({\tilde{\lambda }}) \leqslant \Vert w-u^{c}\Vert ^2_{L^2(\Omega ;\mathbb {R}^N)}\leqslant \liminf _{k\rightarrow \infty } \Vert w_k-u^{c}\Vert _{L^2(\Omega ;\mathbb {R}^N)}^2 = \inf _{\lambda \in \Lambda } \mathcal {I}(\lambda )\leqslant \mathcal {I}({\tilde{\lambda }}) , \end{aligned}

which finishes the proof. $$\square$$

### Remark 2.4

We give a simple counterexample to illustrate that minimizers for $$\mathcal {I}$$ may not exist in general. Take $$\Lambda = (0,\infty )\subset \mathbb {R}$$, a single data point $$(u^c,u^\eta )$$ with $$u^{c}=u^{\eta }\not = 0$$, and $$\mathcal {R}_{\lambda }(u)=\lambda \Vert u\Vert ^2_{L^2(\Omega )}$$ for $$\lambda \in \Lambda$$. Then, $$\mathcal {J}_\lambda (u)=\Vert u-u_\eta \Vert ^2_{L^2(\Omega )} + \lambda \Vert u\Vert _{L^2(\Omega )}^2$$ for $$u\in L^2(\Omega )$$ and $$K_{\lambda }=\{u^{\eta }/(1+\lambda )\}=\{u^c/(1+\lambda )\}$$, so that

\begin{aligned} \mathcal {I}(\lambda ) = \left( \frac{\lambda }{1+\lambda }\right) ^2\Vert u^c\Vert ^2_{L^2(\Omega )}, \end{aligned}

which does not have a minimizer on $$\Lambda =(0,\infty )$$. By the previous theorem, the family must fail to be weakly $$L^2$$-stable. Indeed, $$\Gamma (w\text {-}L^2)\text {-}\lim _{\lambda \rightarrow 0}\mathcal {J}_\lambda$$ coincides with the pointwise limit and is equal to $$\Vert \cdot \ -u_\eta \Vert _{L^2(\Omega )}^2$$, which is not an element of $$\{\mathcal {J}_\lambda \}_{\lambda \in (0,\infty )}$$.

Theorem 2.3 is useful in many situations, including the basic case when the parameter set $$\Lambda$$ is a compact real interval. However, weak $$L^2$$-stability is not always guaranteed, as Remark 2.4 illustrates. If, for instance, we have a sequence $$(\lambda _k)_k$$ converging to a point in X outside $$\Lambda$$, then there is no reason to expect that

\begin{aligned} \Gamma (w\text {-}L^2)\text {-}\lim _{k\rightarrow \infty } \mathcal {J}_{\lambda _k, j} = \mathcal {J}_{\lambda , j} \end{aligned}

holds for some $$\lambda \in \Lambda$$.

To overcome this issue and provide a more general existence framework, we will look at a suitable replacement of the bi-level scheme. In the following, we denote by $${\overline{\Lambda }}$$ the closure of $$\Lambda$$ and suppose that for each $$j\in \{1, \ldots , N\}$$ and $$\lambda \in {\overline{\Lambda }}$$, the $$\Gamma$$-limits

\begin{aligned} {\overline{\mathcal {J}}}_{\lambda , j} := \Gamma (w\text {-}L^2)\text {-}\lim _{\lambda '\rightarrow \lambda } \mathcal {J}_{\lambda ', j} \end{aligned}
(2.5)

exist, where $$\lambda '$$ takes values on an arbitrary sequence in $$\Lambda$$. We further set

\begin{aligned} {\overline{\mathcal {J}}}_{\lambda }:= ({\overline{\mathcal {J}}}_{\lambda ,1}, \ldots , {\overline{\mathcal {J}}}_{\lambda , N}):{\overline{\Lambda }}\rightarrow [0, \infty ]^N. \end{aligned}

Based on these definitions, we introduce $${\overline{\mathcal {I}}}:{\overline{\Lambda }}\rightarrow [0, \infty ]$$ as the extension of the upper level functional $$\mathcal {I}$$ given by

\begin{aligned} {\overline{\mathcal {I}}}(\lambda ) :=\min _{w\in \overline{K}_{\lambda }}\Vert w-u^{c}\Vert ^2_{L^2(\Omega ;\mathbb {R}^N)}, \end{aligned}
(2.6)

where $$\overline{K}_{\lambda ,j}:= \textrm{argmin}_{u\in L^2(\Omega )} {\overline{\mathcal {J}}}_{\lambda , j}(u)$$ and $$\overline{K}_{\lambda }:= \overline{K}_{\lambda ,1}\times \overline{K}_{\lambda ,2} \times \cdots \times \overline{K}_{\lambda ,N}$$ for $$\lambda \in {\overline{\Lambda }}$$. Observe that $$\overline{K}_{\lambda ,j}$$ is $$L^2$$-weakly closed because the functional $${\overline{\mathcal {J}}}_{\lambda ,j}$$, as a $$\Gamma (w\text {-}L^2)$$-limit by (2.5), is $$L^2$$-weakly lower semicontinuous. Hence, the minimum in the definition of $${{\overline{\mathcal {I}}}}$$ is actually attained. Notice that taking constant sequences in the parameter space in (2.5) and using the weak lower semicontinuity of the regularizers $$\mathcal {R}_{\lambda }$$ in (H), we conclude that $${\overline{\mathcal {J}}}_{\lambda }$$ coincides with $$\mathcal {J}_{\lambda }$$ whenever $$\lambda \in \Lambda$$. In that sense, we can think of $$\{{\overline{\mathcal {J}}}_{\lambda }\}_{\lambda \in {\overline{\Lambda }}}$$ as the extension of the family $$\{\mathcal {J}_{\lambda }\}_{\lambda \in \Lambda }$$ to the closure of $$\Lambda$$.

All together, this leads to the extended bi-level problem

The theorem below compares the extended upper level functional $${\overline{\mathcal {I}}}$$ with the relaxation of $$\mathcal {I}$$ (after trivial extension to $${\overline{\Lambda }}$$ by $$\infty$$), that is, with its lower semicontinuous envelope $$\mathcal {I}^\textrm{rlx}: {\overline{\Lambda }} \rightarrow [0, \infty ]$$ given by

\begin{aligned} \mathcal {I}^\textrm{rlx}(\lambda ):=\inf \big \{\liminf _{k\rightarrow \infty } \mathcal {I}(\lambda _k): (\lambda _k)_k\subset \Lambda , \lambda _k\rightarrow \lambda \text { in }{\overline{\Lambda }}\big \}. \end{aligned}
(2.7)

As we will see, the key assumption to obtain the equality between $${\overline{\mathcal {I}}}$$ and $$\mathcal {I}^\textrm{rlx}$$ is the Mosco-convergence of the family of regularizers in (2.9), which is stronger than the $$\Gamma$$-convergence of the reconstruction functionals in (2.5). It even implies the Mosco-convergence

\begin{aligned} {\overline{\mathcal {J}}}_{\lambda , j} =\text {Mosc}(L^2)\text {-}\lim _{\lambda '\rightarrow \lambda } \mathcal {J}_{\lambda ', j} \end{aligned}

and, in this case, the limit passage can be performed additively in the fidelity and regularizing term; thus, for all $$j\in \{1, \ldots , N\}$$, we have

\begin{aligned} {\overline{\mathcal {J}}}_{\lambda , j}(u)= \Vert u - u_j^\eta \Vert _{L^2(\Omega )} + {\overline{\mathcal {R}}}_\lambda (u) \qquad \text {for }u\in L^2(\Omega ). \end{aligned}
(2.8)

### Theorem 2.5

Consider the bi-level optimization problems ($$\mathcal {T}$$) and ($${\overline{\mathcal {T}}}$$), assume (2.5), and recall the definitions in (2.6) and (2.7). Suppose in addition that

1. (i)

the Mosco-limits

\begin{aligned} {\overline{\mathcal {R}}}_{\lambda } := \textrm{Mosc}(L^2)\text {-}\lim _{\lambda '\rightarrow \lambda } \mathcal {R}_{\lambda '} \end{aligned}
(2.9)

exist for each $$\lambda \in {\overline{\Lambda }}$$, with $$\lambda '$$ taking values on sequences in $$\Lambda$$, and

2. (ii)

$$\overline{K}_\lambda$$ is a singleton for every $$\lambda \in {\overline{\Lambda }}\setminus \Lambda$$.

Then, the extension $${\overline{\mathcal {I}}}$$ of $$\mathcal {I}$$ to the closure $${\overline{\Lambda }}$$ coincides with the relaxation of $$\mathcal {I}$$, i.e., $${\overline{\mathcal {I}}}=\mathcal {I}^\textrm{rlx}$$ on $${\overline{\Lambda }}$$.

### Proof

To show that $${\overline{\mathcal {I}}} \leqslant \mathcal {I}^\textrm{rlx}$$, we take $$\lambda \in {\overline{\Lambda }}$$ and let $$(\lambda _k)_k\subset \Lambda$$ with $$\lambda _k\rightarrow \lambda$$ in $${{\overline{\Lambda }}}$$ be an admissible sequence for $$\mathcal {I}^\textrm{rlx}(\lambda )$$ in (2.7). We may even assume that $$\infty >\liminf _{k\rightarrow \infty } \mathcal {I}(\lambda _k)=\lim _{k\rightarrow \infty } \mathcal {I}(\lambda _k)$$. Then, recalling (2.2) and fixing $$\delta >0$$, we can find $$w_k\in K_{\lambda _k}$$ such that

\begin{aligned} \lim _{k\rightarrow \infty } \mathcal {I}(\lambda _k) \geqslant \liminf _{k\rightarrow \infty } \Vert w_k - u^{c}\Vert _{L^2(\Omega ;\mathbb {R}^N)}^2-\delta . \end{aligned}

In particular, $$({w_k})_k$$ is uniformly bounded in $$L^2(\Omega ;\mathbb {R}^N)$$, which allows us to extract an $$L^2$$-weakly converging subsequence (not relabeled) with limit $${\bar{w}}\in L^2(\Omega ;\mathbb {R}^N)$$. By the properties of $$\Gamma$$-convergence on cluster points of minimizing sequences recalled above (see also [25, Corollary 7.20]), we infer from (2.5) that $${\bar{w}}_j \in \textrm{argmin}_{u\in L^2(\Omega )}{\overline{\mathcal {J}}}_{ \lambda , j}(u)$$ for all $$j\in \{1,\ldots ,N\}$$; in other words, $${\bar{w}} \in \overline{K}_{\lambda }$$. Thus,

\begin{aligned} \lim _{k\rightarrow \infty } \mathcal {I}(\lambda _k) \geqslant \Vert {\bar{w}} - u^{c}\Vert _{L^2(\Omega ;\mathbb {R}^N)}^2-\delta \geqslant {{\overline{\mathcal {I}}}}( \lambda ) -\delta . \end{aligned}

By letting $$\delta \rightarrow 0$$ first, and then taking the infimum over all admissible sequences for $$\mathcal {I}^\textrm{rlx}(\lambda )$$ in (2.7), it follows that $${\overline{\mathcal {I}}}(\lambda ) \leqslant \mathcal {I}^\textrm{rlx}(\lambda )$$.

To prove the reverse inequality, we start by recalling that for $$\lambda \in \Lambda$$, $$\mathcal {J}_\lambda$$ is weakly $$L^2$$-lower semicontinuous by Assumption (H); thus, (2.5) yields $$\overline{\mathcal {J}}_\lambda = \mathcal {J}_\lambda$$ for $$\lambda \in \Lambda$$. Consequently, $$\overline{\mathcal {I}}(\lambda ) = \mathcal {I}(\lambda ) \geqslant \mathcal {I}^\textrm{rlx}(\lambda )$$ for $$\lambda \in \Lambda$$. We are then left to consider $$\lambda \in {\overline{\Lambda }}{\setminus } \Lambda$$ and find a sequence $$(\lambda _k)_k\subset \Lambda$$ converging to $$\lambda$$ in $${\overline{\Lambda }}$$ and satisfying $$\liminf _{k\rightarrow \infty } \mathcal {I}(\lambda _k) \leqslant {\overline{\mathcal {I}}}(\lambda )$$. To that end, take any $$(\lambda _k)_k\subset \Lambda$$ with $$\lambda _k\rightarrow \lambda$$ in $${\overline{\Lambda }}$$, and let $$w_k \in K_{\lambda _k}$$ for $$k\in \mathbb {N}$$. Recalling $$(\textrm{ii})$$, denote by $$w_\lambda =(w_{\lambda , 1}, \ldots , w_{\lambda , N})$$ the unique element in $$\overline{K}_\lambda$$. Then, using  (2.5) and the equi-coercivity of $$(\mathcal {J}_{\lambda })_{\lambda \in \Lambda }$$, we obtain by the theory of $$\Gamma$$-convergence (see [25, Corollary 7.24]) that $$(w_k)_k$$ converges weakly in $$L^2(\Omega ;\mathbb {R}^N)$$ to $$w_\lambda$$; moreover, it holds for all $$j\in \{1, \ldots , N\}$$ that

\begin{aligned} \mathcal {J}_{\lambda _k, j}(w_{k, j})\rightarrow {\overline{\mathcal {J}}}_{\lambda , j}(w_{\lambda , j})\qquad \text {as }k\rightarrow \infty . \end{aligned}
(2.10)

The following shows that $$(w_k)_k$$ converges even strongly in $$L^2(\Omega ;\mathbb {R}^N)$$. Indeed, fixing $$j\in \{1, \ldots , N\}$$, we infer from (2.10) along with the Mosco-convergence of the regularizers in $$(\textrm{i})$$ and (2.8) that

\begin{aligned} \Vert w_{\lambda , j} - u_j^\eta \Vert ^2_{L^2(\Omega )} +{\overline{\mathcal {R}}}_\lambda (w_{\lambda , j})&= {\overline{\mathcal {J}}}_{\lambda , j}(w_{\lambda , j}) = \lim _{k\rightarrow \infty } \mathcal {J}_{\lambda _k, j} (w_{k, j}) \\ {}&= \lim _{k\rightarrow \infty } \Bigl [\Vert w_{k, j} - u_j^\eta \Vert ^2_{L^2(\Omega )} +{\mathcal {R}}_{\lambda _k}(w_{k, j})\Bigr ] \\&\geqslant \limsup _{k\rightarrow \infty } \Vert w_{k, j} - u_j^\eta \Vert ^2_{L^2(\Omega )} + {\overline{\mathcal {R}}}_\lambda (w_{\lambda , j}). \end{aligned}

Hence, $$\Vert w_{\lambda , j} - u_j^\eta \Vert ^2_{L^2(\Omega )}\geqslant \limsup _{k\rightarrow \infty } \Vert w_{k, j} - u_j^\eta \Vert ^2_{L^2(\Omega )}$$, which together with the weak lower semicontinuity of the $$L^2$$-norm yields

\begin{aligned} \lim _{k\rightarrow \infty } \Vert w_{k, j}-u_j^\eta \Vert _{L^2(\Omega )}^2= \Vert w_{\lambda , j} -u_j^\eta \Vert _{L^2(\Omega )}^2; \end{aligned}

thus, $$w_{k}\rightarrow w_{\lambda }$$ strongly in $$L^2(\Omega ;\mathbb {R}^N)$$ using the combination of weak convergence and convergence of norms by the Radon–Riesz property. With this, we finally conclude that

\begin{aligned} \liminf _{k\rightarrow \infty } \mathcal {I}(\lambda _k)&\leqslant \liminf _{k\rightarrow \infty } \Vert w_k- u^{c}\Vert _{L^2(\Omega ;\mathbb {R}^N)}^2 = \Vert w_\lambda - u^{c}\Vert _{L^2(\Omega ;\mathbb {R}^N)}^2\\ {}&= \min _{w\in \overline{K}_\lambda }\Vert w- u^{c}\Vert _{L^2(\Omega ;\mathbb {R}^N)}^2 = {\overline{\mathcal {I}}}(\lambda ), \end{aligned}

finishing the proof. $$\square$$

### Remark 2.6

By inspecting the proof, it becomes clear that the estimate $${\overline{\mathcal {I}}} \leqslant \mathcal {I}^\textrm{rlx}$$ holds without the additional assumptions $$(\textrm{i})$$ and $$(\textrm{ii})$$ from the previous theorem; in other words, $${\overline{\mathcal {I}}}$$ always provides a lower bound for the relaxation of $$\mathcal {I}$$.

The identity $${\overline{\mathcal {I}}}=\mathcal {I}^\textrm{rlx}$$ mail fail if either of the assumptions $$(\textrm{i})$$ or $$(\textrm{ii})$$ in Theorem 2.5 is dropped as the following example shows.

### Example 2.7

a) To see why $$(\textrm{i})$$ is necessary, consider $$\Lambda =(0,1]$$, a single data point $$(u^c,u^\eta )$$ with $$u^c=u^{\eta }=0$$, and

\begin{aligned} \mathcal {R}_{\lambda }=\frac{1}{\lambda }\Vert \cdot \,-v_{\lambda }\Vert ^2_{L^2(\Omega )} \qquad \text {with }v_{\lambda }=v(\cdot /\lambda )\in L^2(\Omega ) \end{aligned}

for a given $$v \in L^{\infty }(\mathbb {R}^n)$$ with the properties that v is $$(0,1)^n$$-periodic, $$v \in \{-1,1\}$$ almost everywhere, and $$\int _{(0,1)^n} v\,\textrm{d}x=0$$. Under these specifications, the $$\Gamma$$-limits $${\overline{\mathcal {J}}}_\lambda =\Gamma (w\text {-}L^2)\text {-}\lim _{\lambda '\rightarrow \lambda }\mathcal {J}_{\lambda '}$$ (cf. (2.5) and (2.1)) exist and are given by

\begin{aligned} {\overline{\mathcal {J}}}_{\lambda }(u)={\left\{ \begin{array}{ll} \Vert u\Vert ^2_{L^2(\Omega )}+\frac{1}{\lambda }\Vert u-v_{\lambda }\Vert _{L^2(\Omega )}^2 &{} \text {for }\lambda \in (0,1],\\ |\Omega |+\chi _{\{0\}}(u) &{} \text {for }\lambda =0, \end{array}\right. } \end{aligned}
(2.11)

where $$\chi _{E}$$ denotes the indicator function of a set $$E \subset L^2(\Omega )$$, i.e.,

\begin{aligned} \chi _{E}(u)={\left\{ \begin{array}{ll} 0 &{}\text {if }u \in E,\\ \infty &{}\text {if }u \not \in E, \end{array}\right. } \qquad \text {for }u \in L^2(\Omega ). \end{aligned}

The non-trivial case is when $$\lambda =0$$. In this case, we observe that we can take $$(v_{\lambda '})_{\lambda '}$$ as a recovery sequence for $$u=0$$ because it converges weakly in $$L^2(\Omega )$$ as $$\lambda '\rightarrow 0$$ to $$\int _{(0,1)^n}v\, \textrm{d}x=0$$ by the Riemann–Lebesgue lemma for periodically oscillating sequences. For the liminf inequality, let $$u_{\lambda '} \rightharpoonup u$$ as $$\lambda ' \rightarrow 0$$ and suppose without loss of generality that $$\sup _{\lambda '}\mathcal {R}_{\lambda '}(u_{\lambda '})<\infty$$. Then, $$u_{\lambda '} = v_{\lambda '}+r_{\lambda '}$$ with $$r_{\lambda '} \rightarrow 0$$ in $$L^2(\Omega )$$ as $$\lambda ' \rightarrow 0$$, which implies $$u=0$$ and, recalling that $$v\in \{-1,1\}$$ almost everywhere,

\begin{aligned} \liminf _{\lambda ' \rightarrow 0}\mathcal {J}_{\lambda '}(u_{\lambda '})\geqslant \lim _{\lambda ' \rightarrow 0}\Vert v_{\lambda '}+r_{\lambda '}\Vert ^2_{L^2(\Omega )}=\lim _{\lambda ' \rightarrow 0}\Vert v_{\lambda '}\Vert ^2_{L^2(\Omega )}=|\Omega | = {\overline{\mathcal {J}}}_0(0), \end{aligned}

which completes the proof of (2.11) when $$\lambda =0$$.

In view of (2.11), one can now read off that $$K_{\lambda }=\overline{K}_\lambda =\{v_{\lambda }/(1+\lambda )\}$$ for $$\lambda \in (0,1]$$ and $$\overline{K}_0=\{0\}$$. In particular, condition $$(\textrm{ii})$$ on the uniqueness of minimizers of the extended lower-level problem is fulfilled here. Hence,

\begin{aligned} \mathcal {I}(\lambda ) = \Bigl (\frac{1}{1+\lambda }\Bigr )^2|\Omega | \end{aligned}
(2.12)

for $$\lambda \in (0,1],$$ and

\begin{aligned} {\overline{\mathcal {I}}}(\lambda ) = {\left\{ \begin{array}{ll} \displaystyle \Bigl (\frac{1}{1+\lambda }\Bigr )^2|\Omega | &{}\text {if }\lambda \in (0,1],\\ 0 &{}\text {if }\lambda =0 \quad \end{array}\right. } \end{aligned}

for $$\lambda \in [0,1]$$. It is immediate to see from (2.12) that

\begin{aligned} {\overline{\mathcal {I}}}(0) =0 < |\Omega |=\mathcal {I}^\textrm{rlx}(0). \end{aligned}

Notice that this example hinges on the fact that the minimizers $$v_{\lambda }/(1+\lambda )$$ only converge weakly as $$\lambda \rightarrow 0$$, which, in view of the proof of Theorem 2.5, implies that the family of regularizers $$\{\mathcal {R}_\lambda \}_{\lambda \in \Lambda }$$ does not Mosco-converge in $$L^2(\Omega )$$ in the sense of (2.9), thus failing to satisfy $$(\textrm{i})$$.

b) For the necessity of $$(\textrm{ii})$$, consider $$\Lambda =(0,1]$$, a single data point $$(u^c,u^\eta )$$ with $$u^c=0$$ and $$\Vert u^{\eta }\Vert ^2_{L^2(\Omega )}=1$$, and

\begin{aligned} \mathcal {R}_{\lambda }(u) ={\left\{ \begin{array}{ll} \lambda &{}\text {if }u=0,\\ 1 &{}\text {if }u \not = 0. \end{array}\right. } \end{aligned}

While it is straightforward to check that condition $$(\textrm{i})$$ in Theorem 2.5 regarding the Mosco-limits of $$\{\mathcal {R}_\lambda \}_{\lambda \in \Lambda }$$ is satisfied with

\begin{aligned} {\overline{\mathcal {R}}}_{\lambda }(u) ={\left\{ \begin{array}{ll} \lambda &{}\text {if }u=0,\\ 1 &{}\text {if }u \not = 0 \end{array}\right. } \end{aligned}

for $$\lambda \in [0,1]$$, which clearly coincides with $$\mathcal {R}_{\lambda }$$ for $$\lambda \in \Lambda =(0,1]$$, condition $$(\textrm{ii})$$ fails. Indeed, it follows from (2.8) that $${\overline{\mathcal {J}}}_{\lambda }(u^{\eta })= {\overline{\mathcal {R}}}_\lambda (u^\eta )=1$$ and $${\overline{\mathcal {J}}}_{\lambda }(0)=\Vert u^{\eta }\Vert ^2_{L^2(\Omega )}+\lambda = 1+\lambda$$ for all $$\lambda \in [0,1]$$. Consequently, for $$\lambda \in (0,1]$$, we have $${\overline{\mathcal {J}}}_\lambda =\mathcal {J}_\lambda$$ and $$u^\eta$$ is its unique minimizer; in contrast, for $$\lambda =0$$, $${\overline{\mathcal {J}}}_0$$ has two minimizers, namely $$\overline{K}_{0}=\{u^{\eta },0\}=\{u^{\eta },u^c\}$$. Finally, we observe that the conclusion of Theorem 2.5 fails here because

\begin{aligned} {\overline{\mathcal {I}}}(0)=0 \qquad \text {and} \qquad \mathcal {I}(\lambda )= \Vert u^c-u^{\eta }\Vert ^2_{L^2(\Omega )} =1 \ \ \text {for all }\lambda \in (0,1], \end{aligned}

which yields $${\overline{\mathcal {I}}}(0)=0 < 1= \mathcal {I}^\textrm{rlx}(0)$$.

The following result is a direct consequence of Theorem 2.5 and standard properties of relaxation.

### Corollary 2.8

Under the assumptions of Theorem 2.5 and if $${\overline{\Lambda }}$$ is compact, it holds that:

1. (i)

The extension $${\overline{\mathcal {I}}}$$ has at least one minimizer and

\begin{aligned} \min _{{\overline{\Lambda }}} {\overline{\mathcal {I}}} = \inf _{\Lambda } \mathcal {I}. \end{aligned}
2. (ii)

Any minimizing sequence $$(\lambda _k)_k \subset \Lambda$$ of $$\mathcal {I}$$ converges up to subsequence to a minimizer $$\lambda \in {\overline{\Lambda }}$$ of $${\overline{\mathcal {I}}}$$.

3. (iii)

If $$\lambda \in \Lambda$$ minimizes $${\overline{\mathcal {I}}}$$, then $$\lambda$$ is also a minimizer of $$\mathcal {I}$$.

We conclude this section on the theoretical framework with a brief comparison with related works on optimal control problems. By setting $$K=\{(w,\lambda ) \in L^2(\Omega )\times \Lambda \,:\, w \in K_{\lambda }\}$$, the bi-level optimization problem ($$\mathcal {T}$$) can be equivalently rephrased into minimizing

\begin{aligned} {\widehat{\mathcal {I}}}(u,\lambda ) = \Vert u-u^c\Vert ^2_{L^2(\Omega )} + \chi _{K}(u,\lambda ),\qquad (u, \lambda )\in L^2(\Omega ) \times \Lambda , \end{aligned}

as a functional of two variables; observe that

\begin{aligned} \mathcal {I}(\lambda )= \inf _{w\in L^2(\Omega )} {\widehat{\mathcal {I}}}(w, \lambda ). \end{aligned}

Similar functionals and their relaxations have been studied in the literature, including [9, 16, 17]. Especially the paper [9] by Belloni, Buttazzo, & Freddi, where the authors propose to extend the control space to its closure and find a description of the relaxed optimal control problem, shares many parallels with our results. Apart from some differences in the assumptions and abstract set-up, the main reason why their results are not applicable here is the continuity condition of the cost functional with respect to the state variable [9, Eq. (2.11)]. In our setting, this would translate into weak continuity of the $$L^2$$-norm, which is clearly false. The argument in the proof of Theorem 2.5 exploiting the Mosco-convergence of the regularizers (see (2.9)) is precisely what circumvents this issue.

## 3 Learning the Optimal Weight of the Regularization Term

In this section, we study the optimization of a weight factor, often called tuning parameter, in front of a fixed regularization term. Such tuning parameters are typically employed in practical implementations of variational denoising models to adjust the best level of regularization. This setting constitutes a simple, yet non-trivial, application of our general theory and therefore helps to exemplify the abstract results from the previous section.

As above, $$\Omega \subset \mathbb {R}^n$$ is a bounded open set and $$u^{c}$$, $$u^{\eta }\in L^2(\Omega ;\mathbb {R}^N)$$ are the given data representing pairs of clean and noisy images. We take $$\Lambda =(0,\infty )$$ describing the range of a weight factor and, to distinguish the various parameters throughout this paper, denote by $$\alpha$$ an arbitrary point in $${{\overline{\Lambda }}}=[0,\infty ]$$. For a fixed map $$\mathcal {R}:L^2(\Omega )\rightarrow [0, \infty ]$$ with the properties that

(H$$1_{\alpha }$$):

$$\mathcal {R}$$ is convex, vanishes exactly on constant functions, and $$\textrm{Dom}\, \mathcal {R}$$ is dense in $$L^2(\Omega )$$,

(H$$2_{\alpha }$$):

$$\mathcal {R}$$ is lower semicontinuous on $$L^2(\Omega )$$,

we define the weighted regularizers

\begin{aligned} \mathcal {R}_\alpha =\alpha \mathcal {R}\qquad \text { for }\alpha \in (0, \infty ). \end{aligned}
(2.1)

Note that (H$$1_{\alpha }$$) and (H$$2_{\alpha }$$) imply that the family $$\{\mathcal {R}_{\alpha }\}_{\alpha \in (0, \infty )}$$ satisfies (H) because convexity and lower semicontinuity yield weak lower semicontinuity, making this setting match with the framework of Sect. 2.

Following the definition of the training scheme ($$\mathcal {T}$$), we introduce here for $$\alpha \in (0, \infty )$$ and $$j\in \{1, \ldots , N\}$$ the reconstruction functionals

\begin{aligned} \mathcal {J}_{\alpha , j}(u) = \Vert u-u_j^{\eta }\Vert _{L^2(\Omega )}^2 + \mathcal {R}_\alpha (u) \qquad \text {for }u\in L^2(\Omega ), \end{aligned}

cf. (2.1), and consider accordingly the upper level functional $$\mathcal {I}:(0, \infty )\rightarrow [0, \infty )$$ given by

\begin{aligned} \mathcal {I}(\alpha ) = \inf _{w\in K_\alpha }\Vert w-u^{c}\Vert ^2_{L^2(\Omega ;\mathbb {R}^N)} \text { for }\alpha \in (0,\infty ), \quad \end{aligned}
(2.2)

with $$K_\alpha =K_{\alpha , 1}\times \cdots \times K_{\alpha , N}$$ and $$K_{\alpha , j} = \mathop {\mathrm{arg\,min}}\limits _{u\in L^2(\Omega )} \mathcal {J}_{\alpha , j}(u)$$, cf.  (2.2). Further, the following set of hypotheses on the training data will play a crucial role for our main result in this section (Theorem 3.2):

(H$$3_{\alpha }$$):

It holds that

\begin{aligned} \sum _{j=1}^N \mathcal {R}(u^{c}_j)<\sum _{j=1}^N\mathcal {R}(u^{\eta }_j); \end{aligned}
(H$$4_{\alpha }$$):

the data $$u^\eta$$ and $$u^c$$ satisfy

### Remark 3.1

(Discussion of the hypotheses (H$$1_{\alpha }$$)–(H$$4_{\alpha }$$)) a) Note that (H$$1_{\alpha }$$) implies that the set of minimizers for the reconstruction functionals, $$K_{\alpha }$$, has cardinality one, owing to the convexity of $$\mathcal {R}$$ and the strict convexity of the fidelity term, considering also that $$\mathcal {J}_{\alpha , j}\not \equiv \infty$$. In the following, we write $$w^{(\alpha )}=(w^{(\alpha )}_1, \ldots , w^{(\alpha )}_N)\in L^2(\Omega ;\mathbb {R}^N)$$ for the single element of $$K_{\alpha }$$, i.e., $$K_\alpha =\{w^{(\alpha )}\}$$.

b) An example of a nonlocal regularizer satisfying (H$$1_{\alpha }$$) and (H$$2_{\alpha }$$) is

\begin{aligned} \mathcal {R}(u):=\int _{\Omega }\int _{\Omega }a(x,y)\,g(u(x)-u(y))\,\textrm{d}x\,\textrm{d}y\quad \text {for }u\in L^2(\Omega ), \end{aligned}

where $$g:\mathbb {R}\rightarrow [0,\infty )$$ is a convex function such that $$g^{-1}(0)=\{0\}$$ and $$a:\Omega \times \Omega \rightarrow [0,\infty ]$$ is a suitable kernel ensuring that $$C_c^{\infty }(\Omega )\subset \text {Dom}\,\mathcal {R}$$. As an explicit choice, one can take $$g(t)=t^p$$ for $$t\in \mathbb {R}$$ and $$a(x, y)=|y-x|^{-n-sp}$$ for $$x,\, y\in \Omega$$ with some $$s\in (0,1)$$ and $$p\geqslant 1$$, which corresponds to a fractional Sobolev regularization.

c) Assumption (H$$3_{\alpha }$$) asserts that the regularizer penalizes the noisy images more than the clean ones on average. This is a natural condition because any good regularizer should reflect the prior knowledge on the training data, favoring the clean images.

d) The second condition on the data, (H$$4_{\alpha }$$), means that the noisy image lies closer to the clean image than its mean value, which can be considered a reasonable assumption in the case of moderate noise and a non-trivial ground truth. Indeed, suppose the noise is bounded by $$\Vert u_j^{\eta } - u_j^{c}\Vert _{L^2(\Omega )}\leqslant \delta$$ for all $$j\in \{1,\dots ,N\}$$ and some $$\delta >0$$; then, (H$$4_{\alpha }$$) is satisfied if

because

where the second inequality is due to Jensen’s inequality.

Next, we prove that the assumptions (H$$1_{\alpha }$$)–(H$$4_{\alpha }$$) on the regularization term and on the training set give rise to optimal weight parameters that stay away from the extremal regimes, $$\alpha =0$$ and $$\alpha =\infty$$. Thus, in this case, the bi-level parameter optimization procedure preserves the structure of the original denoising model.

### Theorem 3.2

(Structure preservation) Suppose that (H$$1_{\alpha }$$)–(H$$4_{\alpha }$$) hold. Then, the learning scheme corresponding to the minimization of $$\mathcal {I}$$ in (2.2) admits a solution $$\bar{\alpha }\in (0,\infty )$$.

A related statement in the same spirit can be found in [30, Theorem 1], although some of the details of the proof were not entirely clear to us. Our proof of Theorem 3.2 is based on a different approach and hinges on the following two lemmas, the first of which determines the Mosco-limits of the regularizers, and thereby provides an explicit formula of the extension $${\overline{\mathcal {I}}}$$ of $$\mathcal {I}$$ as introduced in (2.6).

### Proposition 3.3

(Mosco-convergence of the regularizer) Let $$\mathcal {R}:L^2(\Omega )\rightarrow [0, \infty ]$$ satisfy (H$$1_{\alpha }$$) and (H$$2_{\alpha }$$), and let $$\{\mathcal {R}_{\alpha }\}_{\alpha \in (0, \infty )}$$ be as in (2.1). Then,

\begin{aligned} {\overline{\mathcal {R}}}_{\alpha }:= \textrm{Mosc}(L^2)\text {-}\lim _{\alpha '\rightarrow \alpha } \mathcal {R}_{\alpha '}={\left\{ \begin{array}{ll} \mathcal {R}_{\alpha } &{} \text {for }\alpha \in (0, \infty ),\\ 0 &{} \text {for }\alpha =0,\\ \chi _{C} &{} \text {for }\alpha =\infty , \end{array}\right. } \end{aligned}
(2.3)

for $$\alpha \in [0,\infty ]$$, where $$\chi _C$$ is the indicator function of $$C:=\{u \in L^2(\Omega ): u\ \mathrm { is \ constant}\}$$.

### Proof

Using standard arguments, we show that the Mosco-limit of $$(\mathcal {R}_{\alpha _k})_k$$ exists for every sequence $$(\alpha _k)_k$$ of positive real numbers with $$\alpha _k\rightarrow \alpha \in [0,\infty ]$$, and corresponds to the right hand side of (2.3).

Case 1: $$\alpha \in (0,\infty )$$. Using (H$$2_{\alpha }$$) for the liminf inequality and a constant recovery sequence for the upper bound, we conclude that the Mosco-limit of $$(\mathcal {R}_{\alpha _k})_k$$ coincides with $$\mathcal {R}_{\alpha }$$.

Case 2: $$\alpha =0$$. The liminf inequality is trivial. For the recovery sequence, take $$u \in L^2(\Omega )$$ and let $$(u_k)_k \subset \textrm{Dom}\,\mathcal {R}$$ converge strongly to u in $$L^2(\Omega )$$, which is feasible due to (H$$1_{\alpha }$$). By possibly repeating certain entries of the sequence $$(u_k)_k$$ (not relabeled), one can slowdown the speed at which $$\mathcal {R}(u_k)$$ potentially blows up and assume that $$\alpha _{k}\mathcal {R}(u_k) \rightarrow 0$$ as $$k \rightarrow \infty$$. Thus,

\begin{aligned} \lim _{k \rightarrow \infty } \mathcal {R}_{\alpha _k}(u_k)= \lim _{k \rightarrow \infty } \alpha _k\mathcal {R}(u_k) =0. \end{aligned}

Case 3: $$\alpha = \infty$$. The limsup inequality follows by choosing constant recovery sequences. For the proof of the lower bound, consider $$u_k\rightharpoonup u$$ in $$L^2(\Omega )$$ with $$r:=\sup _{k\in \mathbb {N}}\alpha _k\mathcal {R}(u_k) = \sup _{k\in \mathbb {N}} \mathcal {R}_{\alpha _k}(u_k)<\infty$$. Then, along with the weak lower semicontinuity of $$\mathcal {R}$$ (see Remark 3.1 a)),

\begin{aligned} \mathcal {R}(u) \leqslant \liminf _{k\rightarrow \infty } \mathcal {R}(u_k)&\leqslant \lim _{k\rightarrow \infty } \frac{r}{\alpha _k} = 0. \end{aligned}

This shows that $$\mathcal {R}(u)=0$$, which implies by the assumption on the zero level set of $$\mathcal {R}$$ in (H$$1_{\alpha }$$) that u is constant, i.e., $$u\in C$$. $$\square$$

As a consequence of the previous proposition, we deduce that the extension $${\overline{\mathcal {I}}}:{\overline{\Lambda }} \rightarrow [0,\infty ]$$ of $$\mathcal {I}$$ in the sense of (2.6) can be explicitly determined as

(2.4)

Indeed, a straight-forward calculation of the unique componentwise minimizer of the extended reconstruction functionals $${\overline{\mathcal {J}}}_{\alpha }$$ at the boundary points $$\alpha =0$$ and $$\alpha =\infty$$ leads to

Since the assumptions $$(\textrm{i})$$ and $$(\textrm{ii})$$ of Theorem 2.5 are satisfied, $${\overline{\mathcal {I}}}$$ coincides with the relaxation $$\mathcal {I}^\textrm{rlx}$$. By Corollary 2.8 $$(\textrm{i})$$, $${\overline{\mathcal {I}}}$$ attains its minimum at some $$\bar{\alpha } \in [0,\infty ]$$. The degenerate cases $$\bar{\alpha } \in \{0,\infty \}$$ cannot be excluded a priori, but the next lemma shows that the minimum is attained in the interior $$(0,\infty )$$ under suitable assumptions on the training data.

### Lemma 3.4

Suppose that (H$$1_{\alpha }$$) and (H$$2_{\alpha }$$) hold, and let $$K_\alpha =\{w^{(\alpha )}\}$$ with $$w^{(\alpha )}=(w_1^{(\alpha )}, \ldots , w_N^{\alpha })\in L^2(\Omega ;\mathbb {R}^N)$$ for $$\alpha \in (0, \infty )$$, cf. Remark 3.1a).

1. (i)

Under the additional assumption (H$$3_{\alpha }$$), there exists $${\alpha }\in (0,\infty )$$ such that

\begin{aligned} \Vert w^{(\alpha )}-u^{c}\Vert _{L^2(\Omega ;\mathbb {R}^N)}^2<\Vert u^{\eta }-u^{c}\Vert _{L^2(\Omega ;\mathbb {R}^N)}^2. \end{aligned}
2. (ii)

Under the additional assumption (H$$4_{\alpha }$$), there exists $$\alpha _0\in (0,\infty )$$ such that, for all $$\alpha \in (0,\alpha _0)$$,

(2.5)

### Proof

We start by providing two useful auxiliary results about the asymptotic behavior of the reconstruction vector $$w^{(\alpha )}$$ as $$\alpha$$ tends to zero; precisely,

\begin{aligned} \lim _{\alpha \rightarrow 0} \Vert w^{(\alpha )}-u^{\eta }\Vert _{L^2(\Omega ;\mathbb {R}^N)} = 0\quad \text {and} \quad \lim _{\alpha \rightarrow 0}\mathcal {R}(w_j^{(\alpha )})= \mathcal {R}(u^{\eta }_j) \ \text {for every }j\in \{1, \ldots , N\}. \end{aligned}
(2.6)

Fix $$j\in \{1, \ldots , N\}$$ and let $$(\alpha _k)_k\subset (0,\infty )$$ be such that $$\alpha _k\rightarrow 0$$ as $$k\rightarrow \infty$$. Take $$u \in \textrm{Dom}\,\mathcal {R}$$ with $$\Vert u-u^\eta _j\Vert ^2_{L^2(\Omega )} \leqslant \varepsilon$$ for some $$\varepsilon >0$$, which is possible by (H$$1_{\alpha }$$). Then, the minimality of $$w_j^{(\alpha _k)}$$ for $$\mathcal {J}_{\alpha _k, j}$$ yields

\begin{aligned} \Vert w_j^{(\alpha _k)}-u_j^{\eta }\Vert ^2_{L^2(\Omega )} \leqslant \mathcal {J}_{\alpha _k, j}(w_j^{(\alpha _k)})\leqslant \mathcal {J}_{\alpha _k, j}(u) = \Vert u-u^{\eta }_j\Vert _{L^2(\Omega )}^2+\alpha _k \mathcal {R}(u)\leqslant \varepsilon +\alpha _k \mathcal {R}(u). \end{aligned}

Since $$\mathcal {R}(u) < \infty$$, we find

\begin{aligned} \limsup _{k \rightarrow \infty } \,\Vert w_j^{(\alpha _k)}-u_j^{\eta }\Vert ^2_{L^2(\Omega )} \leqslant \varepsilon , \end{aligned}

which proves the first part of (2.6) due to the arbitrariness of $$\varepsilon$$. Exploiting the minimality of $$w_j^{(\alpha )}$$ for $$\mathcal {J}_{\alpha ,j}$$ again with $$\alpha \in (0, \infty )$$ entails

\begin{aligned} \alpha \mathcal {R}(w_j^{(\alpha )}) = \mathcal {R}_\alpha (w_j^{(\alpha )}) \leqslant \mathcal {J}_{\alpha , j}(w_j^{(\alpha )})\leqslant \mathcal {J}_{\alpha , j}(u_j^{\eta }) = \mathcal {R}_\alpha (u_j^{\eta }) = \alpha \mathcal {R}(u_j^{\eta }); \end{aligned}

hence, $$\mathcal {R}(w_j^{(\alpha )})\leqslant \mathcal {R}(u_j^{\eta })$$ and, together with the first part of (2.6) and the lower semicontinuity of $$\mathcal {R}$$ by (H$$2_{\alpha }$$), it follows then that

\begin{aligned} \mathcal {R}(u_j^{\eta })\geqslant \limsup _{k\rightarrow \infty }\mathcal {R}(w_j^{(\alpha _k)})\geqslant \liminf _{k\rightarrow \infty }\mathcal {R}(w_j^{(\alpha _k)})\geqslant \mathcal {R}(u_j^{\eta }). \end{aligned}

Thus, $$\lim _{k\rightarrow \infty }\mathcal {R}(w_j^{(\alpha _k)})=\mathcal {R}(u_j^{\eta })$$, showing the second part of (2.6).

Regarding $$(\textrm{i})$$, we observe that the minimality of $$w_j^{(\alpha )}$$ for $$\mathcal {J}_{\alpha , j}$$ for any $$\alpha \in (0, \infty )$$ and $$j\in \{1, \ldots , N\}$$ imposes the necessary condition $$0\in \partial \mathcal {J}_{\alpha , j}(w_j^{(\alpha )})$$ or, equivalently,

\begin{aligned} 2(u_j^{\eta }-w_j^{(\alpha )})\in \partial \mathcal {R}_\alpha (w_j^{(\alpha )}) = \alpha \partial \mathcal {R}(w_j^{(\alpha )}), \end{aligned}

where $$\partial \mathcal {C}(u)\in L^2(\Omega )'\cong L^2(\Omega )$$ is the subdifferential of a convex function $$\mathcal {C}:L^2(\Omega )\rightarrow [0,\infty ]$$ at $$u\in L^2(\Omega )$$. Then,

\begin{aligned} \Vert u_j^{\eta }-u_j^{c}\Vert _{L^2(\Omega )}^2-\Vert w_j^{(\alpha )}-u_j^{c}\Vert _{L^2(\Omega )}^2&= 2\langle u^{\eta }_j-w^{(\alpha )}_j,w^{(\alpha )}_j-u^{c}_j\rangle _{L^2(\Omega )} +\Vert w^{(\alpha )}_j-u^{\eta }_j\Vert ^2_{L^2(\Omega )}\\&\geqslant \mathcal {R}_\alpha (w_j^{(\alpha )}) -\mathcal {R}_\alpha (u_j^{c}) = \alpha \bigl (\mathcal {R}(w_j^{(\alpha )}) -\mathcal {R}(u_j^{c})\bigr ), \end{aligned}

where $$\langle \cdot , \cdot \rangle _{L^2(\Omega )}$$ denotes the standard $$L^2(\Omega )$$-inner product. Summing both sides over $$j \in \{1,\dots ,N\}$$ results in

\begin{aligned} \Vert u^{\eta }-u^c\Vert ^2_{L^2(\Omega ;\mathbb {R}^N)} - \Vert w^{(\alpha )}-u^c\Vert ^2_{L^2(\Omega ;\mathbb {R}^N)} \geqslant \alpha \sum _{j=1}^N \bigl (\mathcal {R}(w^{(\alpha )}_j)-\mathcal {R}(u^c_j)\bigr ). \end{aligned}

By (H$$3_{\alpha }$$) in combination with the second part of (2.6), there exists $$\alpha _0>0$$ such that

\begin{aligned} \textstyle \sum _{j=1}^N\mathcal {R}(w_j^{(\alpha )}) > \sum _{j=1}^N \mathcal {R}(u_j^{c}) \end{aligned}

for all $$\alpha \in (0,\alpha _0)$$, so that choosing $$\bar{\alpha }\in (0, \alpha _0)$$ concludes the proof of $$(\textrm{i})$$.

To show $$(\textrm{ii})$$, we exploit the first limit in (2.6). Due to (H$$4_{\alpha }$$), it follows then for any $$(\alpha _k)_k$$ of positive real numbers with $$\alpha _k\rightarrow 0$$ as $$k\rightarrow \infty$$ that

which gives rise to (2.5) for all $$k$$ sufficiently large. $$\square$$

### Proof of Theorem 3.2

Since $${\overline{\mathcal {I}}}$$ in (2.4) attains its infimum at a point $$\bar{\alpha }\in (0, \infty )$$ by Lemma 3.4, we conclude from Corollary 2.8 $$(\textrm{iii})$$ that $$\bar{\alpha }$$ is also a minimizer of $$\mathcal {I}$$. $$\square$$

Let us finally remark that the assumptions (H$$3_{\alpha }$$) and (H$$4_{\alpha }$$) on the training data are necessary to obtain structure preservation in the sense of Theorem 3.2.

### Remark 3.5

To see that (H$$3_{\alpha }$$) and (H$$4_{\alpha }$$) can generally not be dropped, consider, for example, a regularizer $$\mathcal {R}:L^2(\Omega )\rightarrow [0,\infty ]$$ that satisfies (H$$1_{\alpha }$$) and (H$$2_{\alpha }$$) and is 2-homogeneous, i.e., $$\mathcal {R}(\mu u)=\mu ^2\mathcal {R}(u)$$ for all $$u \in L^2(\Omega )$$ and $$\mu \in \mathbb {R}$$. With a single, non-constant noisy image $$u^{\eta } \in L^2(\Omega )$$, so that $$\mathcal {R}(u^{\eta })\not =0$$, one has for any $$\alpha \in (0,\infty )$$ that the quadratic polynomial

\begin{aligned} \mu \mapsto \mathcal {J}_{\alpha }(\mu u^{\eta })=(1-\mu )^2\Vert u^{\eta }\Vert ^2_{L^2(\Omega )}+\mu ^2\alpha \mathcal {R}(u^{\eta }), \end{aligned}

is not minimized at $$\mu =0$$ or $$\mu =1$$ because the derivative with respect to $$\mu$$ does not vanish there. Hence,

\begin{aligned} \mathcal {J}_\alpha (w^{(\alpha )})<\mathcal {J}_\alpha (0)\quad \text {and}\quad \mathcal {J}_\alpha (w^{(\alpha )})<\mathcal {J}_{\alpha }(u_\eta ). \end{aligned}

As a result, it follows that

\begin{aligned} w^{(\alpha )} \notin \{0, u^{\eta }\}. \end{aligned}

If we now take $$u^c=0$$ and suppose additionally that $$u^{\eta }$$ has zero mean value, then $$\mathcal {I}(\alpha )>0$$ for all $$\alpha \in (0,\infty )$$, while clearly $${\overline{\mathcal {I}}}(\infty )=0$$, that is, the minimum of $${\overline{\mathcal {I}}}$$ is only attained at the boundary point $$\alpha =\infty$$. Similarly, for $$u^c=u^{\eta }$$, the unique minimizer of $${\overline{\mathcal {I}}}$$ is $$\alpha =0$$.

## 4 Optimal Integrability Exponents

Here, we study the optimization of an integrability parameter, p, for a fixed nonlocal regularizer. Our motivation comes from the appearance of different $$L^p$$-norms in image processing, such as in quadratic, TV, and Lipschitz regularization [50, Sect. 4]. We focus on the parameter range $$\Lambda = [1,\infty )$$ with closure $${{\overline{\Lambda }}} = [1, \infty ]$$, paying particular attention to the structural change occurring at $$p= \infty$$.

Let $$\Omega \subset \mathbb {R}^n$$ be a bounded Lipschitz domain and consider a function $$f:\Omega \times \Omega \times \mathbb {R}\times \mathbb {R}\rightarrow [0, \infty )$$ that is Carathéodory, i.e., measurable in the first two and continuous with respect to the last two variables, and that satisfies the following bounds and convexity condition:

(H$$1_p$$):

There exist $$M, \delta >0$$ and $$\beta \in [0,1]$$ such that for all $$\xi ,\zeta \in \mathbb {R}$$, we have

\begin{aligned} f(x,y,\xi ,\zeta ) \leqslant M\left( \frac{|\xi -\zeta |}{|x-y|^{\beta }}+|\xi |+|\zeta |+1\right) \quad \text {for a.e.}~x, y\in \Omega , \end{aligned}

and

\begin{aligned} M^{-1}\frac{|\xi -\zeta |}{|x-y|^{\beta }}-M \leqslant f(x,y,\xi ,\zeta ) \quad \text {for a.e.}~x, y\in \Omega \text { with}\,|x-y|<\delta . \end{aligned}
(H$$2_p$$):

f is separately convex in the second two variables, i.e., $$f(x, y, \cdot , \zeta )$$ and $$f(x, y, \xi , \cdot )$$ are convex for a.e. $$x,y \in \Omega$$ and every $$\xi , \zeta \in \mathbb {R}^n$$.

In this setting, we take $$p\in [1, \infty )$$ and consider the regularization term $$\mathcal {R}_p:L^2(\Omega )\rightarrow [0, \infty ]$$ defined by

\begin{aligned} \mathcal R_p(u) := \bigg (\frac{1}{|\Omega \times \Omega |}\int _\Omega \int _\Omega f^p(x,y, u(x), u(y)) \,\textrm{d}x\,\textrm{d}y\bigg )^{1/p}. \end{aligned}
(2.1)

### Remark 4.1

a) Since the regularizer $$\mathcal {R}_p$$ is invariant under symmetrization, one can assume without loss of generality that f is symmetric in the sense that $$f(x, y, \xi ,\zeta ) = f(y, x, \zeta , \xi )$$ for all $$x, y\in \Omega$$ and $$\xi , \zeta \in \mathbb {R}$$.

b) Let p, $$q\in [1, \infty )$$ with $$p>q$$. Hölder’s inequality then yields for every $$u\in \mathrm{Dom\,} \mathcal {R}_p=\{u\in L^2(\Omega ): \mathcal {R}_p(u)<\infty \}$$ that

\begin{aligned} \Bigl (\int _\Omega \int _\Omega f^{p}(x,y, u(x), u(y))\,\textrm{d}x\, \textrm{d}y\Bigr )^{1/p} \geqslant |\Omega \times \Omega |^{\frac{q-p}{pq}} \Bigl (\int _\Omega \int _\Omega f^q(x,y, u(x), u(y))\, \textrm{d}x\, \textrm{d}y\Bigr )^{1/q}, \end{aligned}

which translates into $$\mathcal {R}_p(u)\geqslant \mathcal {R}_q(u)$$; in particular, $$\mathrm{Dom\,} \mathcal {R}_p \subset \mathrm{Dom\,} \mathcal {R}_q$$.

A basic example of a symmetric Carathéodory function f satisfying (H$$1_p$$) with $$\beta =0$$ and (H$$2_p$$) is

\begin{aligned} f(x, y, \xi , \zeta ) = a(x-y) |\xi -\zeta |\quad \text {for } x, y\in \Omega \text { and }\xi , \zeta \in \mathbb {R}, \end{aligned}

where $$a \in L^{\infty }(\mathbb {R}^n)$$ is an even function such that $${{\,\mathrm{ess\,inf}\,}}_{\mathbb {R}^n} a >0$$. Another example of such a function $$f$$ with $$\beta =1$$ in (H$$1_p$$) is

\begin{aligned} f(x, y, \xi , \zeta ) =b\frac{|\xi -\zeta |}{|x-y|}\quad \text {for } x, y\in \Omega \,\text {and}\, \xi , \zeta \in \mathbb {R}, \end{aligned}

with $$b>0$$; note that for the $$p>n$$ case, the corresponding regularizer $$\mathcal {R}_p$$ is, up to a multiplicative constant, the Gagliardo semi-norm of the fractional Sobolev space $$W^{1-\frac{n}{p},p}(\Omega )$$.

Before showing how the framework of Sect. 2 can be applied here, let us first collect and discuss a few properties of the regularizers $$\mathcal {R}_p$$ with $$p\in [1, \infty )$$. We introduce the notation

\begin{aligned}{}[u]_{p, \beta }:=\left( \int _\Omega \int _\Omega \frac{|u(x)-u(y)|^p}{|x-y|^{\beta p}}\,\textrm{d}{x}\,\textrm{d}{y}\right) ^{1/p} \end{aligned}

to indicate a suitable $$(p,\beta )$$-nonlocal seminorm. Our first lemma shows that the boundedness of the regularizer $$\mathcal {R}_p$$ is equivalent to the simultaneous boundedness of the $$L^p$$-norm and of the $$(p,\beta )$$-seminorm.

### Lemma 4.2

There exists a constant $$C>0$$, depending on n, p, $$\Omega$$, M, $$\delta$$, and $$\beta$$, such that

\begin{aligned}&\Vert u\Vert _{L^p(\Omega )} \leqslant C\bigl (\mathcal {R}_p(u) + \Vert u\Vert _{L^2(\Omega )}+1\bigr ), \end{aligned}
(2.2)
\begin{aligned}&{[}u]_{p, \beta }\leqslant C\bigl (\mathcal {R}_p(u) + \Vert u\Vert _{L^p(\Omega )}+1\bigr ), \end{aligned}
(2.3)

and

\begin{aligned} \mathcal {R}_p(u)\leqslant C\bigl ([u]_{p,\beta } + \Vert u\Vert _{L^p(\Omega )}+1\bigr ) \end{aligned}
(2.4)

for all $$u\in L^{2}(\Omega )$$, and for all $$p\in [1,\infty )$$.

### Proof

Properties (2.2) and (2.3) are direct consequences of the coercivity bound on the double-integrand f in (H$$1_p$$). In fact, for (2.2), we use the nonlocal Poincaré inequality in [7, Proposition 4.2], which also holds for $$u \in L^2(\Omega )$$ via a truncation argument. From the upper bound in (H$$1_p$$), we infer (2.4). $$\square$$

The next result provides a characterization of the domain of $$\mathcal {R}_p$$.

### Lemma 4.3

For any $$p\in [1, \infty )$$ there holds

\begin{aligned} \text {Dom } \mathcal {R}_p=\bigl \{u\in L^p(\Omega )\cap L^2(\Omega ): [u]_{p, \beta } <\infty \bigr \}. \end{aligned}
(2.5)

If, additionally, $$\beta p<n$$, then

\begin{aligned} \text {Dom } \mathcal {R}_p= L^p(\Omega )\cap L^2(\Omega ). \end{aligned}

If, instead, $$\beta p>n$$, then

\begin{aligned} \text {Dom }\mathcal {R}_p=W^{\beta -\frac{n}{p}, p}(\Omega ) \cap L^2(\Omega ). \end{aligned}
(2.6)

### Proof

By combining (2.2) and (2.3) with (2.4), we deduce (2.5). In the case $$\beta p < n$$, a direct computation shows that $$[u]_{p,\beta }<\infty$$ for all $$u \in L^p(\Omega )$$, hence we infer the statement. Property (2.6) follows by observing that for $$\beta p > n$$, the quantity $$[u]_{p,\beta }$$ corresponds to the Gagliardo semi-norm of the fractional Sobolev space $$W^{\beta -\frac{n}{p},p}(\Omega )$$ (cf. e.g. [34]). $$\square$$

As a consequence of Lemma 4.3, we deduce, in particular, that $$C_c^\infty (\mathbb {R}^n) \subset \text {Dom }\mathcal {R}_p$$, where the functions in $$C^\infty _c(\mathbb {R}^n)$$ are implicitly restricted to $$\Omega$$.

The next lemma shows that any element of the domain of $$\mathcal {R}_p$$ can be extended to a function having compact support and finite $$(p,\beta )$$-seminorm.

### Lemma 4.4

Let $$p\in [1,\infty )$$. For any $$u \in \mathrm{Dom\,}\mathcal {R}_p$$, there is a $$\bar{u} \in L^p(\mathbb {R}^n)\cap L^2(\mathbb {R}^n)$$ with compact support inside some bounded open set $$\Omega '$$ with $$\Omega \subset \Omega ' \subset \mathbb {R}^n$$ satisfying $$\bar{u} = u$$ on $$\Omega$$ and

\begin{aligned} \int _{\Omega '}\int _{\Omega '} \frac{|\bar{u}(x)-\bar{u}(y)|^p}{|x-y|^{\beta p}}\,\textrm{d}{x}\,\textrm{d}{y} <\infty . \end{aligned}
(2.7)

### Proof

If $$\beta >\frac{n}{p}$$, this follows directly from well-established extension results for fractional Sobolev spaces on $$\Omega$$ to those on $$\mathbb {R}^n$$ (cf. [34, Theorem 5.4]), considering (2.6). If $$1\leqslant \beta p \leqslant n$$, the map $$x \mapsto |x-y|^{-\beta p}$$ is no longer integrable at infinity. Property (2.7) follows by minor modifications to the arguments in [34, Sect. 5]. $$\square$$

Elements of the domain of $$\mathcal {R}_p$$ can be approximated by sequences of smooth maps with compact support.

### Lemma 4.5

Let $$p\in [1,\infty )$$. For every $$u\in \text {Dom }\mathcal {R}_p$$, there exists a sequence $$(u_{l})_l \subset C_c^{\infty }(\mathbb {R}^n)$$ such that $$u_l \rightarrow u$$ in $$L^p(\Omega )$$ and $$\lim _{l\rightarrow \infty }\mathcal {R}_p(u_l) = \mathcal {R}_p(u)$$ as $$l \rightarrow \infty$$.

### Proof

Let $${\bar{u}}$$ be an extension of u as in Lemma 4.3. We define $$u_l = \varphi _{1/l}*\bar{u} \in C_c^{\infty }(\mathbb {R}^n)$$ for $$l \in \mathbb {N}$$ with $$(\varphi _{\varepsilon })_{\varepsilon >0}$$ a family of smooth standard mollifiers satisfying $$0\leqslant \varphi _\varepsilon \leqslant 1$$ and $$\int _{\mathbb {R}^n} \varphi _\varepsilon \, \textrm{d}{x}=1$$, and whose support lies in the ball centered at the origin and with radius $$\varepsilon >0$$, $${{\,\textrm{supp}\,}}\varphi _\varepsilon \subset B_\varepsilon (0)\subset \mathbb {R}^n$$. Then, $$u_l \rightarrow u$$ in $$L^p(\Omega )$$ and $$u_l\rightarrow u$$ pointwise a.e. in $$\Omega$$ as $$l \rightarrow \infty$$. To show that Lebesgue’s dominated convergence theorem can be applied, we use the upper bound in (H$$1_p$$) to derive the following estimate for any $$l\in \mathbb {N}$$:

\begin{aligned} f^p(x, y, u_l(x), u_l(y))&\leqslant 4^{p-1}M^p\,\left( \frac{|u_l(x)-u_l(y)|^p}{|x-y|^{\beta p}}+ |u_l(x)|^p + |u_l(y)|^p+1\right) \end{aligned}
(2.8)

for a.e. $$(x,y)\in \Omega \times \Omega$$. By Jensen’s inequality and Fubini’s theorem,

\begin{aligned} {[}u_l]_{p, \beta }^p&\leqslant \int _{B_{1/l}(0)}\varphi _{1/l}(z)\int _{\Omega }\int _{\Omega } \frac{|{\bar{u}}(x-z)-{\bar{u}}(y-z)|^p}{|x-y|^{\beta p}}\,\textrm{d}{x}\,\textrm{d}{y}\,\textrm{d}{z} \\&\leqslant \int _{\Omega _{1/l}}\int _{\Omega _{1/l}}\frac{|{\bar{u}}(x)-{\bar{u}}(y)|^p}{|x-y|^{\beta p}}\,\textrm{d}{x}\,\textrm{d}{y}<\infty , \end{aligned}

with $$\Omega _{1/l} = \{ x \in \mathbb {R}^n:\, d(x,\Omega ) < 1/l\}$$; thus, $$\limsup _{l\rightarrow \infty } [u_l]^p_{p, \beta }\leqslant [u]_{p, \beta }^p$$. Conversely, the a.e. pointwise convergence of the mollified sequence gives $$\liminf _{l \rightarrow \infty } [u_l]^p_{p, \beta } \geqslant [u]^p_{p, \beta }$$ by Fatou’s lemma. Along with the $$L^p$$-convergence of $$(u_l)_l$$, the upper bound in (2.8) is thus a converging sequence in $$L^1(\Omega \times \Omega )$$. This concludes the proof of the lemma. $$\square$$

Finally, we characterize the weak lower-semicontinuity of the regularizers. We refer to [8, 36, 48] for a discussion on sufficient (and necessary) conditions for the weak lower semicontinuity of inhomogeneous double-integral functionals.

### Lemma 4.6

For every $$p\in [1,\infty )$$, the regularizer $$\mathcal {R}_p$$ is $$L^2$$-weak lower semicontinuous.

### Proof

The statement is an immediate consequence of the nonnegativity of f and (H$$2_p$$), see e.g. [49, Theorem 2.5] or [45]. $$\square$$

### Remark 4.7

Observe that Lemmas 4.3 and 4.6 imply in particular that the hypothesis (H) from Sect. 2 is fulfilled.

Given a collection of noisy images $$u^{\eta }\in L^2(\Omega ;\mathbb {R}^N)$$ and $$p\in [1, \infty )$$, we set, for each $$j\in \{1,\ldots , N\}$$,

\begin{aligned} \mathcal {J}_{p, j}(u) := \Vert u-u^{\eta }_j\Vert ^2_{L^2(\Omega )}+ \mathcal R_{p}(u) \qquad \text {for }u\in L^2(\Omega ), \end{aligned}

with $$K_{p,j}:=\mathop {\mathrm{arg\,min}}\limits \mathcal {J}_{p,j} \not = \emptyset$$ since (H) is satisfied. As in ($$\mathcal {T}$$), we define $$\mathcal {I}:[1, \infty )\rightarrow [0, \infty )$$ by

\begin{aligned} \mathcal {I}(p) = \inf _{w \in K_p}\Vert w-u^{c}\Vert ^2_{L^2(\Omega ;\mathbb {R}^N)} \text { for } p\in [1,\infty ), \quad \end{aligned}

where $$K_p = K_{p,1} \times K_{p,2} \times \cdots \times K_{p,N}$$. Next, we prove the Mosco-convergence result that will provide us with an extension of $$\mathcal {I}$$ to $${\overline{\Lambda }}=[1, \infty ]$$. It is an $$L^p$$-approximation statement in the present nonlocal setting, which can be obtained from a modification of the arguments by Champion, De Pascale, & Prinari [20] in the local case, and those by Kreisbeck, Ritorto, & Zappale [42, Theorem 1.3], where the case of homogeneous double-integrands is studied.

### Proposition 4.8

(Mosco-convergence of the regularizers) Let $$\Lambda =[1,\infty )$$, $$\mathcal {R}_p$$ for $$p\in [1, \infty )$$ as in (2.1), and suppose that (H$$1_p$$) and (H$$2_p$$) are satisfied. Then, for $$p \in {\overline{\Lambda }}=[1,\infty ]$$,

\begin{aligned} {\overline{\mathcal {R}}}_{p}:=\textrm{Mosc}(L^2)\text {-}\lim _{p'\rightarrow p}\mathcal {R}_{p'}={\left\{ \begin{array}{ll} \mathcal {R}_p &{}\text {if} \ p \in [1,\infty ),\\ \mathcal {R}_{\infty } &{}\text {if} \ p=\infty , \end{array}\right. } \quad \text {} \end{aligned}
(2.9)

with $$\mathcal {R}_\infty :L^2(\Omega )\rightarrow [0, \infty ]$$ given by

\begin{aligned} \mathcal R_\infty (u):= {{\,\mathrm{ess\,sup}\,}}_{(x,y)\in \Omega \times \Omega } f(x,y, u(x), u(y)). \end{aligned}

### Proof

To show (2.9), it suffices to show that for every sequence $$(p_k)_k \subset [1,\infty )$$ converging to $$p \in [1,\infty ]$$, (2.9) holds with $$p'$$ replaced by $$p_{k}$$. We divide the proof into two cases.

Case 1: $$p \in [1,\infty )$$. For the recovery sequence, consider $$u \in \textrm{Dom}\,\mathcal {R}_p$$ and take $$(u_l)_{l}\subset C_c^\infty (\mathbb {R})$$ as in Lemma 4.5, satisfying $$u_l \rightarrow u$$ in $$L^p(\Omega )$$ and $$\mathcal {R}_p(u_l) \rightarrow \mathcal {R}_p(u)$$ as $$l \rightarrow \infty$$. In view of Lemma 4.3, we know that $$(u_l)_l$$ is contained in $$\mathrm{Dom\,}\mathcal {R}_{p}$$ and $$\mathrm{Dom\,}\mathcal {R}_{p_k}$$ for all $$k\in \mathbb {N}$$, and we conclude via Lebesgue’s dominated convergence theorem that

\begin{aligned} \lim _{k \rightarrow \infty } \mathcal {R}_{p_k}(u_l) = \mathcal {R}_p(u_l) \end{aligned}

for every $$l \in \mathbb {N}$$. Hence,

\begin{aligned} \lim _{l\rightarrow \infty }\lim _{k\rightarrow \infty } \mathcal {R}_{p_k}(u_l) = \lim _{l\rightarrow \infty }\mathcal {R}_{p}(u_l) = \mathcal {R}_{p}(u), \end{aligned}

so that one can find a recovery sequence by extracting an appropriate diagonal sequence.

To prove the lower bound, let $$u_k\rightharpoonup u$$ in $$L^2(\Omega )$$ be such that $$\lim _{k\rightarrow \infty } \mathcal {R}_{p_k}(u_k)=\liminf _{k\rightarrow \infty } \mathcal {R}_{p_k}(u_k)<\infty$$, and fix $$s\in (1, p)$$ (or $$s=1$$ if $$p=1$$). Observe that $$p_k\geqslant s$$ for all k sufficiently large because $$p_k\rightarrow p$$ for $$k\rightarrow \infty$$. Then, Remark 4.1 b) and the weak lower semicontinuity of $$\mathcal {R}_s$$ according to Lemma 4.6 imply that

\begin{aligned} \lim _{k\rightarrow \infty } \mathcal {R}_{p_k}(u_k) \geqslant \liminf _{k\rightarrow \infty } \mathcal {R}_{s}(u_k)\geqslant \mathcal {R}_s(u). \end{aligned}

If $$s=p=1$$ the argument is complete, whereas in the case $$p>1$$, an additional application of Fatou’s lemma shows $$\liminf _{s \nearrow p} \mathcal {R}_s(u) \geqslant \mathcal {R}_p(u)$$, giving rise to the desired liminf inequality.

Case 2: $$p=\infty$$. That constant sequences serve as recovery sequences results from the observation that $$\mathcal {R}_{p_k}(u) \rightarrow \mathcal {R}_{\infty }(u)$$ as $$k \rightarrow \infty$$ for all $$u \in \textrm{Dom}\,\mathcal {R}_{\infty }$$. The latter is an immediate consequence of classical $$L^p$$-approximation, i.e., the well-known fact that $$\lim _{p\rightarrow \infty }\Vert v\Vert _{L^p(V)} = \Vert v\Vert _{L^\infty (V)}={{\,\mathrm{ess\,sup}\,}}_{x\in V}|v(x)|$$ for all $$v\in L^\infty (V)$$ with $$V\subset \mathbb {R}^m$$ open and bounded.

To prove the lower bound, we argue via Young measure theory (see, e.g., [37, 48] for a general introduction). Let $$u_k\rightharpoonup u$$ in $$L^2(\Omega )$$, and denote by $$\nu =\{\nu _x\}_{x\in \Omega }$$ the Young measure generated by a (non-relabeled) subsequence of $$(u_k)_k$$. The barycenter of $$[\nu _x]:= \int _{\mathbb {R}} \xi \, \textrm{d}{\nu _x}(\xi )$$ then coincides with u(x) for a.e. $$x \in \Omega$$. Without loss of generality, one can suppose that $$\infty >\liminf _{k\rightarrow \infty }\mathcal {R}_{p_k}(u_k)=\lim _{k\rightarrow \infty }\mathcal {R}_{p_k}(u_k)$$. Recalling Remark 4.1 b), we have that

\begin{aligned} \lim _{k\rightarrow \infty }\mathcal {R}_{p_k}(u_k) \geqslant \liminf _{q\rightarrow \infty } \liminf _{k\rightarrow \infty }\mathcal {R}_{q}(u_k). \end{aligned}
(2.10)

On the other hand, with the nonlocal field $$v_u$$ associated with some $$u:\Omega \rightarrow \mathbb {R}$$ defined by

\begin{aligned} v_u(x,y):=(u(x), u(y))\qquad \text { for }(x,y)\in \Omega \times \Omega , \end{aligned}

the statement of [48, Proposition 2.3] allows us to extract a subsequence $$(v_{u_k})_k$$ that generates the Young measure $$\{\nu _x\otimes \nu _y\}_{(x,y)\in \Omega \times \Omega }$$. Hence, a standard result on Young measure lower semicontinuity (see e.g. [37, Sect. 8.1]) yields

\begin{aligned} \liminf _{k\rightarrow \infty } \mathcal {R}_{q}(u_k)&\geqslant \Bigl (\frac{1}{|\Omega \times \Omega |} \int _\Omega \int _\Omega \int _{\mathbb {R}}\int _{\mathbb {R}} f^q(x,y,\xi , \zeta ) \,\textrm{d}\nu _x(\xi )\,\textrm{d}\nu _{y}(\zeta )\,\textrm{d}{x}\,\textrm{d}{y}\Bigr )^{1/q}. \end{aligned}

Letting $$q\rightarrow \infty$$, we use classical $$L^p$$-approximation results and the Jensen’s type inequality for separately convex functions in [43, Lemma 3.5 $$(\textrm{iv})$$] to conclude that

\begin{aligned} \liminf _{q\rightarrow \infty }\liminf _{k\rightarrow \infty } \mathcal {R}_{q}(u_k)&\geqslant {{\,\mathrm{ess\,sup}\,}}_{(x, y)\in \Omega \times \Omega } \bigl [ (\nu _x\otimes \nu _y)\text {-}{{\,\mathrm{ess\,sup}\,}}_{(\xi , \zeta )\in \mathbb {R}\times \mathbb {R}} f(x,y, \xi , \zeta )\bigr ] \\ {}&\geqslant {{\,\mathrm{ess\,sup}\,}}_{(x, y)\in \Omega \times \Omega } f(x,y, [\nu _x], [\nu _y]) \\ {}&= {{\,\mathrm{ess\,sup}\,}}_{(x, y)\in \Omega \times \Omega } f(x,y, u(x), u(y)) = \mathcal {R}_\infty (u); \end{aligned}

note that $$(\nu _x\otimes \nu _y)$$-$${{\,\mathrm{ess\,sup}\,}}_{(\xi , \zeta )\in \mathbb {R}\times \mathbb {R}} f(x, y, \xi , \zeta ) = \inf \{c\in \mathbb {R}: f(x, y, \cdot , \cdot ) \leqslant c \ (\nu _x\otimes \nu _y)\text {-a.e. in} \ \mathbb {R}\times \mathbb {R}\}$$. Finally, the lower bound follows from the previous estimate and (2.10). $$\square$$

The above result implies that the reconstruction functional for $$p=\infty$$ and $$j \in \{1,\ldots ,N\}$$ is given by

\begin{aligned} {\overline{\mathcal {J}}}_{\infty , j}(u) := \Vert u-u^{\eta }_j\Vert ^2_{L^2(\Omega )}+ \mathcal R_{\infty }(u) \qquad \text {for }u\in L^2(\Omega ). \end{aligned}

Under the additional convexity condition on the given function $$f:\Omega \times \Omega \times \mathbb {R}^n\times \mathbb {R}^n\rightarrow \mathbb {R}$$ that

(H$$3_p$$):

f is (jointly) level convex in its last two variables,

where level convexity means convexity of the sub-level sets of the function, the supremal functional $$\mathcal {R}_\infty$$ also becomes level convex. In combination with the strict convexity of the fidelity term, the reconstruction functional $${\overline{\mathcal {J}}}_{\infty ,j}$$ then admits a unique minimizer. Since level convexity is weaker than convexity, we do not necessarily have that $$\mathcal {J}_{p,j}$$ for $$p \in [1,\infty )$$ is (level) convex, and it may have multiple minimizers.

If we suppose that f fulfills (H$$1_p$$)–(H$$3_p$$), then Theorem 2.5 and Proposition 4.8 imply that the extension $${\overline{\mathcal {I}}}:[1,\infty ] \rightarrow [0,\infty ]$$ is given by

\begin{aligned} {\overline{\mathcal {I}}}(p) = {\left\{ \begin{array}{ll} \mathcal {I}(p) &{} \text {for }p\in [1, \infty ),\\ \Vert w^{(\infty )}-u^c\Vert ^2_{L^2(\Omega ;\mathbb {R}^N)} &{} \text {for } p=\infty , \end{array}\right. } \quad \end{aligned}

for $$p \in [1,\infty ]$$, where $$w^{(\infty )}$$ denotes the unique componentwise minimizer of $${\overline{\mathcal {J}}}_{\infty }$$. In particular, the hypothesis $$(\textrm{ii})$$ of Theorem 2.5 is satisfied, which shows that $${\overline{\mathcal {I}}}$$ is the relaxation of $$\mathcal {I}$$ and, thus, admits a minimizer $$\bar{p} \in {\overline{\Lambda }}=[1,\infty ]$$.

We conclude this section with a discussion of examples when optimal values of the integrability exponents are obtained in the interior of the original interval $$\Lambda$$ or at its boundary, respectively. In one case, the presence of noise causes $$\mathcal {R}_{\infty }$$ to penalize $$u^c$$ more than $$u^{\eta }$$, while $$\mathcal {R}_q$$ for some $$q \in [1,\infty )$$ prefers the clean image. This entails that the optimal parameter is attained in $$\Lambda =[1,\infty )$$. In the second case instead, the reconstruction functional for $$p=\infty$$ gives back the exact clean image and outperforms the reconstruction functionals for other parameter values.

### Example 4.9

a) Let $$f=\alpha \widehat{f}:\Omega \times \Omega \times \mathbb {R}^n\times \mathbb {R}^n\rightarrow \mathbb {R}$$, for some $$\alpha >0$$ to be specified later, be a double-integrand satisfying (H$$1_p$$), (jointly) convex in the last two variables, and vanishing exactly on $$\{(x,y,\xi ,\xi )\,:\, x,y \in \Omega , \ \xi \in \mathbb {R}\}$$. Following (2.1), we set

\begin{aligned} \mathcal {R}_p(u)= \alpha \bigg (\frac{1}{|\Omega \times \Omega |}\int _\Omega \int _\Omega \widehat{f}^p(x,y, u(x), u(y)) \,\textrm{d}{x}\,\textrm{d}{y} \bigg )^{1/p} =: \alpha {\widehat{\mathcal {R}}}_p(u) \end{aligned}

for $$u\in L^2(\Omega )$$ and $$p\in [1, \infty )$$.

We further introduce the following two conditions on the given data $$u^\eta , u^c\in L^2(\Omega ;\mathbb {R}^N)$$:

(H$$4_p$$):

$$\sum _{j=1}^N\mathcal {R}_q(u_j^c)<\sum _{j=1}^N\mathcal {R}_q(u_j^{\eta }) \ \text {for some }q \in [1,\infty );$$

(H$$5_p$$):

$$\sum _{j=1}^N\mathcal {R}_\infty (2u_j^{\eta } -u_j^c) < \sum _{j=1}^N\mathcal {R}_\infty (u^{\eta }_j).$$

By applying Lemma 3.4 $$(\textrm{i})$$ from the previous section with $$\mathcal {R}={\widehat{\mathcal {R}}}_q$$ — the conditions (H$$1_\alpha$$), (H$$2_\alpha$$), and (H$$3_\alpha$$) are immediate to verify in view of Lemma 4.3, Lemma 4.6, and (H$$4_p$$) — we can then deduce for small enough $$\alpha$$ that $${\overline{\mathcal {I}}}(q) < \Vert u^{\eta }-u^{c}\Vert ^2_{L^2(\Omega ;\mathbb {R}^N)}$$. On the other hand, due to (H$$5_p$$), the same lemma can be applied to $$\mathcal {R}={\widehat{\mathcal {R}}}_\infty$$ with $${\widehat{\mathcal {R}}}_\infty (u)={{\,\mathrm{ess\,sup}\,}}_{(x, y)\in \Omega \times \Omega } {\widehat{f}}(x, y, u(x),u(y))$$ for $$u\in L^2(\Omega )$$ to find

\begin{aligned} \Vert w^{(\infty )}-(2u^{\eta }-u^c)\Vert _{L^2(\Omega ;\mathbb {R}^N)}^2<\Vert u^{\eta }-u^{c}\Vert _{L^2(\Omega ;\mathbb {R}^N)}^2, \end{aligned}
(2.11)

provided $$\alpha$$ is sufficiently small. The reverse triangle inequality then yields

\begin{aligned}&{\overline{\mathcal {I}}}(\infty ) \geqslant \left( \Vert w^{(\infty )}-(2u^{\eta }-u^c)\Vert ^2_{L^2(\Omega ;\mathbb {R}^N)}-2\Vert u^{\eta }-u^{c}\Vert ^2_{L^2(\Omega ;\mathbb {R}^N)}\right) ^2\\&\qquad> \Vert w^{(\infty )}-(2u^{\eta }-u^c)\Vert ^2_{L^2(\Omega ;\mathbb {R}^N)}> \Vert u^{\eta }-u^{c}\Vert ^2_{L^2(\Omega ;\mathbb {R}^N)} > {\overline{\mathcal {I}}}(q), \end{aligned}

where in the second and third inequality we have used (2.11). This proves that the optimal parameter is attained inside $$[1,\infty )$$, and, therefore, is also a minimizer of $$\mathcal {I}$$.

b) We illustrate a) with a specific example. Consider $$\Omega = (0,1)$$ and let $${\widehat{f}}(x,y,\xi ,\zeta )= |\xi -\zeta |/|x-y|$$ for x, $$y\in \Omega$$ and $$\xi$$, $$\zeta \in \mathbb {R}^n$$. This leads then to the difference quotient regularizers

\begin{aligned} \mathcal {R}_p(u) = \alpha \left( \int _0^1\int _0^1 \frac{|u(x)-u(y)|^p}{|x-y|^p}\, \textrm{d}x\, \textrm{d}y\right) ^{1/p} =: \alpha {\widehat{\mathcal {R}}}_p(u) \end{aligned}
(2.12)

and

\begin{aligned} \mathcal {R}_{\infty }(u) = \alpha {{\,\mathrm{ess\,sup}\,}}_{(x,y) \in (0,1)^2}\frac{|u(x)-u(y)|}{|x-y|} = \alpha \textrm{Lip}(u), \end{aligned}
(2.13)

with $$\textrm{Lip}(u)$$ denoting the Lipschitz constant of (a representative of) u, which could be infinite.

With the sawtooth function $$v: [0,1] \rightarrow \mathbb {R}$$ defined by

\begin{aligned} v(x) = {\left\{ \begin{array}{ll} x \quad &{}\text {for }0\leqslant x\leqslant 1/4,\\ -x+1/2 \quad &{}\text {for }1/4<x \leqslant 3/4,\\ x-1 \quad &{}\text {for }3/4 < x \leqslant 1, \end{array}\right. } \end{aligned}

we take a single clean and noisy image given by

\begin{aligned}{} & {} u^{c}(x) = {\left\{ \begin{array}{ll} 0 &{}\text {for }0< x\leqslant 1/3,\\ 10v(3x-1) &{}\text {for }1/3<x \leqslant 2/3\\ 0 &{}\text {for }2/3< x< 1. \end{array}\right. }\\{} & {} \text {and} \quad u^{\eta }(x) = {\left\{ \begin{array}{ll} v(3x) &{}\text {for }0< x\leqslant 1/3,\\ (10-\varepsilon )v(3x-1) &{}\text {for }1/3<x \leqslant 2/3,\\ v(3x-2) &{}\text {for }2/3< x < 1, \end{array}\right. } \end{aligned}

respectively, where $$\varepsilon >0$$ is small; see Fig. 1.

We observe that $$u^c$$ is constant near the boundaries and only slightly steeper than $$u^{\eta }$$ in the middle of the domain. Numerical calculations show that for small $$\varepsilon$$, such as $$\varepsilon =0.1$$, the estimate $$\mathcal {R}_2(u^c)<\mathcal {R}_2(u^{\eta })$$, and hence (H$$4_p$$) with $$q=2$$, holds; moreover, (H$$5_p$$) holds since the clean image has a higher Lipschitz constant than the noisy image in the sense that

\begin{aligned} \textrm{Lip}(2u^{\eta } -u^c) = 30-6\varepsilon < 30-3\varepsilon = \textrm{Lip}(u^{\eta }). \end{aligned}

Therefore, we find that for $$\alpha >0$$ small enough, the optimal parameter lies inside $$\Lambda =[1,\infty )$$.

c) If we work with the same regularizers as in b), there are reasonable images for which the Lipschitz regularizer in (2.13) performs better than the other regularizers in (2.12). Let us consider with $$\alpha >0$$ chosen as in b), the images

\begin{aligned} u^{c}(x) = x-1/2\quad \text { and}\quad u^{\eta } = (1+6\alpha )u^{c}. \end{aligned}

Since $$u^{\eta }$$ is affine, we can show that the reconstruction with the Lipschitz regularizer is also an affine function. Indeed, for every other function, one can find an affine function with at most the same Lipschitz constant without increasing the distance to $$u^{\eta }$$ anywhere. This, in combination with the fact that the images are odd functions with respect to $$x=1/2$$, shows that $$w^{(\infty )}$$ is of the form $$w^{(\infty )}(x) = \gamma (x-1/2)=\gamma u^c$$ with $$\gamma \geqslant 0$$. Due to the optimality of $$w^{(\infty )}$$, the constant $$\gamma$$ has to minimize the quantity

\begin{aligned} \Vert \gamma u^c- u^\eta \Vert _{L^2((0,1))}^2+\alpha \textrm{Lip}(\gamma u^c)=\frac{1}{12}(\gamma - (1+6\alpha ))^2 + \alpha \gamma , \end{aligned}

which yields $$\gamma = 1$$. Hence, $$w^{(\infty )}$$ coincides with the clean image and therefore $${\overline{\mathcal {I}}}(\infty )=0$$, which implies that $$p = \infty$$ is the optimal parameter in this case.

## 5 Varying the Amount of Nonlocality

Next, we study two classes of nonlocal regularizers, $$\mathcal {R}_{\delta }$$ with $$\delta \in \Lambda :=(0,\infty )$$, considered by Brezis & Nguyen [15] and Aubert & Kornprobst [5], respectively, in the context of image processing. In both cases, we aim at optimizing the parameter $$\delta$$ that encodes the amount of nonlocality in the problem. We mention further that both families of functionals recover the classical TV-reconstruction model in the limit $$\delta \rightarrow 0$$, cf. [5, 15].

To set the stage for our analysis, consider training data $$(u^c,u^{\eta }) \in L^2(\Omega ;\mathbb {R}^N) \times L^2(\Omega ;\mathbb {R}^N)$$ and the reconstruction functionals $$\mathcal {J}_{\delta ,j}:L^2(\Omega ) \rightarrow [0,\infty ]$$ with $$\delta \in \Lambda$$ and $$j \in \{1,2,\ldots ,N\}$$ given by

\begin{aligned} \mathcal {J}_{\delta ,j}(u) = \Vert u-u^{\eta }_j\Vert _{L^2(\Omega )}^2 + \mathcal {R}_{\delta }(u). \end{aligned}

After showing that the sets

\begin{aligned} K_{\delta ,j}=\mathop {\mathrm{arg\,min}}\limits _{u \in L^2(\Omega )} \mathcal {J}_{\delta ,j}(u). \end{aligned}
(2.1)

are non-empty for each of the two choices of the regularizers $$\mathcal {R}_{\delta }$$, the upper-level functional from ($$\mathcal {T}$$) in Sect. 2 becomes

\begin{aligned} \mathcal {I}:(0,\infty ) \rightarrow [0,\infty ), \quad \mathcal {I}(\delta ) = \inf _{w \in K_\delta } \Vert w-u^c\Vert _{L^2(\Omega ;\mathbb {R}^N)}^2 \end{aligned}
(2.2)

with $$K_\delta = K_{\delta ,1}\times K_{\delta ,2} \times \cdots \times K_{\delta ,N}$$. In order to find its extension $${\overline{\mathcal {I}}}$$ defined on $${\overline{\Lambda }}=[0,\infty ]$$, we determine the Mosco-limits of the regularizers (cf. (2.6) and Theorem 2.5). This is the content of Propositions 5.3 and 5.5 below, which provide the main results of this section.

### 5.1 Brezis & Nguyen Setting

For every $$\delta \in (0,\infty )$$ and $$u\in L^1(\Omega )$$, we consider the regularizers

\begin{aligned} \mathcal {R}_\delta (u):=\delta \int _\Omega \int _\Omega \frac{\varphi (|u(x)-u(y)|/\delta )}{|x-y|^{n+1}}\,\textrm{d}x\,\textrm{d}y, \end{aligned}

where, following [15], the function $$\varphi :[0, \infty )\rightarrow [0, \infty )$$ is assumed to satisfy the following hypotheses:

(H$$1_\delta$$):

$$\varphi$$ is lower semicontinuous in $$[0,\infty )$$ and continuous in $$[0,\infty )$$ except at a finite number of points, where it admits left- and right-side limits;

(H$$2_\delta$$):

there exists a constant $$a>0$$ such that $$\varphi (t) \leqslant \min \{at^2,a\}$$ for all $$t\in [0,\infty )$$;

(H$$3_\delta$$):

$$\varphi$$ is non-decreasing;

(H$$4_\delta$$):

it holds that $$\displaystyle \gamma _n \int _0^\infty \varphi (t) t^{-2} \, \textrm{d}{t} =1$$ with $$\gamma _n:= \displaystyle \int _{\mathbb {S}^{n-1}} |e\cdot \sigma |\, \textrm{d}{\sigma }$$ for any $$e\in \mathbb {S}^{n-1}$$.

Note that the assumptions on $$\varphi$$ imply that the functional $$\mathcal {R}_{\delta }$$ is never convex.

### Example 5.1

Examples of functions $$\varphi$$ with the properties (H$$1_\delta$$)–(H$$4_\delta$$) include suitable normalizations of

\begin{aligned} t\mapsto {\left\{ \begin{array}{ll} 0 &{}\text {if } t\leqslant 1\\ 1&{}\text {if } t> 1 \end{array}\right. }, \qquad t\mapsto {\left\{ \begin{array}{ll} t^2 &{}\text {if } t\leqslant 1\\ 1&{}\text {if } t> 1 \end{array}\right. }, \qquad t\mapsto 1-e^{-t^2} \end{aligned}

for $$t\geqslant 0$$, cf. [15].

To guarantee that the functionals $$\mathcal {R}_{\delta }$$ satisfy a suitable compactness property, see Theorem 5.2 b), we must additionally assume that

(H$$5_\delta$$):

$$\varphi (t)> 0 \ \text {for all }t>0$$.

Clearly, the last two functions from Example 5.1 satisfy the positivity condition, while the first one does not. In identifying the Mosco-limits $${\overline{\mathcal {R}}}_{\delta }$$ in each of the three cases $$\delta \in (0,\infty )$$, $$\delta =0$$, and $$\delta =\infty$$, we make repeated use of [15, Theorems 1, 2 and 3], which we recall here for the reader’s convenience.

### Theorem 5.2

(cf.  [15, Theorems 1–3]) Let $$\Omega \subset \mathbb {R}^n$$ be a bounded and smooth domain, and let $$\varphi$$ satisfy (H$$1_\delta$$)–(H$$4_\delta$$).

(a) If $$(\delta _k)_k\subset (0,\infty )$$ is such that $$\delta _k\rightarrow 0$$, then the following statements hold:

1. (i)

There exists a constant $$K(\varphi ) \in (0,1]$$, independent of $$\Omega$$, such that $$(\mathcal {R}_{{\delta _k}})_{k}$$ $$\Gamma$$-converges as $$k \rightarrow \infty$$, with respect to the $$L^1(\Omega )$$-topology, to $$\mathcal {R}_0:L^{1}(\Omega ) \rightarrow [0,\infty ]$$ defined for $$u\in L^1(\Omega )$$ by

\begin{aligned} \begin{aligned} \mathcal {R}_0(u):={\left\{ \begin{array}{ll} K(\varphi ) |Du|(\Omega ) &{}\text {if } u\in BV(\Omega ),\\ \infty &{}\text {if } u\in L^1(\Omega )\setminus BV(\Omega ). \end{array}\right. } \end{aligned} \end{aligned}
2. (ii)

If $$(u_k)_k$$ is a bounded sequence in $$L^1(\Omega )$$ with $$\sup _k \mathcal {R}_{\delta _k}(u_k) <\infty$$, then there exist a subsequence $$(u_{k_l})_l$$ of $$(u_k)_k$$ and a function $$u\in L^1(\Omega )$$ such that $$\lim _{l\rightarrow \infty } \Vert u_{k_l} - u\Vert _{L^1(\Omega )}=0$$.

(b) Suppose that (H$$5_\delta$$) holds in addition to the above conditions, and let $$(u_k)_k$$ be a bounded sequence in $$L^1(\Omega )$$ with $$\sup _k \mathcal {R}_{\delta }(u_k) <\infty$$ for some $$\delta >0$$. Then, there exists a subsequence $$(u_{k_l})_l$$ of $$(u_k)_k$$ and a function $$u\in L^1(\Omega )$$ such that $$\lim _{l\rightarrow \infty } \Vert u_{k_l} - u\Vert _{L^1(\Omega )}=0$$.

We point out that if $$\varphi$$ fulfills (H$$1_\delta$$)–(H$$5_\delta$$), then (H) in Sect. 2 holds and the sets $$K_{\delta ,j}$$ defined in (2.1) are non-empty (cf. [15, Corollary 7]). We are now in a position to characterize the asymptotic behavior of the regularizers $$\mathcal {R}_{\delta '}$$ as $$\delta '\rightarrow \delta \in {\overline{\Lambda }}=[0,\infty ]$$.

### Proposition 5.3

(Mosco-convergence of regularizers) Let $$\Lambda =(0,\infty )$$ and $$\Omega \subset \mathbb {R}^n$$ be a bounded and smooth domain. Under the assumptions (H$$1_\delta$$)–(H$$5_\delta$$) on $$\varphi : [0, \infty )\rightarrow [0, \infty )$$, it holds that

\begin{aligned} {\overline{\mathcal {R}}}_{\delta }:=\textrm{Mosc}(L^2)\text {-}\lim _{\delta '\rightarrow \delta }\mathcal {R}_{\delta '}={\left\{ \begin{array}{ll} \mathcal {R}_\delta &{}\text {if} \ \delta \in (0,\infty ),\\ \mathcal {R}_{0} &{}\text {if} \ \delta =0,\\ 0 &{}\text {if }\delta =\infty , \end{array}\right. } \quad \text {for }\delta \in {\overline{\Lambda }}=[0,\infty ].\qquad \end{aligned}
(2.3)

### Proof

Considering a sequence $$(\delta _k)_k\subset (0,\infty )$$ with limit $$\delta \in [0,\infty ]$$, one needs to verify that the Mosco-limit of $$(\mathcal {R}_{{\delta }_k})_k$$ exist and is given by the right-hand side of (2.3). We split the proof into three cases.

Case 1: $$\delta =0$$. Let $$(u_k)_k\subset L^2(\Omega )$$ and $$u\in L^2(\Omega )$$ be such that $$u_k\rightharpoonup u$$ in $$L^2(\Omega )$$. We aim to show that

\begin{aligned} \mathcal {R}_0(u) \leqslant \liminf _{k\rightarrow \infty } \mathcal {R}_{\delta _k}(u). \end{aligned}
(2.4)

One may thus assume without loss of generality that the limit inferior on the right-hand side of (2.4) is finite, and, after extracting a subsequence if necessary, also

\begin{aligned} \begin{aligned} \sup _k \mathcal {R}_{\delta _k}(u_k) <\infty . \end{aligned} \end{aligned}

Hence, by Theorem 5.2 a) $$(\textrm{ii})$$, it follows that $$u_k \rightarrow u \text { in } L^1(\Omega )$$, which together with Theorem 5.2 a) $$(\textrm{i})$$ yields (2.4).

To complement this lower bound, we need to obtain for each $$u\in L^2(\Omega )\cap BV(\Omega )$$ a sequence $$(u_k)_k\subset L^2(\Omega )$$ such that $$u_k\rightarrow u$$ in $$L^2(\Omega )$$ and

\begin{aligned} \begin{aligned} \mathcal {R}_0(u) \geqslant \limsup _{k\rightarrow \infty } \mathcal {R}_{\delta _k}(u_k). \end{aligned} \end{aligned}
(2.5)

The idea is to suitably truncate a recovery sequence of the $$\Gamma$$-limit $$\Gamma (L^1)$$-$$\lim _{k\rightarrow \infty }\mathcal {R}_{\delta _k}$$ from Theorem 5.2 $$(\textrm{i})$$. For the details, fix $$l\in \mathbb {N}$$ and consider the truncation function, $$T^l:\mathbb {R}\rightarrow \mathbb {R}$$,

\begin{aligned} T^l(t):={\left\{ \begin{array}{ll} l &{} \hbox {if } t\geqslant l,\\ t &{} \hbox {if } -l\leqslant t\leqslant l,\\ -l &{} \hbox {if } t\leqslant -l. \end{array}\right. } \end{aligned}

By Theorem 5.2 $$(\textrm{i})$$, there exists a sequence $$(v_k)_k\subset L^1(\Omega )$$ such that $$v_k\rightarrow u$$ in $$L^1(\Omega )$$ and

\begin{aligned} \begin{aligned} \lim _{k\rightarrow \infty } \mathcal {R}_{\delta _k}(v_k) = K(\varphi )|Du|(\Omega ) = \mathcal {R}_0(u). \end{aligned} \end{aligned}
(2.6)

Choosing a sequence $$(l_k)_k \subset \mathbb {R}$$ such that $$l_k \rightarrow \infty$$ and $$l_k\Vert v_k-u\Vert _{L^1(\Omega )} \rightarrow 0$$ as $$k \rightarrow \infty$$, we define

\begin{aligned} u_k:=T^{l_k} \circ v_k \in L^\infty (\Omega ) \quad \text {for all } k\in \mathbb {N}. \end{aligned}

Then, an application of Hölder’s inequality shows that

\begin{aligned} \Vert u_k -u\Vert _{L^2(\Omega )}&\leqslant \Vert u_k-T^{l_k}\circ u\Vert _{L^2(\Omega )}+\Vert T^{l_k} \circ u-u\Vert _{L^2(\Omega )}\\ {}&\leqslant \left( 2l_k\Vert v_k-u\Vert _{L^1(\Omega )}\right) ^{1/2} + \Vert T^{l_k} \circ u-u\Vert _{L^2(\Omega )} \rightarrow 0, \end{aligned}

as $$k \rightarrow \infty$$. Therefore, $$u_k \rightarrow u$$ in $$L^2(\Omega )$$ and, in view of the monotonicity of $$\varphi$$ in (H$$3_\delta$$), we conclude that

\begin{aligned} \limsup _{k\rightarrow \infty } \mathcal {R}_{\delta _k}(u_k)&= \limsup _{k\rightarrow \infty } \delta _k\int _{\Omega }\int _{\Omega } \frac{\varphi (\delta _k^{-1}|T^{l_k} (v_k (x))-T^{l_k} (v_k (y))|)}{|x-y|^{n+1}} \,\textrm{d}x\,\textrm{d}y\\&\leqslant \lim _{k\rightarrow \infty } \delta _k\int _{\Omega }\int _{\Omega } \frac{\varphi (\delta _k^{-1}| v_k(x)-v_k (y)|)}{|x-y|^{n+1}} \,\textrm{d}x\,\textrm{d}y=\lim _{k\rightarrow \infty } \mathcal {R}_{\delta _k}(v_k), \end{aligned}

which implies (2.5) by (2.6).

Case 2: $$\delta \in (0,\infty )$$. Consider a sequence $$(u_k)_k\subset L^2(\Omega )$$ and $$u\in L^2(\Omega )$$ such that $$u_k\rightharpoonup u$$ in $$L^2(\Omega )$$ and

\begin{aligned} \begin{aligned} \sup _k \mathcal {R}_{\delta _k}(u_k) <\infty . \end{aligned} \end{aligned}

We start by observing that there exist $${\bar{\delta }} > 0$$ and $$K\in \mathbb {N}$$ such that for all $$k\geqslant K$$, we have $$\bar{\delta }/2 \leqslant \delta _k \leqslant \bar{\delta }$$. Hence, the previous estimate and (H$$3_\delta$$) yield

\begin{aligned} \begin{aligned} \sup _{k\geqslant K} \mathcal {R}_{{\bar{\delta }}}(u_k)= \sup _{k \geqslant K} \bigg ( {\bar{\delta }}\int _{\Omega }\int _{\Omega } \frac{\varphi ({{\bar{\delta }}}^{-1}|u_k(x)-u_k(y)|)}{|x-y|^{n+1}} \,\textrm{d}x\,\textrm{d}y\bigg ) \leqslant 2\sup _{k} \mathcal {R}_{\delta _k}(u_k) <\infty . \end{aligned} \end{aligned}

Consequently, in view of Theorem 5.2  b), we may further assume that

\begin{aligned} \begin{aligned} u_k \rightarrow u \text { in } L^1(\Omega ) \qquad \text { and } \qquad u_k (x) \rightarrow u(x) \text { for a.e.}~x\in \Omega . \end{aligned} \end{aligned}
(2.7)

Using Fatou’s lemma first, and then (2.7) together with the lower semicontinuity of $$\varphi$$ on $$[0,\infty )$$, we get

\begin{aligned} \liminf _{k\rightarrow \infty }\mathcal {R}_{\delta _k} (u_k)&= \liminf _{k\rightarrow \infty } \delta _k\int _{\Omega }\int _{\Omega } \frac{\varphi (\delta _k^{-1}|u_k(x)-u_k(y)|)}{|x-y|^{n+1}} \,\textrm{d}x\,\textrm{d}y\\&\geqslant \,\delta \int _{\Omega }\int _{\Omega } \liminf _{k\rightarrow \infty } \frac{\varphi (\delta _k^{-1}|u_k(x)-u_k(y)|)}{|x-y|^{n+1}} \,\textrm{d}x\,\textrm{d}y\\&\geqslant \,\delta \int _{\Omega }\int _{\Omega } \frac{\varphi (\delta ^{-1}|u(x)-u(y)|)}{|x-y|^{n+1}} \,\textrm{d}x\,\textrm{d}y= \mathcal {R}_\delta (u), \end{aligned}

which proves the liminf inequality.

For the recovery sequence, fix $$u \in L^2(\Omega )$$ and take $$u_k = \frac{\delta _k}{\delta }u$$ for $$k \in \mathbb {N}$$. Then, $$u_k \rightarrow u$$ in $$L^2(\Omega )$$ as $$k \rightarrow \infty$$ and

\begin{aligned} \lim _{k \rightarrow \infty } \mathcal {R}_{\delta _k}(u_k) = \lim _{k \rightarrow \infty } \frac{\delta _k}{\delta }\mathcal {R}_{\delta }(u) = \mathcal {R}_{\delta }(u), \end{aligned}

as desired.

Case 3: $$\delta = \infty$$. The lower bound follows immediately by the non-negativity of $$\mathcal {R}_{\delta _k}$$ for $$k \in \mathbb {N}$$. As a recovery sequence for $$u \in L^2(\Omega )$$, take a sequence $$(u_k)_k \subset L^2(\Omega )$$ such that $$u_k \rightarrow u$$ in $$L^2(\Omega )$$ and $$\textrm{Lip}(u_k) \leqslant \delta _k^{1/4}$$, which is possible since $$\delta _k \rightarrow \infty$$ as $$k \rightarrow \infty$$. Then, using (H$$2_\delta$$),

\begin{aligned} \mathcal {R}_{\delta _k}(u_k)&= \delta _k\int _{\Omega }\int _{\Omega } \frac{\varphi (\delta _k^{-1}|u_k(x)-u_k(y)|)}{|x-y|^{n+1}} \,\textrm{d}x\,\textrm{d}y\\&\leqslant a\frac{\textrm{Lip}(u_k)^2}{\delta _k}\int _{\Omega }\int _{\Omega } \frac{1}{|x-y|^{n-1}}\,\textrm{d}x\,\textrm{d}y\leqslant a \delta _k^{-1/2} \int _{\Omega }\int _{\Omega } \frac{1}{|x-y|^{n-1}}\,\textrm{d}x\,\textrm{d}y. \end{aligned}

Hence, $$\mathcal {R}_{\delta _k}(u_k) \rightarrow 0$$ as $$k \rightarrow \infty$$, which concludes the proof. $$\square$$

### 5.2 Aubert & Kornprobst Setting

Let $$\Omega \subset \mathbb {R}^n$$ be a bounded Lipschitz domain. We fix a nonnegative function $$\rho :[0,\infty ) \rightarrow [0,\infty )$$ satisfying

(H$$6_\delta$$):

$$\rho$$ is non-increasing and $$\displaystyle \int _{\mathbb {R}^n}\rho (|x|)\,\textrm{d}x=1$$,

and consider the regularizers given for $$\delta \in \Lambda =(0,\infty )$$ and $$u \in L^2(\Omega )$$ by

\begin{aligned} \mathcal {R}_{\delta }(u) = \frac{1}{\delta ^n}\int _{\Omega } \int _{\Omega } \frac{|u(x)-u(y)|}{|x-y|}\rho \left( \frac{|x-y|}{\delta }\right) \textrm{d}x\, \textrm{d}y. \end{aligned}
(2.8)

### Remark 5.4

a) As $$\rho$$ is non-increasing, we have for all $$0<\delta <\bar{\delta }$$ and $$x,y \in \Omega$$ that $$\rho (|x-y|/\delta ) \leqslant \rho (|x-y|/\bar{\delta })$$; consequently,

\begin{aligned} \mathcal {R}_{\delta }(u) \leqslant \frac{\bar{\delta }^n}{ \delta ^n}\mathcal {R}_{\bar{\delta }}(u) \end{aligned}

for all $$u \in L^2(\Omega )$$.

b) Note that the assumption (H) from Sect. 2 is satisfied here; in particular, $$\mathcal {R}_{\delta }$$ is $$L^2$$-weakly lower semicontinuous. Indeed, as the dependence of the integrand on u is convex, it is enough to prove strong lower semicontinuity in $$L^2(\Omega )$$. This is in turn a simple consequence of Fatou’s lemma.

c) In this set-up, the sets $$K_{\delta ,j}$$ in (2.1) consist of a single element $$w^{(\delta )}_j \in L^2(\Omega )$$ in light of the strict convexity of the fidelity term and convexity of $$\mathcal {R}_{\delta }$$. The upper-level functional from (2.2) then becomes

\begin{aligned} \mathcal {I}:(0,\infty ) \rightarrow [0,\infty ), \quad \mathcal {I}(\delta ) = \Vert w^{(\delta )}-u^c\Vert _{L^2(\Omega ;\mathbb {R}^N)}^2. \end{aligned}

The nonlocal functionals in (2.8) have been applied to problems in imaging in [5], providing a derivative-free alternative to popular local models. The localization behavior of these functionals as $$\delta \rightarrow 0$$ is well-studied, originally by Bourgain, Brezis, & Mironescu [12] and later extended to the BV-case in [26, 51]. Using these results, we show that, as $$\delta \rightarrow 0$$, the reconstruction functional in our bi-level scheme turns into the TV-reconstruction functional, see Proposition 5.5 below. Moreover, in order to get structural stability inside the domain $$\Lambda$$, we exploit the monotonicity properties of the functional $$\mathcal {R}_{\delta }$$, cf. Remark 5.4 a). Lastly, as $$\delta \rightarrow \infty$$, we observe that the regularization term vanishes.

### Proposition 5.5

(Mosco-convergence of the regularizers) Let $$\Lambda =(0,\infty )$$, $$\Omega \subset \mathbb {R}^n$$ be a bounded Lipschitz domain and assume that (H$$6_\delta$$) holds. Then,

\begin{aligned} {\overline{\mathcal {R}}}_{\delta }:=\textrm{Mosc}(L^2)\text {-}\lim _{\delta '\rightarrow \delta }\mathcal {R}_{\delta '}={\left\{ \begin{array}{ll} \mathcal {R}_\delta &{}\text {if} \ \delta \in (0,\infty ),\\ \mathcal {R}_{0} &{}\text {if} \ \delta =0,\\ 0 &{}\text {if }\delta =\infty , \end{array}\right. } \quad \text {for }\delta \in {\overline{\Lambda }}=[0,\infty ], \end{aligned}
(2.9)

where

\begin{aligned} \mathcal {R}_0:L^2(\Omega ) \rightarrow [0,\infty ], \quad \mathcal {R}_0(u)={\left\{ \begin{array}{ll} \kappa _n |Du|(\Omega ) \qquad &{}\text {if }u \in BV(\Omega ),\\ \infty \qquad &{}\text {if }u \in L^2(\Omega ) \setminus BV(\Omega ), \end{array}\right. }\qquad \end{aligned}
(2.10)

with for any $$e\in \mathbb {S}^{n-1}$$.

### Proof

Given $$(\delta _k)_k\subset (0,\infty )$$ with limit $$\delta \in [0,\infty ]$$, the arguments below, subdivided into three different regimes, show that the Mosco-limit of $$(\mathcal {R}_{{\delta }_k})_k$$ exists and is equal to the right-hand side of (2.9).

Case 1: $$\delta =0$$. For the lower bound, take a sequence $$u_k \rightharpoonup u$$ in $$L^2(\Omega )$$ and assume without loss of generality that

\begin{aligned} \sup _k \mathcal {R}_{\delta _k}(u_k) <\infty . \end{aligned}

By [12, Theorem 4], $$(u_k)_k$$ is relatively compact in $$L^1(\Omega )$$, so that $$u_k\rightarrow u$$ in $$L^1(\Omega )$$. We now use the $$\Gamma$$-liminf result with respect to the $$L^1(\Omega )$$-convergence in [51, Corollary 8], to deduce that

\begin{aligned} \mathcal {R}_0(u) \leqslant \liminf _{k \rightarrow \infty } \mathcal {R}_{\delta _k}(u_k), \end{aligned}

as desired. For the recovery sequence, we may suppose that $$u \in L^2(\Omega ) \cap BV(\Omega )$$. Then, it follows from [51, Corollary 1] that

\begin{aligned} \lim _{k \rightarrow \infty } \frac{1}{\delta _k^n}\int _{\Omega } \int _{\Omega } \frac{|u(x)-u(y)|}{|x-y|}\rho \left( \frac{|x-y|}{\delta _k}\right) \textrm{d}x\, \textrm{d}y = \kappa _n |Du|(\Omega ), \end{aligned}

showing that the constant sequence $$u_k=u$$ for all $$k \in \mathbb {N}$$ provides a recovery sequence.

Case 2: $$\delta \in (0,\infty )$$. For the liminf inequality, take a sequence $$(u_k)_k$$ converging weakly to u in $$L^2(\Omega )$$. If $$\bar{\delta } \in (0,\delta )$$, then $$\delta _k >\bar{\delta }$$ for all $$k \in \mathbb {N}$$ large enough. Hence, it follows from Remark 5.4 a) that

\begin{aligned} \liminf _{k \rightarrow \infty } \mathcal {R}_{\delta _k}(u_k) \geqslant \liminf _{k \rightarrow \infty } \frac{\bar{\delta }^n}{\delta _k^n}\mathcal {R}_{\bar{\delta }}(u_k) \geqslant \frac{\bar{\delta }^n}{\delta ^n}\mathcal {R}_{\bar{\delta }}(u), \end{aligned}

where the last inequality uses the weak lower semicontinuity of $$\mathcal {R}_{\bar{\delta }}$$, cf. Remark 5.4 b). Letting $$\bar{\delta } \nearrow \delta$$ and using the monotone convergence theorem gives

\begin{aligned} \liminf _{k \rightarrow \infty } \mathcal {R}_{\delta _k}(u_k) \geqslant \mathcal {R}_{\delta }(u). \end{aligned}

For the limsup inequality, consider $$u \in L^2(\Omega )$$ with $$\mathcal {R}_{\delta }(u) <\infty$$. Since $$\rho$$ is non-increasing by (H$$6_\delta$$), we may extend u to a function $$\bar{u} \in L^2(\mathbb {R}^n)$$ by reflection across the boundary of the Lipschitz domain $$\Omega$$ such that

\begin{aligned} \int _{\mathbb {R}^n}\int _{\mathbb {R}^n} \frac{|\bar{u}(x)-\bar{u}(y)|}{|x-y|}\rho \left( \frac{|x-y|}{\delta }\right) \textrm{d}x\, \textrm{d}y < \infty , \end{aligned}

cf. [12, Proof of Theorem 4]. With $$(\varphi _{\varepsilon })_{\varepsilon }$$ a family of smooth standard mollifiers, the sequence $$u_l:=\varphi _{1/l}*\bar{u}$$ for $$l \in \mathbb {N}$$ converges to u in $$L^2(\Omega )$$ as $$l \rightarrow \infty$$, and we may argue similarly to the proof of Lemma 4.5 to conclude that

\begin{aligned} \lim _{l \rightarrow \infty } \mathcal {R}_{\delta }(u_l) = \mathcal {R}_\delta (u). \end{aligned}

With $$\rho _{\delta }:=\delta ^{-n}\rho (|\cdot |/\delta )$$ and for a fixed $$l \in \mathbb {N}$$, we find that

\begin{aligned} |\mathcal {R}_{\delta }(u_l)-\mathcal {R}_{\delta _k}(u_l)|&\leqslant \int _{\Omega } \int _{\Omega } \frac{|u_l(x)-u_l(y)|}{|x-y|}|\rho _{\delta }(x-y)-\rho _{\delta _k}(x-y)|\,\textrm{d}x\, \textrm{d}y \\ {}&\leqslant \textrm{Lip}(u_l)|\Omega |\Vert \rho _{\delta }-\rho _{\delta _k}\Vert _{L^1(\mathbb {R}^n)}, \end{aligned}

where $$\textrm{Lip}(u_l)$$ is the Lipschitz constant of $$u_l$$. We have $$\rho _{\delta _k} \rightarrow \rho _{\delta }$$ in $$L^1(\mathbb {R}^n)$$ as $$k \rightarrow \infty$$ by a standard argument approximating $$\rho$$ with smooth functions. Hence, we obtain

\begin{aligned} \lim _{k \rightarrow \infty } \mathcal {R}_{\delta _k}(u_l)=\mathcal {R}_{\delta }(u_l), \end{aligned}

and, letting $$l \rightarrow \infty$$, results in

\begin{aligned} \lim _{l \rightarrow \infty } \lim _{k \rightarrow \infty } \mathcal {R}_{\delta _k}(u_l)=\mathcal {R}_{\delta }(u). \end{aligned}

The limsup inequality now follows by extracting an appropriate diagonal sequence.

Case 3: $$\delta = \infty$$. The only nontrivial case is the limsup inequality, for which we take a sequence $$(u_l)_l \subset C_c^{\infty }(\mathbb {R}^n)$$ that converges to u in $$L^2(\Omega )$$. Then, with R larger than the diameter of $$\Omega$$, one obtains for every $$l \in \mathbb {N}$$ that

\begin{aligned} \mathcal {R}_{\delta _k}(u_l)&=\frac{1}{\delta _k^n}\int _{\Omega }\int _{\Omega }\frac{|u_l(x)-u_l(y)|}{|x-y|}\rho \left( \frac{|x-y|}{\delta _k}\right) \textrm{d}x\, \textrm{d}y\\&\leqslant \textrm{Lip}(u_l)\int _{\Omega }\int _{\Omega /\delta _k}\rho \left( \Bigl |z-\frac{y}{\delta _k}\Bigr |\right) \textrm{d}z\, \textrm{d}y\leqslant \textrm{Lip}(u_l)\int _{\Omega }\int _{B_{\frac{R}{\delta _k}}(0)}\rho (|w|)\,\textrm{d}w\, \textrm{d}y. \end{aligned}

As $$k \rightarrow \infty$$, the last quantity goes to zero since $$\rho (|\cdot |) \in L^1(\mathbb {R}^n)$$. Therefore, we deduce that

\begin{aligned} \lim _{k \rightarrow \infty } \mathcal {R}_{\delta _k}(u_l)=0, \end{aligned}

and conclude again with a diagonal argument. $$\square$$

### 5.3 Conclusions and Examples

In both the Brezis & Nguyen and the Aubert & Kornprobst settings, we now find that the extension $${\overline{\mathcal {I}}}:[0,\infty ] \rightarrow [0,\infty ]$$ is given by

\begin{aligned} {\overline{\mathcal {I}}}(\delta ) = {\left\{ \begin{array}{ll} \mathcal {I}(\delta ) \qquad &{}\text {if }\delta \in (0,\infty ),\\ \Vert w^{(0)}-u^c\Vert _{L^2(\Omega ;\mathbb {R}^N)}^2 \qquad &{}\text {if }\delta = 0,\\ \Vert u^{\eta }-u^c\Vert ^2_{L^2(\Omega ;\mathbb {R}^N)} \qquad &{}\text {if }\delta = \infty , \end{array}\right. } \end{aligned}

where $$w^{(0)}_j$$ for $$j \in \{1,\ldots ,N\}$$ is the unique minimizer of the TV-reconstruction functional $${\overline{\mathcal {J}}}_{0,j}$$ (with different weight factors in the two cases). In particular, we deduce from Theorem 2.5 and Corollary 2.8 that $${\overline{\mathcal {I}}}$$ is the relaxation of $$\mathcal {I}$$ and that these extended upper-level functionals $${\overline{\mathcal {I}}}$$ admit minimizers $$\bar{\delta } \in [0,\infty ]$$. To get an intuition about when this optimal parameter is attained at the boundary or in the interior of $$\Lambda$$, we present the following examples.

### Example 5.6

a) For both settings analyzed in this section, it is clear that if the noisy and clean image coincide, $$u^{c} \equiv u^{\eta }$$, then the reconstruction model with parameter $$\delta = \infty$$ gives the exact clean image back. Hence, in this case the optimal parameter is attained at the boundary point $$\delta = \infty$$.

b) Next, we illustrate the case when the optimal parameter is attained at the boundary point $$\delta = 0$$. Consider the Aubert & Kornprobst setting in Sect. 5.2 and let $$\Omega = (-1,1)$$, $$N=1$$, $$u^{c}=0$$, and $$u^{\eta }(x) = \kappa _nx$$ for $$x\in (-1,1)$$. The reconstruction of $$u^{\eta }$$ with the total variation regularizer $$\mathcal {R}_0$$ in (2.10) is of the form

\begin{aligned} w^{(0)}= \max \{\theta _1, \min \{\theta _2, u^\eta \}\} \quad \text { for some }\theta _1,\theta _2 \in \mathbb {R}. \end{aligned}

To see this, we observe that $${\overline{\mathcal {J}}}_0({\tilde{u}})\leqslant {\overline{\mathcal {J}}}_{0}(u)$$ for any $$u \in BV(-1,1)$$ with

\begin{aligned} \tilde{u} = \max \{u^{-}, \min \{u^{+}, u^\eta \}\}, \end{aligned}

where $$u^{-}:= \mathrm {ess\,inf}_{x \in (-1,1)}u(x)$$ and $$u^{+}:= {{\,\mathrm{ess\,sup}\,}}_{x \in (-1,1)}u(x)$$. Indeed, the map $$\tilde{u}$$ has at most the same total variation as u and does not increase the distance to $$u^{\eta }$$ anywhere. Next, since $$u^\eta$$ is an odd function, the same should hold for the minimizer, meaning that $$-\theta _1=\theta _2=:\theta \in [0,\kappa _n]$$. We can now determine the value of $$\theta$$ by optimizing the quantity $${\overline{\mathcal {J}}}_{0}(w^{(0)})$$ in $$\theta$$. This boils down to minimizing

\begin{aligned} \frac{2}{3}\kappa _n^2\left( 1-\frac{\theta }{\kappa _n}\right) ^3 + 2\kappa _n\theta , \end{aligned}

and yields $$\theta = 0$$. Hence, the reconstruction model for $$\delta = 0$$ yields the exact clean image, so that $${\overline{\mathcal {I}}}(0)=0$$. The same conclusions can be drawn for the Brezis & Nguyen setting by replacing $$\kappa _n$$ in the example above with $$K(\varphi )$$.

c) Let us finally address the case when $${\overline{\mathcal {I}}}$$ becomes minimal inside $$\Lambda =(0,\infty )$$. We work once again with the Aubert & Kornprobst model from Sect. 5.2, and assume in addition to (H$$6_\delta$$) that the function $$\rho$$ is equal to 1 in a neighborhood of zero. We consider the following conditions on the pair of data points $$(u^c,u^{\eta }) \in L^2(\Omega ;\mathbb {R}^N)\times L^2(\Omega ;\mathbb {R}^N)$$:

(H$$7_\delta$$):

$$\Vert u^\eta -u^{c}\Vert _{L^2(\Omega ;\mathbb {R}^N)}^2 < \Vert w^{(0)}-u^c\Vert _{L^2(\Omega ;\mathbb {R}^N)}^2;$$

(H$$8_\delta$$):

$$\sum _{j=1}^N{\widetilde{\mathcal {R}}}(u^c_j)<\sum _{j=1}^{N}{\widetilde{\mathcal {R}}}(u^\eta _j);$$

here, $$w^{(0)}$$ is the componentwise minimizer of the TV-reconstruction functional $${\overline{\mathcal {J}}}_0$$ and we set

\begin{aligned} {\widetilde{\mathcal {R}}}(u):=\int _{\Omega }\int _{\Omega } \frac{|u(x)-u(y)|}{|x-y|} \,\textrm{d}x \,\textrm{d}y \quad \text {for } u\in L^2(\Omega ). \end{aligned}
(2.11)

The two hypotheses above can be realized, for example, by taking $$u^{\eta } =(1+\varepsilon )u^{c}$$ for some small $$\varepsilon >0$$ and $$w^{(0)}\not = u^c$$.

Notice that (H$$7_\delta$$) immediately rules out $$\delta =0$$ as an optimal candidate, since the reconstruction at $$\delta =\infty$$ is better. On the other hand, $$\rho$$ is supposed to be equal to 1 near the zero, so that we infer for large enough $$\delta$$ that

\begin{aligned} \mathcal {R}_{\delta }(u)=\frac{1}{\delta ^n}\int _{\Omega }\int _{\Omega }\frac{|u(x)-u(y)|}{|x-y|}\,\textrm{d}x\, \textrm{d}y = \frac{1}{\delta ^n}{\widetilde{\mathcal {R}}}(u) \end{aligned}
(2.12)

for all $$u \in L^2(\Omega )$$. Since, for large $$\delta$$, the dependence of the regularizer on $$\delta$$ is of the same type as the weight case from Sect. 3, we may apply Lemma 3.4 $$(\textrm{i})$$ in view of (H$$8_\delta$$). This yields, for all $$\delta$$ large enough, that

\begin{aligned} \Vert u^c-w^{(\delta )}\Vert ^2_{L^2(\Omega ;\mathbb {R}^N)} < \Vert u^c-u^\eta \Vert ^2_{L^2(\Omega ;\mathbb {R}^N)}, \end{aligned}

with $$w^{(\delta )}$$ the minimizer of $$\mathcal {J}_\delta$$. This shows that the optimal parameter is not attained at $$\delta =\infty$$ either and, as a result, needs to be attained inside $$\Lambda =(0,\infty )$$. Hence, the optimal regularizer lies within the class we started with.

The same conclusions can be drawn for the Brezis & Nguyen case described in Sect. 5.1 if we assume that $$\varphi (t) = ct^r$$ for small t with $$c>0$$ and $$r \geqslant 2$$. One may take, for instance, the normalized version of the second function in Example 5.1. We then suppose that the pair of data points $$(u^c, u^\eta )$$ satisfies (H$$7_\delta$$) and (H$$8_\delta$$), but now instead of (2.11), take

\begin{aligned} {\widetilde{\mathcal {R}}}(u):=c\int _{\Omega }\int _{\Omega } \frac{|u(x)-u(y)|^r}{|x-y|^{n+1}}\, \textrm{d}x\, \textrm{d}y\quad \text {for }u\in L^2(\Omega ). \end{aligned}

We observe with $$l=\Vert u^{\eta }\Vert _{L^{\infty }(\Omega ;\mathbb {R}^N)}$$ (which we assume to be finite) and $$T^l$$ the truncation as in the proof of Proposition 5.3 that

\begin{aligned} \mathcal {J}_{\delta }(T^l \circ u) \leqslant \mathcal {J}_{\delta }(u) \end{aligned}

for all $$u \in L^2(\Omega )$$ and $$\delta \in (0,\infty )$$. Therefore, we may restrict our analysis to functions $$u \in L^2(\Omega )$$ with $$|u(x)-u(y)| \leqslant 2\,l$$ for all $$x,y \in \Omega$$. By additionally considering $$\delta$$ large enough, we now find

\begin{aligned} \varphi \left( \frac{|u(x)-u(y)|}{\delta }\right) =c\,\frac{|u(x)-u(y)|^r}{\delta ^r}; \end{aligned}

hence,

\begin{aligned} \mathcal {R}_{\delta }(u) = \frac{c}{\delta ^{r-1}}\int _{\Omega }\int _{\Omega } \frac{|u(x)-u(y)|^r}{|x-y|^{n+1}} \,\textrm{d}x \, \textrm{d}y =\frac{1}{\delta ^{r-1}}{\widetilde{\mathcal {R}}}(u) \end{aligned}

in analogy to (2.12).

## 6 Tuning the Fractional Parameter

This final section revolves around regularization via the $$L^2$$-norm of the spectral fractional Laplacian of order s/2, with s in the parameter range $$\Lambda =(0,1)$$. Our aim here is twofold. First, we determine the Mosco-limits of the regularizers, which allows us to conclude in view of the general theory in Sect. 2 that the extended bi-level problem recovers local models at the boundary points of $${\overline{\Lambda }}=[0,1]$$. Second, we provide analytic conditions ensuring that the optimal parameter lies in the interior of (0, 1), and illustrate them with an explicit example.

The motivation behind the fractional Laplacian as a regularizer comes from [1], where the authors show that replacing the total variation in the classical ROF model [52] with a spectral fractional Laplacian can lead to comparable reconstruction results with a much smaller computational cost, if the order is chosen correctly. An abstract optimization of the fractional parameter for the spectral fractional Laplacian has already been undertaken in [6], although we remark that a convex penalization term is added there to the model to ensure that the optimal fractional parameter lies inside (0, 1).

We begin with the problem set-up. Let $$\Omega \subset \mathbb {R}^n$$ be a bounded Lipschitz domain and let $$(\psi _m)_{m \in \mathbb {N}} \subset H_0^1(\Omega )$$ be a sequence of eigenfunctions associated with the Laplace operator $$(-\Delta )$$ forming an orthonormal basis of $$L^2(\Omega )$$. With the corresponding eigenvalues $$0<\lambda _1 \leqslant \lambda _2\leqslant \lambda _3\leqslant \cdots \nearrow \infty$$, it holds for every $$m\in \mathbb {N}$$ that

\begin{aligned} {\left\{ \begin{array}{ll} (-\Delta )\psi _m = \lambda _m \psi _m \qquad &{}\text {in }\Omega ,\\ \psi _m = 0 \qquad &{}\text {on } \partial \Omega . \end{array}\right. } \end{aligned}
(2.1)

Denoting the projection of any $$u\in L^2(\Omega )$$ onto the mth eigenfunction $$\psi _m$$ by

\begin{aligned} {\hat{u}}_m:=\langle u,\psi _m \rangle _{L^2(\Omega )}, \end{aligned}

we have the representation $$u=\sum _{m=1}^\infty {\hat{u}}_m \psi _m$$.

With this at hand, one can define for $$s \in (0,1)$$ the fractional Sobolev spaces

\begin{aligned} \mathbb {H}^{ s }(\Omega ):=\Bigl \{u = \sum _{m=1}^{\infty }\hat{u}_m\psi _m \in L^2(\Omega ) \, : \, \sum _{m=1}^{\infty }\lambda _m^{ s }\hat{u}_m^2<\infty \Bigr \}, \end{aligned}

endowed with the inner product

\begin{aligned} \left\langle u,v \right\rangle _{\mathbb {H}^{ s }(\Omega )}:= \sum _{m=1}^{\infty }\lambda _m^{ s }\hat{u}_m \hat{v}_m. \end{aligned}

It holds that $$\mathbb {H}^s(\Omega )$$ is a Hilbert space for every $$s\in (0,1)$$; for more details on these spaces, we refer, e.g., to [18, 46]. In view of (2.1), the so-called spectral fractional Laplacian of order s/2 (with Dirichlet boundary conditions) on these spaces is defined as

\begin{aligned} (-\Delta _D)^{ s /2}:\mathbb {H}^{ s }(\Omega ) \rightarrow L^2(\Omega ), \quad (-\Delta _D)^{ s /2}u = \sum _{m=1}^{\infty }\lambda _{m}^{ s /2}\hat{u}_m\psi _m. \end{aligned}

For $$s \in (0,1)$$, we consider the regularizer

\begin{aligned} \mathcal {R}_{ s }: L^2(\Omega ) \rightarrow [0,\infty ], \quad \mathcal {R}_{ s }(u) = {\left\{ \begin{array}{ll} \mu \Vert (-\Delta _{D})^{ s /2}u\Vert _{L^2(\Omega )}^2 &{}\text {for }u \in \mathbb {H}^{ s }(\Omega ),\\ \infty &{}\text {otherwise}, \end{array}\right. } \end{aligned}
(2.2)

with some $$\mu >0$$. At the end of this section (see Remark 6.4), the weight parameter $$\mu$$ will be used to exhibit examples where structure preservation holds. The regularizers $$\mathcal {R}_{s}$$ coincide with $$\mu \Vert \cdot \Vert ^2_{\mathbb {H}^{ s }(\Omega )}$$ on $$\mathbb {H}^{ s }(\Omega )$$, and are $$L^2$$-weakly lower semicontinuous because $$u_k \rightharpoonup u$$ in $$L^2(\Omega )$$ yields

\begin{aligned} \liminf _{k \rightarrow \infty } \mathcal {R}_s(u_k)= \liminf _{k \rightarrow \infty }\mu \sum _{m=1}^{\infty }\lambda ^s_m\widehat{(u_k)}_m^2\geqslant \mu \sum _{m=1}^{\infty }\lambda ^s_m\widehat{u}_m^2=\mathcal {R}_s(u) \end{aligned}

by a discrete version of Fatou’s lemma. Therefore, the hypotheses in (H) from Sect. 2 are satisfied.

Next, we determine the Mosco-limits of the regularizers, and thereby, provide the basis for extending the upper-level functional according to Sect. 2.

### Proposition 6.1

(Mosco-convergence of the regularizers) Let $$\Lambda :=(0,1)$$ and $$\mathcal {R}_s$$ for each $$s \in \Lambda$$ be given by (2.2). Then, for $$u\in L^2(\Omega )$$ and $$s\in {\overline{\Lambda }}=[0,1]$$,

\begin{aligned} {\overline{\mathcal {R}}}_s(u)=\textrm{Mosc}(L^2)\text {-}\lim _{ s ' \rightarrow s } \mathcal {R}_{s'}(u)={\left\{ \begin{array}{ll} \mathcal {R}_{ s}(u) &{}\text {if} \ s \in (0,1),\\ \mu \Vert u\Vert ^2_{L^2(\Omega )}&{}\text {if} \ s =0,\\ \mu \Vert \nabla u\Vert ^2_{L^2(\Omega )} + \chi _{H^1_0(\Omega )}(u) &{}\text {if} \ s =1. \end{array}\right. } \end{aligned}
(2.3)

### Proof

Let us observe up front that for all $$u \in L^2(\Omega )$$,

\begin{aligned} \Vert u\Vert ^2_{L^2(\Omega )}=\sum _{m=1}^{\infty } \widehat{u}_m^2 \quad \text {and} \quad \Vert \nabla u\Vert ^2_{L^2(\Omega )} + \chi _{H^1_0(\Omega )}(u)=\sum _{m=1}^{\infty } \lambda _m\widehat{u}_m^2; \end{aligned}
(2.4)

indeed, the first formula is simply Parseval’s identity, while the second one is a consequence of $$\nabla u=\sum _{m=1}^\infty {\hat{u}}_m\nabla \psi _m$$ for $$u\in H_0^1(\Omega )$$ and the orthogonality in $$L^2(\Omega ;\mathbb {R}^n)$$ of the gradients $$(\nabla \psi _m)_m$$ with

\begin{aligned} \Vert \nabla \psi _m\Vert ^2_{L^2(\Omega ;\mathbb {R}^n)} =-\int _{\Omega } \psi _m\, \Delta \psi _m\,\textrm{d}{x}=\int _\Omega \lambda _m\psi _m^2\,\textrm{d}{x} =\lambda _m. \end{aligned}

Fixing a sequence $$( s _k)_k\subset (0,1)$$ with limit $$s \in [0,1]$$, we want to prove now that the Mosco-limit of $$(\mathcal {R}_{{ s_k }})_k$$ exists and is given by the right-hand side of (2.3).

Step 1: The liminf-inequality. Let $$u_k \rightharpoonup u$$ in $$L^2(\Omega )$$, and assume without loss of generality that $$\liminf _{k\rightarrow \infty }\mathcal {R}_{ s _k}(u_k)<\infty$$. Then, since $$\widehat{(u_k)}_m \rightarrow \widehat{u}_m$$ for each $$m \in \mathbb {N}$$ as $$k \rightarrow \infty$$, it follows from a discrete version of Fatou’s lemma that

\begin{aligned} \infty > \liminf _{k\rightarrow \infty }\mathcal {R}_{s_k}(u_k) = \liminf _{k \rightarrow \infty } \mu \sum _{m=1}^{\infty } \lambda _m^{s_k}\widehat{(u_k)}_m^2 \geqslant \mu \sum _{m=1}^{\infty } \lambda _m^s \widehat{u}_m^2. \end{aligned}

In light of (2.4) for the cases $$s\in \{0,1\}$$, the last quantity equals the regularizer on the right hand side of (2.3) in all the three regimes. This finishes the proof of the lower bound.

Step 2: Construction of a recovery sequence. We first consider the $$u\in H^1_0(\Omega )$$ case. By the regularity of $$u$$ and Lebesgue’s dominated converge theorem (applied to the counting measure) and by considering the constant recovery sequence $$u_k=u$$, we get

\begin{aligned} {\lim _{k \rightarrow \infty }\mathcal {R}_{ s _k}(u_k)=} \lim _{k \rightarrow \infty }\mathcal {R}_{ s _k}(u)=\lim _{k \rightarrow \infty }\mu \sum _{m=1}^{\infty } \lambda _m^{ s _k}\widehat{u}_m^2=\mu \sum _{m=1}^{\infty } \lambda _m^{ s }\widehat{u}_m^2{=\mathcal {R}_s(u)}, \end{aligned}

which concludes the proof for $$u\in H^1_0(\Omega )$$.

In the general case where $$u\in \mathbb {H}^{ s }(\Omega )$$, we consider the sequence $$(u_l)_l \subset H^1_0(\Omega )$$ defined by $$u_l:=\sum _{m=1}^l \hat{u}_m\psi _m$$ for every $$l\in \mathbb {N}$$. Then, by construction, $$u_l\rightarrow u$$ strongly in $$L^2(\Omega )$$ and

\begin{aligned} \lim _{l \rightarrow \infty } \sum _{m=1}^{\infty } \lambda _m^{s}\widehat{(u_l)}_m^2=\lim _{l \rightarrow \infty }\sum _{m=1}^l \lambda _m^s \widehat{u}_m^2=\sum _{m=1}^{\infty } \lambda _m^{s} \widehat{u}_m^2. \end{aligned}

The existence of a recovery sequence follows then by classical diagonalization arguments, using the previous case. $$\square$$

Given clean and noisy images, $$u^{c}$$, $$u^{\eta }\in L^2(\Omega ;\mathbb {R}^N)$$, we work with the reconstruction functionals

\begin{aligned}\mathcal {J}_{ s, j}:L^2(\mathbb {R}^n) \rightarrow [0,\infty ],\quad \mathcal {J}_{ s,j}(u)=\Vert u-u^{\eta }_j\Vert _{L^2(\Omega )}^2+\mathcal {R}_{ s }(u) \end{aligned}

for $$s\in (0,1)$$ and $$j\in \{1, \ldots , N\}$$. Recalling ($$\mathcal {T}$$) and ($${\overline{\mathcal {T}}}$$), we obtain as a consequence of Proposition 6.1 that the extension of the upper-level functional $$\mathcal {I}$$ to $${\overline{\Lambda }}$$ is given by

\begin{aligned} {\overline{\mathcal {I}}}:[0,1] \rightarrow [0,\infty ], \qquad {\overline{\mathcal {I}}}( s ) = \Vert w^{(s)} - u^{c}\Vert _{L^2(\Omega ;\mathbb {R}^N)}^2; \end{aligned}

here, $$w^{(s)}=(w^{(s)}_1, \ldots , w^{(s)}_N)$$ with $$w^{(s)}_j$$ the unique minimizer of the strictly convex functional

\begin{aligned} {\overline{\mathcal {J}}}_{ s ,j}(u)=\Vert u-u^{\eta }_j\Vert _{L^2(\Omega )}^2+{\overline{\mathcal {R}}}_{ s }(u) =\sum _{m=1}^{\infty } (\hat{u}_m-\widehat{(u^{\eta }_j)}_m)^2+\mu \lambda _m^{ s }\hat{u}_m^2. \end{aligned}
(2.5)

By Theorem 2.5, $${\overline{\mathcal {I}}}$$ is then the relaxation of $$\mathcal {I}$$ and has a minimizer in $${\overline{\Lambda }}=[0,1]$$.

We now continue by exhibiting conditions under which the minimum of $${\overline{\mathcal {I}}}$$ is attained inside (0, 1). This is based on a direct approach, observing that the components of $$w^{(s)}$$ can be determined explicitly by minimizing the entries of the sum in (2.5) individually. This gives the representation

\begin{aligned} w^{(s)}_j = \sum _{m=1}^{\infty } \frac{1}{1+\mu \lambda _m^{ s }}\widehat{(u^{\eta }_j)}_m\psi _m\qquad \text {for }j\in \{1, \ldots , N\}. \end{aligned}
(2.6)

The following lemma investigates how $$w^{(s)}$$ varies with s. In the $$s>0$$ case, this lemma is essentially contained in [6, Theorem 2] (i.e., in a slightly different setting with periodic instead of Dirichlet boundary conditions). The proof below contains some additional details for the reader’s convenience.

### Lemma 6.2

Assume that $$u^\eta \in \mathbb {H}^{\varepsilon }(\Omega ;\mathbb {R}^N)$$ for some $$\varepsilon \in (0,1)$$. Then, the map $$[0,1]\mapsto L^2(\Omega ;\mathbb {R}^N),\ s\mapsto w^{(s)}$$ is Fréchet-differentiable with derivative

\begin{aligned} \partial _s w^{(s)}=-\sum _{m=1}^{\infty } \frac{\mu \log (\lambda _m)\lambda _m^{ s }}{(1+\mu \lambda _m^{ s })^2} {\widehat{u^{\eta }}}_m\psi _m. \end{aligned}
(2.7)

### Proof

For $$j\in \{1, \ldots , N\}$$, we set

\begin{aligned} v_j:=-\sum _{m=1}^{\infty } \frac{\mu \log (\lambda _m)\lambda _m^{ s }}{(1+\mu \lambda _m^{ s })^2}\widehat{(u^{\eta }_j)}_m\psi _m, \end{aligned}

which is a well-defined element of $$L^2(\Omega )$$ for all $$s \in [0,1]$$ because $$u^{\eta }_j \in \mathbb {H}^{\varepsilon }(\Omega )$$. Since

\begin{aligned} \frac{w^{(\beta )}_j - w^{(s)}_j}{t - s } = \sum _{m=1}^{\infty }\frac{1}{t- s }\left( \frac{1}{1+\mu \lambda ^{t}_m}-\frac{1}{1+\mu \lambda ^{ s }_m}\right) \widehat{(u^{\eta }_j)}_m\psi _m, \quad s, t\in [0,1], \end{aligned}

in view of (2.6), we can apply the mean value theorem to obtain, for each $$m\in \mathbb {N}$$, a value $$\gamma$$ in between s and t such that

\begin{aligned} \biggl |\frac{1}{t- s }\left( \frac{1}{1+\mu \lambda ^{t}_m}-\frac{1}{1+\mu \lambda ^{ s }_m}\right) \biggr | \leqslant \biggl |\frac{\mu \log (\lambda _m)\lambda _m^{\gamma }}{(1+\mu \lambda _m^{\gamma })^2}\biggr |\leqslant |\log (\lambda _m)|. \end{aligned}

Exploiting once again that $$u^\eta _j\in \mathbb {H}^{\varepsilon }(\Omega )$$ gives

\begin{aligned} \biggl \Vert \frac{w^{(\beta )}_j - w^{(s)}_j}{t - s }-v_j\biggr \Vert _{L^{2}(\Omega )}^2&=\sum _{m=1}^{\infty }\biggl |\frac{1}{t- s }\left( \frac{1}{1+\mu \lambda ^{t}_m}-\frac{1}{1+\mu \lambda ^{ s }_m}\right) +\frac{\mu \log (\lambda _m)\lambda _m^{ s }}{(1+\mu \lambda _m^{ s })^2}\biggr |^2\widehat{(u^{\eta }_j)}_m^2\\&\leqslant \sum _{m=1}^{\infty }|\log (\lambda _m)|^2\widehat{(u^{\eta }_j)}_m^2 <\infty . \end{aligned}

In particular, we may take the limit $$t\rightarrow s$$ on the left-hand side of the preceding estimate and interchange with the sum to show the claim. $$\square$$

It follows as a consequence of Lemma 6.2 that the upper level function $${\overline{\mathcal {I}}}:[0,1]\rightarrow [0,\infty ]$$ is differentiable with derivative

\begin{aligned} {\overline{\mathcal {I}}}'(s) = 2\left\langle \partial _s w^{(s)}, w^{(s)}-u^{c}\right\rangle _{L^2(\Omega ;\mathbb {R}^N)} \end{aligned}

for $$s\in [0,1]$$; at the boundary points $$s=0$$ and $$s=1$$, $${\overline{\mathcal {I}}}'(s)$$ stands for the one-sided derivative. Plugging in the identities (2.7) and (2.6) in the inner product and using that the family $$(\psi _m)_m$$ is orthonormal yields

\begin{aligned} {\overline{\mathcal {I}}}'(s)=-2\sum _{j=1}^N\sum _{m=1}^{\infty }\frac{\mu \log (\lambda _m)\lambda _m^s}{(1+\mu \lambda _m^s)^2}\widehat{(u^{\eta }_j)}_m\left( \frac{1}{1+\mu \lambda _m^s}\widehat{(u^{\eta }_j)}_m-\widehat{(u^{c}_j)}_m\right) , \end{aligned}
(2.8)

for $$s \in [0,1]$$. Observe that the simple conditions

\begin{aligned} {\overline{\mathcal {I}}}'(0) < 0 \quad \text {and} \quad {\overline{\mathcal {I}}}'(1) > 0, \end{aligned}

imply that $${\overline{\mathcal {I}}}$$ does not attain its minimizer at $$s =0$$ or at $$s = 1$$, respectively. After taking $$s=0$$ and $$s=1$$ in (2.8) and simplifying, these requirements can be written as follows:

(H$$1_s$$):

$$\displaystyle \sum _{j=1}^N\sum _{m=1}^{\infty }\log (\lambda _m)\widehat{(u^{\eta }_j)}_m\left( \widehat{(u^{\eta }_j)}_m-(1+\mu )\widehat{(u^{c}_j)}_m\right) >0;$$

(H$$2_s$$):

$$\displaystyle \sum _{j=1}^N\sum _{m=1}^{\infty }\frac{\log (\lambda _m)\lambda _m}{(1+\mu \lambda _m)^3}\widehat{(u^{\eta }_j)}_m\left( \widehat{(u^{\eta }_j)}_m-(1+\mu \lambda _m)\widehat{(u^{c}_j)}_m\right) <0.$$

Since (H$$1_s$$) guarantees that the minimizer of $${\overline{\mathcal {I}}}$$ is not $$s =0$$ and (H$$2_s$$) ensures the minimizer to be different from $$s =1$$, Corollary 2.8 $$(\textrm{iii})$$ yields the following result.

### Corollary 6.3

Suppose that $$u^{\eta }\in \mathbb {H}^{\varepsilon }(\Omega ;\mathbb {R}^N)$$ for some $$\varepsilon \in (0,1)$$, and that assumptions (H$$1_s$$) and (H$$2_s$$) are satisfied. Then, $$\mathcal {I}$$ admits a minimizer $$\bar{ s } \in (0,1)$$.

We close this section with an interpretation of the conditions (H$$1_s$$) and (H$$2_s$$), and a specific example in which they are both satisfied.

### Remark 6.4

a) Suppose that $$N=1$$. Decomposing the noisy image into the sum of the clean image and the noise, i.e., $$u^{\eta }= u^{c}+\eta$$, turns (H$$1_s$$) and (H$$2_s$$) into

\begin{aligned} {\left\{ \begin{array}{ll} \displaystyle \sum _{m=1}^{\infty }\log (\lambda _m)\left( -\mu {\widehat{u^{c}}}_m^2 + (1-\mu ){\widehat{u^{c}}}_m{\widehat{\eta }}_m+{\widehat{\eta }}_m^2\right) >0,\\ \displaystyle \sum _{m=1}^{\infty }\frac{\log (\lambda _m)\lambda _m}{(1+\mu \lambda _m)^3}\left( -\mu \lambda _m {\widehat{u^{c}}}_m^2 + (1-\mu \lambda _m){\widehat{u^{c}}}_m{\widehat{\eta }}_m+{\widehat{\eta }}_m^2\right) <0. \end{array}\right. } \end{aligned}
(2.9)

If we assume that the noise has mostly high frequencies and that the clean image has mostly moderate frequencies, then the mixed terms in (2.9) will be small. The first condition is then close to

\begin{aligned} -\mu \sum _{m=1}^{\infty }\log (\lambda _m){\widehat{u^{c}}}_m^2 + \sum _{m=1}^{\infty }\log (\lambda _m){\widehat{\eta }}_m^2 >0, \end{aligned}

which holds for sufficiently small $$\mu$$. Similarly, for sufficiently large $$\mu$$, the second condition is satisfied. As we analyse in b) below, there are instances where we can find a range for $$\mu$$ that implies both conditions.

b) In the case where $$\Omega = (0,\pi )^2$$, by indexing the eigenfunctions via $$m = (m_1,m_2) \in \mathbb {N}^2$$, we find

\begin{aligned} \psi _{m}(x) = \sin (m_1x_1)\sin (m_2x_2) \end{aligned}

with corresponding eigenvalues $$\lambda _m = m_1^2 + m_2^2$$. By choosing $$u^c = \psi _{(1,1)}$$ as the clean image and $$\eta = \frac{1}{10}\psi _{(10,10)}$$ as the noise, the condition (2.9) turns into

\begin{aligned} {\left\{ \begin{array}{ll} -100 \,\mu \log (2)+\log (200) >0,\\ \displaystyle -\mu \frac{4\log (2)}{(1+2\mu )^3}+\frac{2\log (200)}{(1+200\mu )^3}<0, \end{array}\right. } \end{aligned}

which is satisfied for

\begin{aligned} 0.0236 \approx \mu _{-}< \mu < \mu _{+} \approx 0.0764. \end{aligned}

On the other hand, when $$\mu = 0.023$$, then $$s = 1$$ is optimal, while the optimal solution for $$\mu = 0.11$$ is $$s = 0$$. This can be seen numerically as for these values of $$\mu$$, the derivative $${\overline{\mathcal {I}}}'$$ is either negative or positive on [0, 1], respectively.