Showing 1–46 of 46 results for author: Reyes, J

Verifiability and Limit Consistency of Eddy Viscosity Large Eddy Simulation Reduced Order Models

Authors: Jorge Reyes, Ping-Hsuan Tsai, Ian Moore, Honghu Liu, Traian Iliescu

Abstract: Large eddy simulation reduced order models (LES-ROMs) are ROMs that leverage LES ideas (e.g., filtering and closure modeling) to construct accurate and efficient ROMs for convection-dominated (e.g., turbulent) flows. Eddy viscosity (EV) ROMs (e.g., Smagorinsky ROM (S-ROM)) are LES-ROMs whose closure model consists of a diffusion-like operator in which the viscosity depends on the ROM velocity. We… ▽ More Large eddy simulation reduced order models (LES-ROMs) are ROMs that leverage LES ideas (e.g., filtering and closure modeling) to construct accurate and efficient ROMs for convection-dominated (e.g., turbulent) flows. Eddy viscosity (EV) ROMs (e.g., Smagorinsky ROM (S-ROM)) are LES-ROMs whose closure model consists of a diffusion-like operator in which the viscosity depends on the ROM velocity. We propose the Ladyzhenskaya ROM (L-ROM), which is a generalization of the S-ROM. Furthermore, we prove two fundamental numerical analysis results for the new L-ROM and the classical S-ROM: (i) We prove the verifiability of the L-ROM and S-ROM, i.e, that the ROM error is bounded (up to a constant) by the ROM closure error. (ii) We introduce the concept of ROM limit consistency (in a discrete sense), and prove that the L-ROM and S-ROM are limit consistent, i.e., that as the ROM dimension approaches the rank of the snapshot matrix, $d$, and the ROM lengthscale goes to zero, the ROM solution converges to the \emph{``true solution"}, i.e., the solution of the $d$-dimensional ROM. Finally, we illustrate numerically the verifiability and limit consistency of the new L-ROM and S-ROM in two under-resolved convection-dominated problems that display sharp gradients: (i) the 1D Burgers equation with a small diffusion coefficient; and (ii) the 2D lid-driven cavity flow at Reynolds number $Re=15,000$. △ Less

Submitted 23 May, 2025; originally announced May 2025.

MSC Class: 65M15; 65M60; 76D05; 76F65

Bouligand Analysis and Discrete Optimal Control of Total Variation-Based Variational Inequalities

Authors: Juan Carlos De Los Reyes

Abstract: We investigate differentiability and subdifferentiability properties of the solution mapping associated with variational inequalities (VI) of the second kind involving the discrete total-variation. Bouligand differentiability of the solution operator is established via a direct quotient analysis applied to a primal-dual reformulation of the VI. By exploiting the structure of the directional deriva… ▽ More We investigate differentiability and subdifferentiability properties of the solution mapping associated with variational inequalities (VI) of the second kind involving the discrete total-variation. Bouligand differentiability of the solution operator is established via a direct quotient analysis applied to a primal-dual reformulation of the VI. By exploiting the structure of the directional derivative and introducing a suitable subspace, we fully characterize the Bouligand subdifferential of the solution mapping. We then derive optimality conditions characterizing Bouligand-stationary and strongly-stationary points for discrete VI-constrained optimal control problems. A trust-region algorithm for solving these control problems is proposed based on the obtained characterizations, and a numerical experiment is presented to illustrate the main properties of both the solution and the proposed algorithm. △ Less

Submitted 12 April, 2025; originally announced April 2025.

MSC Class: 49J40; 49K20; 49M29; 49J52; 90C33

A Priori Error Bounds and Parameter Scalings for the Time Relaxation Reduced Order Model

Authors: Jorge Reyes, Ping-Hsuan Tsai, Julia Novo, Traian Iliescu

Abstract: The a priori error analysis of reduced order models (ROMs) for fluids is relatively scarce. In this paper, we take a step in this direction and conduct numerical analysis of the recently introduced time relaxation ROM (TR-ROM), which uses spatial filtering to stabilize ROMs for convection-dominated flows. Specifically, we prove stability, an a priori error bound, and parameter scalings for the TR-… ▽ More The a priori error analysis of reduced order models (ROMs) for fluids is relatively scarce. In this paper, we take a step in this direction and conduct numerical analysis of the recently introduced time relaxation ROM (TR-ROM), which uses spatial filtering to stabilize ROMs for convection-dominated flows. Specifically, we prove stability, an a priori error bound, and parameter scalings for the TR-ROM. Our numerical investigation shows that the theoretical convergence rate and the parameter scalings with respect to ROM dimension and filter radius are recovered numerically. In addition, the parameter scaling can be used to extrapolate the time relaxation parameter to other ROM dimensions and filter radii. Moreover, the parameter scaling with respect to filter radius is also observed in the predictive regime. △ Less

Submitted 13 November, 2024; originally announced November 2024.

MSC Class: 65M12; 65M15; 65M60; 65M70; 76D05; 76F99

Reduction Procedure for obtaining solutions of the scalar additive Jump problem and Riemann Boundary Value Problem in vectorial Clifford analysis

Authors: Carlos Daniel Tamayo Castro, Juan Bory Reyes, Ricardo Abreu Blaya

Abstract: In this paper, we study the existence of solutions to the scalar additive Jump problem and the Riemann boundary value problems in the context of vectorial Clifford analysis on domains with fractal boundaries. A reduction procedure is applied with great effectiveness to find the solution of the problems. In this paper, we study the existence of solutions to the scalar additive Jump problem and the Riemann boundary value problems in the context of vectorial Clifford analysis on domains with fractal boundaries. A reduction procedure is applied with great effectiveness to find the solution of the problems. △ Less

Submitted 21 December, 2023; originally announced December 2023.

MSC Class: Primary: 30G35; 28A80; Secondary: 30G30; 30E25

An exotic 5RP^2 in the 4-sphere

Authors: Gordana Matić, Ferit Öztürk, Javier Reyes, András I. Stipsicz, Giancarlo Urzúa

Abstract: We show an example of an embedded copy of 5RP^2 in the four-sphere which is topologically standard but smoothly knotted, i.e. smoothly not isotopic to the standard embedding. We show an example of an embedded copy of 5RP^2 in the four-sphere which is topologically standard but smoothly knotted, i.e. smoothly not isotopic to the standard embedding. △ Less

Submitted 24 June, 2024; v1 submitted 6 December, 2023; originally announced December 2023.

Comments: 18 pages, 3 figures. Mistake in the construction from previous version has been fixed, two new authors have been added

Magnetic Schrödinger operator with the potential supported in a curved two-dimensional strip

Authors: Juan Bory Reyes, Baruch Schneider, Diana Schneiderova

Abstract: We consider the magnetic Schrödinger operator $H=(i \nabla +A)^2- V$ with a non-negative potential $V$ supported over a strip which is a local deformation of a straight one, and the magnetic field $B:=\mathrm{rot}(A)$ is assumed to be nonzero and local. We show that the magnetic field does not change the essential spectrum of this system, and investigate a sufficient condition for the discrete spe… ▽ More We consider the magnetic Schrödinger operator $H=(i \nabla +A)^2- V$ with a non-negative potential $V$ supported over a strip which is a local deformation of a straight one, and the magnetic field $B:=\mathrm{rot}(A)$ is assumed to be nonzero and local. We show that the magnetic field does not change the essential spectrum of this system, and investigate a sufficient condition for the discrete spectrum of $H$ to be empty. △ Less

Submitted 27 August, 2023; originally announced August 2023.

A higher Dimensional Marcinkiewicz Exponent and the Riemann Boundary Value Problems for Polymonogenic Functions on Fractals Domains

Authors: Carlos Daniel Tamayo Castro, Juan Bory Reyes

Abstract: We use a high-dimensional version of the Marcinkiewicz exponent, a metric characteristic for non-rectifiable plane curves, to present a direct application to the solution of some kind of Riemann boundary value problems on fractal domains of Euclidean space $\mathbb{R}^{n+1}, n\geq2$ for Clifford algebra-valued polymonogenic functions with boundary data in classes of higher order Lipschitz function… ▽ More We use a high-dimensional version of the Marcinkiewicz exponent, a metric characteristic for non-rectifiable plane curves, to present a direct application to the solution of some kind of Riemann boundary value problems on fractal domains of Euclidean space $\mathbb{R}^{n+1}, n\geq2$ for Clifford algebra-valued polymonogenic functions with boundary data in classes of higher order Lipschitz functions. Sufficient conditions to guarantee the existence and uniqueness of solution to the problems are proved. To illustrate the delicate nature of this theory we described a class of hypersurfaces where the results are more refined than those that exist in literature. △ Less

Submitted 26 July, 2023; originally announced July 2023.

MSC Class: Primary 30G35; 28A80; Secondary 30E20; 30G30

On the Notion of a Function of Bounded Variation and of Riemann-Stieltjes Integral with Strong Partitions on Hyperbolic Intervals

Authors: Gamaliel Tellez-Sanchez, Juan Bory Reyes

Abstract: In this paper we provided a classification for partitions of intervals on the hyperbolic plane. Given a partition, to be named strong, we define a notion of a hyperbolic-valued functions of bounded variation and a kind of Riemann-Stieltjes integral. A condition relating to both concepts appears to be natural for the existence of the integral, as it occurs in real analysis. In this paper we provided a classification for partitions of intervals on the hyperbolic plane. Given a partition, to be named strong, we define a notion of a hyperbolic-valued functions of bounded variation and a kind of Riemann-Stieltjes integral. A condition relating to both concepts appears to be natural for the existence of the integral, as it occurs in real analysis. △ Less

Submitted 13 March, 2023; originally announced March 2023.

Comments: arXiv admin note: text overlap with arXiv:2111.14019

Journal ref: Bol. Soc. Mat. Mex. 31, 10 (2025)

Analysis of Four-Dimensional Variational Data Assimilation Problems in Low Regularity Spaces

Authors: Paula Castro, Juan Carlos De los Reyes, Ira Neitzel

Abstract: We carry out a rigorous analysis of four-dimensional variational data assimilation ($4D$-VAR) problems for linear and semilinear parabolic partial differential equations. Continuity of the state with respect to the spatial variable is required since pointwise observations of the state variable appear in the cost functional. Using maximal parabolic regularity tools, we prove this regularity for ini… ▽ More We carry out a rigorous analysis of four-dimensional variational data assimilation ($4D$-VAR) problems for linear and semilinear parabolic partial differential equations. Continuity of the state with respect to the spatial variable is required since pointwise observations of the state variable appear in the cost functional. Using maximal parabolic regularity tools, we prove this regularity for initial conditions with $L^β$-regularity guaranteed by control constraints, rather than Sobolev regularity of the controls ensured by artificial cost terms. We obtain existence of optimal controls and first order necessary optimality conditions for both the convex and nonconvex problem with spatial dimension $d=2,3$, as well as second order sufficient optimality conditions for the nonconvex problem for $d=2$. △ Less

Submitted 28 May, 2025; v1 submitted 1 March, 2023; originally announced March 2023.

MSC Class: 49J20; 49K20

Exotic surfaces

Authors: Javier Reyes, Giancarlo Urzúa

Abstract: We construct the first exotic $\mathbb C \mathbb P^2 \# 4 \overline{\mathbb C \mathbb P^2}$ by means of rational blowdowns. Similarly, we construct the first exotic $3\mathbb C \mathbb P^2 \# b^- \overline{\mathbb C \mathbb P^2}$ for $b^-=9,8,7$ . All of them are minimal and symplectic, as they are produced from projective surfaces $W$ with Wahl singularities, and $K_W$ big and nef. In more genera… ▽ More We construct the first exotic $\mathbb C \mathbb P^2 \# 4 \overline{\mathbb C \mathbb P^2}$ by means of rational blowdowns. Similarly, we construct the first exotic $3\mathbb C \mathbb P^2 \# b^- \overline{\mathbb C \mathbb P^2}$ for $b^-=9,8,7$ . All of them are minimal and symplectic, as they are produced from projective surfaces $W$ with Wahl singularities, and $K_W$ big and nef. In more generality, we elaborate on the problem of finding exotic $(2χ(\mathcal{O}_W)-1) \mathbb C \mathbb P^2 \# (10χ(\mathcal{O}_W)-K^2_W-1) \overline{\mathbb C \mathbb P^2}$ from these Kollár--Shepherd-Barron--Alexeev surfaces $W$, obtaining explicit geometric obstructions. △ Less

Submitted 23 November, 2022; originally announced November 2022.

Mathematical modelling of adjuvant-enhanced active ingredient leaf uptake of pesticides

Authors: J. Delos Reyes, T. Shardlow, M. B. Delgado-Charro, S. Webb, K. A. J. White

Abstract: The global importance of effective and affordable pesticides to optimise crop yield and to support health of our growing population cannot be understated. But to develop new products or refine existing ones in response to climate and environmental changes is both time-intensive and expensive which is why the agrochemical industry is increasingly interested in using mechanistic models as part of th… ▽ More The global importance of effective and affordable pesticides to optimise crop yield and to support health of our growing population cannot be understated. But to develop new products or refine existing ones in response to climate and environmental changes is both time-intensive and expensive which is why the agrochemical industry is increasingly interested in using mechanistic models as part of their formulation development toolbox. In this work, we develop such a model to describe uptake of pesticide spray droplets across the leaf surface. We simplify the leaf structure by identifying the outer cuticle as the main barrier to uptake; the result is a novel, hybrid model in which two well-mixed compartments are separated by a membrane in which we describe the spatio-temporal distribution of the pesticide. This leads to a boundary value partial differential equation problem coupled to a pair of ordinary differential equation systems which we solve numerically. We also simplify the pesticide formulation into two key components: the Active Ingredient which produces the desired effect of the pesticide and an Adjuvant which is present in the formulation to facilitate effective absorption of the Active Ingredient into the leaf. This approach gives rise to concentration-dependent diffusion. We take an intuitive approach to parameter estimation using a small experimental data set and subsequently demonstrate the importance of the concentration-dependent diffusion in replicating the data. Finally, we demonstrate the need for further work to identify how the physicochemical properties of pesticides affect flow into and across the leaf surface. △ Less

Submitted 20 October, 2022; originally announced October 2022.

MSC Class: 9210; 92F05

Bergman theory for the inhomogeneous Cimmino system

Authors: José Oscar González Cervantes, Dante Arroyo Sánchez, Juan Bory Reyes

Abstract: We first prove a Cauchy's integral theorem and Cauchy type formula for certain inhomogeneous Cimmino system from quaternionic analysis perspective. The second part of the paper directs the attention towards some applications of the mentioned results, dealing in particular with four kinds of weighted Bergman spaces, reproducing kernels, projection and conformal invariant properties. We first prove a Cauchy's integral theorem and Cauchy type formula for certain inhomogeneous Cimmino system from quaternionic analysis perspective. The second part of the paper directs the attention towards some applications of the mentioned results, dealing in particular with four kinds of weighted Bergman spaces, reproducing kernels, projection and conformal invariant properties. △ Less

Submitted 9 July, 2022; originally announced July 2022.

MSC Class: 30E20; 30G35; 32A25; 32A36; 47B32

Journal ref: J. Math. Anal. Appl.2022

Improved long time accuracy for projection methods for Navier-Stokes equations using EMAC formulation

Authors: Sean Ingimarson, Monika Neda, Leo Rebholz, Jorge Reyes, An Vu

Abstract: We consider a pressure correction temporal discretization for the incompressible Navier-Stokes equations in EMAC form. We prove stability and error estimates for the case of mixed finite element spatial discretization, and in particular that the Gronwall constant's exponential dependence on the Reynolds number is removed (for sufficiently smooth true solutions) or at least significantly reduced co… ▽ More We consider a pressure correction temporal discretization for the incompressible Navier-Stokes equations in EMAC form. We prove stability and error estimates for the case of mixed finite element spatial discretization, and in particular that the Gronwall constant's exponential dependence on the Reynolds number is removed (for sufficiently smooth true solutions) or at least significantly reduced compared to the commonly used skew-symmetric formulation. We also show the method preserves momentum and angular momentum, and while it does not preserve energy it does admit an energy inequality. Several numerical tests show the advantages EMAC can have over other commonly used formulations of the nonlinearity. Additionally, we discuss extensions of the results to the usual Crank-Nicolson temporal discretization. △ Less

Submitted 6 September, 2022; v1 submitted 10 May, 2022; originally announced May 2022.

Optimal control of a nonsmooth PDE arising in the modeling of shear-thickening fluids

Authors: Juan Carlos De los Reyes, Paola Quiloango

Abstract: This paper focuses on the analysis of an optimal control problem governed by a nonsmooth quasilinear partial differential equation that models a stationary incompressible shear-thickening fluid. We start by studying the directional differentiability of the non-smooth term within the state equation as a prior step to demonstrate the directional differentiability of the solution operator. Thereafter… ▽ More This paper focuses on the analysis of an optimal control problem governed by a nonsmooth quasilinear partial differential equation that models a stationary incompressible shear-thickening fluid. We start by studying the directional differentiability of the non-smooth term within the state equation as a prior step to demonstrate the directional differentiability of the solution operator. Thereafter, we establish a primal first order necessary optimality condition (Bouligand (B) stationarity), which is derived from the directional differentiability of the solution operator. By using a local regularization of the nonsmooth term and carrying out an asymptotic analysis thereafter, we rigourously derive a weak stationarity system for local minima. By combining the B- and weak stationarity conditions, and using the regularity of the Lagrange multiplier, we are able to obtain a strong stationarity system that includes an inequality for the scalar product between the symmetrized gradient of the state and the Lagrange multiplier. △ Less

Submitted 5 March, 2023; v1 submitted 6 March, 2022; originally announced March 2022.

MSC Class: 49J20; 49K20; 90C46

Rational configurations in K3 surfaces and simply-connected $p_g=1$ surfaces for $K^2=1,2,3,4,5,6,7,8,9$

Authors: Javier Reyes, Giancarlo Urzúa

Abstract: We prove the existence of $(20-2K^2)$-dimensional families of simply-connected surfaces with ample canonical class, $p_g=1$, and $1 \leq K^2 \leq 9$, and we study the relation with configurations of rational curves in K3 surfaces via $\mathbb Q$-Gorenstein smoothings. Our surfaces with $K^2=7$ and $K^2=9$ are the first surfaces known in the literature, together with the existence of a $4$-dimensio… ▽ More We prove the existence of $(20-2K^2)$-dimensional families of simply-connected surfaces with ample canonical class, $p_g=1$, and $1 \leq K^2 \leq 9$, and we study the relation with configurations of rational curves in K3 surfaces via $\mathbb Q$-Gorenstein smoothings. Our surfaces with $K^2=7$ and $K^2=9$ are the first surfaces known in the literature, together with the existence of a $4$-dimensional family for $K^2=8$. △ Less

Submitted 20 October, 2021; originally announced October 2021.

Bilevel Imaging Learning Problems as Mathematical Programs with Complementarity Constraints: Reformulation and Theory

Authors: Juan Carlos De los Reyes

Abstract: We investigate a family of bilevel imaging learning problems where the lower-level instance corresponds to a convex variational model involving first- and second-order nonsmooth sparsity-based regularizers. By using geometric properties of the primal-dual reformulation of the lower-level problem and introducing suitable auxiliar variables, we are able to reformulate the original bilevel problems a… ▽ More We investigate a family of bilevel imaging learning problems where the lower-level instance corresponds to a convex variational model involving first- and second-order nonsmooth sparsity-based regularizers. By using geometric properties of the primal-dual reformulation of the lower-level problem and introducing suitable auxiliar variables, we are able to reformulate the original bilevel problems as Mathematical Programs with Complementarity Constraints (MPCC). For the latter, we prove tight constraint qualification conditions (MPCC-RCPLD and partial MPCC-LICQ) and derive Mordukhovich (M-) and Strong (S-) stationarity conditions. The stationarity systems for the MPCC turn also into stationarity conditions for the original formulation. Second-order sufficient optimality conditions are derived as well, together with a local uniqueness result for stationary points. The proposed reformulation may be extended to problems in function spaces, leading to MPCC's with constraints on the gradient of the state. The MPCC reformulation also leads to the efficient use of available large-scale nonlinear programming solvers, as shown in a companion paper, where different imaging applications are studied. △ Less

Submitted 20 March, 2023; v1 submitted 5 October, 2021; originally announced October 2021.

MSC Class: 49K99; 90C33; 68U10; 68T99; 65K10

Optimality Conditions for Bilevel Imaging Learning Problems with Total Variation Regularization

Authors: Juan Carlos De los Reyes, David Villacís

Abstract: We address the problem of optimal scale-dependent parameter learning in total variation image denoising. Such problems are formulated as bilevel optimization instances with total variation denoising problems as lower-level constraints. For the bilevel problem, we are able to derive M-stationarity conditions, after characterizing the corresponding Mordukhovich generalized normal cone and verifying… ▽ More We address the problem of optimal scale-dependent parameter learning in total variation image denoising. Such problems are formulated as bilevel optimization instances with total variation denoising problems as lower-level constraints. For the bilevel problem, we are able to derive M-stationarity conditions, after characterizing the corresponding Mordukhovich generalized normal cone and verifying suitable constraint qualification conditions. We also derive B-stationarity conditions, after investigating the Lipschitz continuity and directional differentiability of the lower-level solution operator. A characterization of the Bouligand subdifferential of the solution mapping, by means of a properly defined linear system, is provided as well. Based on this characterization, we propose a two-phase non-smooth trust-region algorithm for the numerical solution of the bilevel problem and test it computationally for two particular experimental settings. △ Less

Submitted 16 July, 2021; originally announced July 2021.

Comments: 33 pages, 9 figures, 4 tables

MSC Class: 49K99; 90C33; 68U10; 68T99; 65K10

One weight inequality for Bergman projection and Calderón operator induced by radial weight

Authors: Francisco J. Martín Reyes, Pedro Ortega, José Ángel Peláez, Jouni Rättyä

Abstract: Let $ω$ and $ν$ be radial weights on the unit disc of the complex plane such that $ω$ admits the doubling property $\sup_{0\le r<1}\frac{\int_r^1 ω(s)\,ds}{\int_{\frac{1+r}{2}}^1 ω(s)\,ds}<\infty$. Consider the one weight inequality \begin{equation}\label{ab1} \|P_ω(f)\|_{L^p_ν}\le C\|f\|_{L^p_ν},\quad 1<p<\infty,\tag† \end{equation} for the Bergman projection $P_ω$ induced by $ω$. It is sho… ▽ More Let $ω$ and $ν$ be radial weights on the unit disc of the complex plane such that $ω$ admits the doubling property $\sup_{0\le r<1}\frac{\int_r^1 ω(s)\,ds}{\int_{\frac{1+r}{2}}^1 ω(s)\,ds}<\infty$. Consider the one weight inequality \begin{equation}\label{ab1} \|P_ω(f)\|_{L^p_ν}\le C\|f\|_{L^p_ν},\quad 1<p<\infty,\tag† \end{equation} for the Bergman projection $P_ω$ induced by $ω$. It is shown that the Muckenhoupt-type condition $$ A_p(ω,ν)=\sup_{0\le r<1}\frac{\left(\int_r^1 sν(s)\,ds \right)^{\frac{1}{p}}\left(\int_r^1 s\left(\frac{ω(s)}{ν(s)^{\frac1p}}\right)^{p'}\,ds \right)^{\frac{1}{p'}}}{\int_r^1 sω(s)\,ds}<\infty, $$ is necessary for \eqref{ab1} to hold, and sufficient if $ν$ is of the form $ν(s)=ω(s)\left(\int_r^1 sω(s)\,ds \right)^α$ for some $-1<α<\infty$. This result extends the classical theorem due to Forelli and Rudin for a much larger class of weights. In addition, it is shown that for any pair $(ω,ν)$ of radial weights the Calderón operator $$ H^\star_ω(f)(z)+H_ω(f)(z) =\int_{0}^{|z|} f\left(s\frac{z}{|z|}\right)\frac{sω(s)\,ds}{\int_s^1 tω(t)\,dt} +\frac{\int_{|z|}^1f\left(s\frac{z}{|z|}\right) sω(s)\,ds}{\int_{|z|}^1 sω(s)\,ds}\,ds $$ is bounded on $L^p_ν$ if and only if $A_p(ω,ν)<\infty$. △ Less

Submitted 17 May, 2021; originally announced May 2021.

MSC Class: 30H20; 47B34; 42A38

An enriched second-order method for nonconvex composite sparse optimization problems

Authors: Pedro Merino, Juan Carlos De Los Reyes

Abstract: In this paper we propose a second--order method for solving \emph{linear composite sparse optimization problems} consisting of minimizing the sum of a differentiable (possibly nonconvex function) and a nondifferentiable convex term. The composite nondifferentiable convex penalizer is given by $\ell_1$--norm of a matrix multiplied with the coefficient vector. The algorithm that we propose for the c… ▽ More In this paper we propose a second--order method for solving \emph{linear composite sparse optimization problems} consisting of minimizing the sum of a differentiable (possibly nonconvex function) and a nondifferentiable convex term. The composite nondifferentiable convex penalizer is given by $\ell_1$--norm of a matrix multiplied with the coefficient vector. The algorithm that we propose for the case of the linear composite $\ell_1$ problem relies on the three main ingredients that power the OESOM algorithm \cite{dlrlm07}: the minimum norm subgradient, a projection step and, in particular, the second--order information associated to the nondifferentiable term. By extending these devices, we obtain a full second--order method for solving composite sparse optimization problems which includes a wide range of applications. For instance, problems involving the minimization of a general class \emph{differential graph operators} can be solved with the proposed algorithm. We present several computational experiments to show the efficiency of our approach for different application examples. △ Less

Submitted 11 February, 2021; v1 submitted 3 September, 2020; originally announced September 2020.

On a Riemann-Hilbert boundary value problem for $(\varphi,ψ)$-harmonic functions in $\mathbb{R}^m$

Authors: José Luis Serrano Ricardo, Ricardo Abreu Blaya, Juan Bory Reyes, Jorge Sánchez Ortiz

Abstract: The purpose of this paper is to solve a kind of Riemann-Hilbert boundary value problem for $(\varphi,ψ)$-harmonic functions, which are linked with the use of two orthogonal basis of the Euclidean space $\mathbb{R}^m$. We approach this problem using the language of Clifford analysis for obtaining the explicit expression of the solution of the problem in a Jordan domain $Ω\subset\mathbb{R}^m$ with f… ▽ More The purpose of this paper is to solve a kind of Riemann-Hilbert boundary value problem for $(\varphi,ψ)$-harmonic functions, which are linked with the use of two orthogonal basis of the Euclidean space $\mathbb{R}^m$. We approach this problem using the language of Clifford analysis for obtaining the explicit expression of the solution of the problem in a Jordan domain $Ω\subset\mathbb{R}^m$ with fractal boundary. One of the remarkable feature in this study is that the boundary data involves higher order Lipschitz class of functions. △ Less

Submitted 16 May, 2020; originally announced May 2020.

Comments: 9 pages 0 figures

Generalized Laplacian decomposition of vector fields on fractal surfaces

Authors: Daniel González Campos, Marco Antonio Pérez de la Rosa, Juan Bory Reyes

Abstract: We consider the behavior of generalized Laplacian vector fields on a Jordan domain of $\mathbb{R}^{3}$ with fractal boundary. Our approach is based on properties of the Teodorescu transform and suitable extension of the vector fields. Specifically, the present article addresses the decomposition problem of a Hölder continuous vector field on the boundary (also called reconstruction problem) into t… ▽ More We consider the behavior of generalized Laplacian vector fields on a Jordan domain of $\mathbb{R}^{3}$ with fractal boundary. Our approach is based on properties of the Teodorescu transform and suitable extension of the vector fields. Specifically, the present article addresses the decomposition problem of a Hölder continuous vector field on the boundary (also called reconstruction problem) into the sum of two generalized Laplacian vector fields in the domain and in the complement of its closure, respectively. In addition, conditions on a Hölder continuous vector field on the boundary to be the trace of a generalized Laplacian vector field in the domain are also established. △ Less

Submitted 10 February, 2021; v1 submitted 5 February, 2020; originally announced February 2020.

Journal ref: Journal of Mathematical Analysis and Applications. Volume 499, Issue 2, 15 July 2021, 125038

Bilevel parameter learning for nonlocal image denoising models

Authors: M. D'Elia, J. C. De los Reyes, A. Miniguano-Trujillo

Abstract: We propose a bilevel optimization approach for the estimation of parameters in nonlocal image denoising models. The parameters we consider are both the fidelity weight and weights within the kernel of the nonlocal operator. In both cases we investigate the differentiability of the solution operator in function spaces and derive a first order optimality system that characterizes local minima. For t… ▽ More We propose a bilevel optimization approach for the estimation of parameters in nonlocal image denoising models. The parameters we consider are both the fidelity weight and weights within the kernel of the nonlocal operator. In both cases we investigate the differentiability of the solution operator in function spaces and derive a first order optimality system that characterizes local minima. For the numerical solution of the problems, we use a second-order trust-region algorithm in combination with a finite element discretization of the nonlocal denoising models and we introduce a computational strategy for the solution of the resulting dense linear systems. Several experiments illustrate the applicability and effectiveness of our approach. △ Less

Submitted 3 March, 2021; v1 submitted 4 December, 2019; originally announced December 2019.

Comments: 34 pages, 7 figures, 6 tables

Report number: SAND2020-4564

Journal ref: J Math Imaging Vis 63, 753-775 (2021)

On Riemann problems for monogenic functions in lower dimensional non-commutative Clifford algebras

Authors: Carlos Daniel Tamayo Castro, Ricardo Abreu Blaya, Juan Bory Reyes

Abstract: In this paper, we mainly consider the Riemann boundary value problems for lower dimensional non-commutative Clifford algebras valued monogenic functions. The solutions are given in an explicit way and concrete examples are presented to illustrate the results. In this paper, we mainly consider the Riemann boundary value problems for lower dimensional non-commutative Clifford algebras valued monogenic functions. The solutions are given in an explicit way and concrete examples are presented to illustrate the results. △ Less

Submitted 30 November, 2019; v1 submitted 22 November, 2019; originally announced November 2019.

Learning the Sampling Pattern for MRI

Authors: Ferdia Sherry, Martin Benning, Juan Carlos De los Reyes, Martin J. Graves, Georg Maierhofer, Guy Williams, Carola-Bibiane Schönlieb, Matthias J. Ehrhardt

Abstract: The discovery of the theory of compressed sensing brought the realisation that many inverse problems can be solved even when measurements are "incomplete". This is particularly interesting in magnetic resonance imaging (MRI), where long acquisition times can limit its use. In this work, we consider the problem of learning a sparse sampling pattern that can be used to optimally balance acquisition… ▽ More The discovery of the theory of compressed sensing brought the realisation that many inverse problems can be solved even when measurements are "incomplete". This is particularly interesting in magnetic resonance imaging (MRI), where long acquisition times can limit its use. In this work, we consider the problem of learning a sparse sampling pattern that can be used to optimally balance acquisition time versus quality of the reconstructed image. We use a supervised learning approach, making the assumption that our training data is representative enough of new data acquisitions. We demonstrate that this is indeed the case, even if the training data consists of just 7 training pairs of measurements and ground-truth images; with a training set of brain images of size 192 by 192, for instance, one of the learned patterns samples only 35% of k-space, however results in reconstructions with mean SSIM 0.914 on a test set of similar images. The proposed framework is general enough to learn arbitrary sampling patterns, including common patterns such as Cartesian, spiral and radial sampling. △ Less

Submitted 21 June, 2020; v1 submitted 20 June, 2019; originally announced June 2019.

Comments: The main document is 12 pages, the supporting document is 2 pages and attached at the end of the main document

A bilevel learning approach for optimal observation placement in variational data assimilation

Authors: Paula Castro, Juan Carlos De los Reyes

Abstract: In this paper we propose a bilevel optimization approach for the placement of space and time observations in variational data assimilation problems. Within the framework of supervised learning, we consider a bilevel problem where the lower-level task is the variational reconstruction of the initial condition of a semilinear system, and the upper-level problem solves the optimal placement with help… ▽ More In this paper we propose a bilevel optimization approach for the placement of space and time observations in variational data assimilation problems. Within the framework of supervised learning, we consider a bilevel problem where the lower-level task is the variational reconstruction of the initial condition of a semilinear system, and the upper-level problem solves the optimal placement with help of a sparsity inducing function. Due to the pointwise nature of the observations, an optimality system with regular Borel measures is obtained as necessary optimality condition for the lower-level problem. The latter is then considered as constraint for the upper-level instance, yielding an optimization problem constrained by a multi-state system with measures. We demonstrate existence of Lagrange multipliers and derive a necessary optimality system characterizing the optimal solution of the bilevel problem. The numerical solution is carried out also on two levels. The lower-level problem is solved using a standard BFGS method, while the upper-level one is solved by means of a projected BFGS algorithm based on the estimation of $ε$-active sets. Finally some numerical experiments are presented to illustrate the main features of our approach. △ Less

Submitted 8 October, 2019; v1 submitted 28 November, 2018; originally announced November 2018.

Bochner-Martinelli formula in superspace

Authors: Juan Bory Reyes, Alí Guzmán Adán, Frank Sommen

Abstract: In a series of recent papers, a harmonic and hypercomplex function theory in superspace has been established and amply developed. In this paper, we address the problem of establishing Cauchy integral formulae in the framework of Hermitian Clifford analysis in superspace. This allows us to obtain a successful extension of the classical Bochner-Martinelli formula to superspace by means of the corres… ▽ More In a series of recent papers, a harmonic and hypercomplex function theory in superspace has been established and amply developed. In this paper, we address the problem of establishing Cauchy integral formulae in the framework of Hermitian Clifford analysis in superspace. This allows us to obtain a successful extension of the classical Bochner-Martinelli formula to superspace by means of the corresponding projections on the space of spinor-valued superfunctions. △ Less

Submitted 28 April, 2018; originally announced May 2018.

Comments: 29 pages. arXiv admin note: text overlap with arXiv:1804.00966

MSC Class: 30G35; 32A26; 46F10; 26B20; 58C50

Journal ref: Math. Methods Appl. Sci. 41 (2018), no. 18, 9449-9476

Total Generalized Variation Regularization in Variational Data Assimilation for Burgers' Equation

Authors: J. C. De los Reyes, E. Loayza

Abstract: We propose a second-order total generalized variation (TGV) regularization for the reconstruction of the initial condition in variational data assimilation problems. After showing the equivalence between TGV regularization and the Bayesian method for the MAP estimator, we focus on the detailed study of the inviscid Burgers' data assimilation problem. Due to the difficult structure of the governing… ▽ More We propose a second-order total generalized variation (TGV) regularization for the reconstruction of the initial condition in variational data assimilation problems. After showing the equivalence between TGV regularization and the Bayesian method for the MAP estimator, we focus on the detailed study of the inviscid Burgers' data assimilation problem. Due to the difficult structure of the governing hyperbolic conservation law, we consider a discretize-then-optimize approach and derive first-order optimality conditions for the problem. For the numerical solution, we propose a globalized reduced Newton-type method and prove convergence of the algorithm to stationary points. The paper finishes with some numerical experiments where among others, the performance of TGV-regularization compared to the TV-regularization is tested. △ Less

Submitted 12 April, 2018; originally announced April 2018.

On the optimal control of some nonsmooth distributed parameter systems arising in mechanics

Authors: Juan-Carlos De Los Reyes

Abstract: Variational inequalities are an important mathematical tool for modelling free boundary problems that arise in different application areas. Due to the intricate nonsmooth structure of the resulting models, their analysis and optimization is a difficult task that has drawn the attention of researchers for several decades. In this paper we focus on a class of variational inequalities, called of the… ▽ More Variational inequalities are an important mathematical tool for modelling free boundary problems that arise in different application areas. Due to the intricate nonsmooth structure of the resulting models, their analysis and optimization is a difficult task that has drawn the attention of researchers for several decades. In this paper we focus on a class of variational inequalities, called of the second kind, with a twofold purpose. First, we aim at giving a glance at some of the most prominent applications of these types of variational inequalities in mechanics, and the related analytical and numerical difficulties. Second, we consider optimal control problems constrained by these variational inequalities and provide a thorough discussion on the existence of Lagrange multipliers and the different types of optimality systems that can be derived for the characterization of local minima. The article ends with a discussion of the main challenges and future perspectives of this important problem class. △ Less

Submitted 22 November, 2017; originally announced November 2017.

A non-smooth trust-region method for locally Lipschitz functions with application to optimization problems constrained by variational inequalities

Authors: Constantin Christof, Juan Carlos De Los Reyes, Christian Meyer

Abstract: We propose a nonsmooth trust-region method for solving optimization problems with locally Lipschitz continuous functions, with application to problems constrained by variational inequalities of the second kind. Under suitable assumptions on the model functions, convergence of the general algorithm to a C-stationary point is verified. For variational inequality constrained problems, we are able to… ▽ More We propose a nonsmooth trust-region method for solving optimization problems with locally Lipschitz continuous functions, with application to problems constrained by variational inequalities of the second kind. Under suitable assumptions on the model functions, convergence of the general algorithm to a C-stationary point is verified. For variational inequality constrained problems, we are able to properly characterize the Bouligand subdifferential of the reduced cost function and, based on that, we propose a computable trust-region model which fulfills the convergence hypotheses of the general algorithm. The article concludes with the experimental study of the main properties of the proposed method based on two different numerical instances. △ Less

Submitted 16 January, 2018; v1 submitted 8 November, 2017; originally announced November 2017.

Infimal convolution of data discrepancies for mixed noise removal

Authors: Luca Calatroni, Juan Carlos De Los Reyes, Carola-Bibiane Schönlieb

Abstract: We consider the problem of image denoising in the presence of noise whose statistical properties are a combination of two different distributions. We focus on noise distributions that are frequently considered in applications, in particular mixtures of salt & pepper and Gaussian noise, and Gaussian and Poisson noise. We derive a variational image denoising model that features a total variation reg… ▽ More We consider the problem of image denoising in the presence of noise whose statistical properties are a combination of two different distributions. We focus on noise distributions that are frequently considered in applications, in particular mixtures of salt & pepper and Gaussian noise, and Gaussian and Poisson noise. We derive a variational image denoising model that features a total variation regularisation term and a data discrepancy that features the mixed noise as an infimal convolution of discrepancy terms of the single-noise distributions. We give a statistical derivation of this model by joint Maximum A-Posteriori (MAP) estimation, and discuss in particular its interpretation as the MAP of a so-called infinity convolution of two noise distributions. Moreover, classical single-noise models are recovered asymptotically as the weighting parameters go to infinity. The numerical solution of the model is computed using second order Newton-type methods. Numerical results show the decomposition of the noise into its constituting components. The paper is furnished with several numerical experiments and comparisons with other existing methods dealing with the mixed noise case are shown. △ Less

Submitted 20 November, 2016; v1 submitted 2 November, 2016; originally announced November 2016.

Learning optimal spatially-dependent regularization parameters in total variation image restoration

Authors: C. Chung, J. C. De los Reyes, C. B. Schoenlieb

Abstract: We consider a bilevel optimization approach in function space for the choice of spatially dependent regularization parameters in TV image restoration models. First- and second-order optimality conditions for the bilevel problem are studied, when the spatially-dependent parameter belongs to the Sobolev space $H^1(Ω)$. A combined Schwarz domain decomposition-semismooth Newton method is proposed for… ▽ More We consider a bilevel optimization approach in function space for the choice of spatially dependent regularization parameters in TV image restoration models. First- and second-order optimality conditions for the bilevel problem are studied, when the spatially-dependent parameter belongs to the Sobolev space $H^1(Ω)$. A combined Schwarz domain decomposition-semismooth Newton method is proposed for the solution of the full optimality system and local superlinear convergence of the semismooth Newton method is analyzed. Exhaustive numerical computations are finally carried out to show the suitability of the approach. △ Less

Submitted 16 October, 2016; v1 submitted 30 March, 2016; originally announced March 2016.

MSC Class: 47N40; 65D18; 65N06; 68W10; 65M55

Bilevel parameter learning for higher-order total variation regularisation models

Authors: J. C. De los Reyes, C. -B. Schönlieb, T. Valkonen

Abstract: We consider a bilevel optimisation approach for parameter learning in higher-order total variation image reconstruction models. Apart from the least squares cost functional, naturally used in bilevel learning, we propose and analyse an alternative cost, based on a Huber regularised TV-seminorm. Differentiability properties of the solution operator are verified and a first-order optimality system i… ▽ More We consider a bilevel optimisation approach for parameter learning in higher-order total variation image reconstruction models. Apart from the least squares cost functional, naturally used in bilevel learning, we propose and analyse an alternative cost, based on a Huber regularised TV-seminorm. Differentiability properties of the solution operator are verified and a first-order optimality system is derived. Based on the adjoint information, a quasi-Newton algorithm is proposed for the numerical solution of the bilevel problems. Numerical experiments are carried out to show the suitability of our approach and the improved performance of the new cost functional. Thanks to the bilevel optimisation framework, also a detailed comparison between TGV$^2$ and ICTV is carried out, showing the advantages and shortcomings of both regularisers, depending on the structure of the processed images and their noise level. △ Less

Submitted 28 August, 2015; originally announced August 2015.

Numerical approximation of the potential in the two-dimensional inverse scattering problem

Authors: Juan Antonio Barceló, Carlos Castro, Juan Manuel Reyes

Abstract: We present an iterative algorithm to compute numerical approximations of the potential for the Schrödinger operator from scattering data. Four different types of scattering data are used as follows: fixed energy, fixed incident angle, backscattering and full data. In the case of fixed energy, the algorithm coincides basically with the one recently introduced by Novikov in [Novikov, R. G., "An iter… ▽ More We present an iterative algorithm to compute numerical approximations of the potential for the Schrödinger operator from scattering data. Four different types of scattering data are used as follows: fixed energy, fixed incident angle, backscattering and full data. In the case of fixed energy, the algorithm coincides basically with the one recently introduced by Novikov in [Novikov, R. G., "An iterative approach to non-overdetermined inverse scattering at fixed energy", Sbornik: Mathematics 206 (1), 120-134 (2015)], where some estimates are obtained for large energy scattering data. The numerical results that we present here are consistent with these estimates. △ Less

Submitted 27 October, 2015; v1 submitted 28 July, 2015; originally announced July 2015.

Comments: 21 pages, This version addresses the recent work [Novikov, R. G., "An iterative approach to non-overdetermined inverse scattering at fixed energy", Sbornik: Mathematics 206 (1), 120-134 (2015)] by Novikov on the fixed energy inverse scattering problem

MSC Class: 65R32

A Hybrid Segmentation and D-bar Method for Electrical Impedance Tomography

Authors: Sarah Hamilton, Juan Manuel Reyes, Samuli Siltanen, Xiaoqun Zhang

Abstract: The Regularized D-bar method for Electrical Impedance Tomography provides a rigorous mathematical approach for solving the full nonlinear inverse problem directly, i.e. without iterations. It is based on a low-pass filtering in the (nonlinear) frequency domain. However, the resulting D-bar reconstructions are inherently smoothed leading to a loss of edge distinction. In this paper, a novel approac… ▽ More The Regularized D-bar method for Electrical Impedance Tomography provides a rigorous mathematical approach for solving the full nonlinear inverse problem directly, i.e. without iterations. It is based on a low-pass filtering in the (nonlinear) frequency domain. However, the resulting D-bar reconstructions are inherently smoothed leading to a loss of edge distinction. In this paper, a novel approach that combines the rigor of the D-bar approach with the edge-preserving nature of Total Variation regularization is presented. The method also includes a data-driven contrast adjustment technique guided by the key functions (CGO solutions) of the D-bar method. The new TV-Enhanced D-bar Method produces reconstructions with sharper edges and improved contrast while still solving the full nonlinear problem. This is achieved by using the TV-induced edges to increase the truncation radius of the scattering data in the nonlinear frequency domain thereby increasing the radius of the low pass filter. The algorithm is tested on numerically simulated noisy EIT data and demonstrates significant improvements in edge preservation and contrast which can be highly valuable for absolute EIT imaging. △ Less

Submitted 18 June, 2015; originally announced June 2015.

Bilevel approaches for learning of variational imaging models

Authors: Luca Calatroni, Cao Chung, Juan Carlos De Los Reyes, Carola-Bibiane Schönlieb, Tuomo Valkonen

Abstract: We review some recent learning approaches in variational imaging, based on bilevel optimisation, and emphasize the importance of their treatment in function space. The paper covers both analytical and numerical techniques. Analytically, we include results on the existence and structure of minimisers, as well as optimality conditions for their characterisation. Based on this information, Newton typ… ▽ More We review some recent learning approaches in variational imaging, based on bilevel optimisation, and emphasize the importance of their treatment in function space. The paper covers both analytical and numerical techniques. Analytically, we include results on the existence and structure of minimisers, as well as optimality conditions for their characterisation. Based on this information, Newton type methods are studied for the solution of the problems at hand, combining them with sampling techniques in case of large databases. The computational verification of the developed techniques is extensively documented, covering instances with different type of regularisers, several noise models, spatially dependent weights and large image databases. △ Less

Submitted 8 May, 2015; originally announced May 2015.

The structure of optimal parameters for image restoration problems

Authors: Juan Carlos De Los Reyes, Carola-Bibiane Schönlieb, Tuomo Valkonen

Abstract: We study the qualitative properties of optimal regularisation parameters in variational models for image restoration. The parameters are solutions of bilevel optimisation problems with the image restoration problem as constraint. A general type of regulariser is considered, which encompasses total variation (TV), total generalized variation (TGV) and infimal-convolution total variation (ICTV). We… ▽ More We study the qualitative properties of optimal regularisation parameters in variational models for image restoration. The parameters are solutions of bilevel optimisation problems with the image restoration problem as constraint. A general type of regulariser is considered, which encompasses total variation (TV), total generalized variation (TGV) and infimal-convolution total variation (ICTV). We prove that under certain conditions on the given data optimal parameters derived by bilevel optimisation problems exist. A crucial point in the existence proof turns out to be the boundedness of the optimal parameters away from $0$ which we prove in this paper. The analysis is done on the original -- in image restoration typically non-smooth variational problem -- as well as on a smoothed approximation set in Hilbert space which is the one considered in numerical computations. For the smoothed bilevel problem we also prove that it $Γ$ converges to the original problem as the smoothing vanishes. All analysis is done in function spaces rather than on the discretised learning problem. △ Less

Submitted 8 May, 2015; originally announced May 2015.

Uniqueness for an inverse problem in electromagnetism with partial data

Authors: Malcolm Brown, Marco Marletta, Juan Manuel Reyes

Abstract: A uniqueness result for the recovery of the electric and magnetic coefficients in the time-harmonic Maxwell equations from local boundary measurements is proven. No special geometrical condition is imposed on the inaccessible part of the boundary of the domain, apart from imposing that the boundary of the domain is $C^{1,1}$. The coefficients are assumed to coincide on a neighbourhood of the bound… ▽ More A uniqueness result for the recovery of the electric and magnetic coefficients in the time-harmonic Maxwell equations from local boundary measurements is proven. No special geometrical condition is imposed on the inaccessible part of the boundary of the domain, apart from imposing that the boundary of the domain is $C^{1,1}$. The coefficients are assumed to coincide on a neighbourhood of the boundary, a natural property in applications. △ Less

Submitted 13 May, 2015; v1 submitted 30 October, 2014; originally announced October 2014.

Comments: New correct proof of Proposition 5.2

Second-order orthant-based methods with enriched Hessian information for sparse $\ell_1$-optimization

Authors: J. C. De los Reyes, E. Loayza, P. Merino

Abstract: We present a second order algorithm, based on orthantwise directions, for solving optimization problems involving the sparsity enhancing $\ell_1$-norm. The main idea of our method consists in modifying the descent orthantwise directions by using second order information both of the regular term and (in weak sense) of the $\ell_1$-norm. The weak second order information behind the $\ell_1$-term is… ▽ More We present a second order algorithm, based on orthantwise directions, for solving optimization problems involving the sparsity enhancing $\ell_1$-norm. The main idea of our method consists in modifying the descent orthantwise directions by using second order information both of the regular term and (in weak sense) of the $\ell_1$-norm. The weak second order information behind the $\ell_1$-term is incorporated via a partial Huber regularization. One of the main features of our algorithm consists in a faster identification of the active set. We also prove that a reduced version of our method is equivalent to a semismooth Newton algorithm applied to the optimality condition, under a specific choice of the algorithm parameters. We present several computational experiments to show the efficiency of our approach compared to other state-of-the-art algorithms. △ Less

Submitted 1 July, 2016; v1 submitted 3 July, 2014; originally announced July 2014.

Strong stationarity conditions for a class of optimization problems governed by variational inequalities of the 2nd kind

Authors: Juan-Carlos De Los Reyes, Christian Meyer

Abstract: We investigate optimality conditions for optimization problems constrained by a class of variational inequalities of the second kind. Based on a nonsmooth primal-dual reformulation of the governing inequality, the differentiability of the solution map is studied. Directional differentiability is proved both for finite-dimensional and function space problems, under suitable assumptions on the activ… ▽ More We investigate optimality conditions for optimization problems constrained by a class of variational inequalities of the second kind. Based on a nonsmooth primal-dual reformulation of the governing inequality, the differentiability of the solution map is studied. Directional differentiability is proved both for finite-dimensional and function space problems, under suitable assumptions on the active set. A characterization of B- and strong stationary optimal solutions is obtained thereafter. Finally, based on the obtained first-order information, a trust-region algorithm is proposed for the solution of the optimization problems. △ Less

Submitted 6 July, 2014; v1 submitted 18 April, 2014; originally announced April 2014.

Dynamic sampling schemes for optimal noise learning under multiple nonsmooth constraints

Authors: Luca Calatroni, Juan Carlos De Los Reyes, Carola-Bibiane Schönlieb

Abstract: We consider the bilevel optimisation approach proposed by De Los Reyes, Schönlieb (2013) for learning the optimal parameters in a Total Variation (TV) denoising model featuring for multiple noise distributions. In applications, the use of databases (dictionaries) allows an accurate estimation of the parameters, but reflects in high computational costs due to the size of the databases and to the no… ▽ More We consider the bilevel optimisation approach proposed by De Los Reyes, Schönlieb (2013) for learning the optimal parameters in a Total Variation (TV) denoising model featuring for multiple noise distributions. In applications, the use of databases (dictionaries) allows an accurate estimation of the parameters, but reflects in high computational costs due to the size of the databases and to the nonsmooth nature of the PDE constraints. To overcome this computational barrier we propose an optimisation algorithm that by sampling dynamically from the set of constraints and using a quasi-Newton method, solves the problem accurately and in an efficient way. △ Less

Submitted 23 June, 2014; v1 submitted 5 March, 2014; originally announced March 2014.

MSC Class: 65K10; 68U10; 49M15

Nonlinear Fourier analysis for discontinuous conductivities: computational results

Authors: Kari Astala, Lassi Päivärinta, Juan Manuel Reyes, Samuli Siltanen

Abstract: Two reconstruction methods of Electrical Impedance Tomography (EIT) are numerically compared for nonsmooth conductivities in the plane based on the use of complex geometrical optics (CGO) solutions to D-bar equations involving the global uniqueness proofs for Calderón problem exposed in [Nachman; Annals of Mathematics 143, 1996] and [Astala and Päivärinta; Annals of Mathematics 163, 2006]: the Ast… ▽ More Two reconstruction methods of Electrical Impedance Tomography (EIT) are numerically compared for nonsmooth conductivities in the plane based on the use of complex geometrical optics (CGO) solutions to D-bar equations involving the global uniqueness proofs for Calderón problem exposed in [Nachman; Annals of Mathematics 143, 1996] and [Astala and Päivärinta; Annals of Mathematics 163, 2006]: the Astala-Päivärinta theory-based "low-pass transport matrix method" implemented in [Astala et al.; Inverse Problems and Imaging 5, 2011] and the "shortcut method" which considers ingredients of both theories. The latter method is formally similar to the Nachman theory-based regularized EIT reconstruction algorithm studied in [Knudsen, Lassas, Mueller and Siltanen; Inverse Problems and Imaging 3, 2009] and several references from there. New numerical results are presented using parallel computation with size parameters larger than ever, leading mainly to two conclusions as follows. First, both methods can approximate piecewise constant conductivities better and better as the cutoff frequency increases, and there seems to be a Gibbs-like phenomenon producing ringing artifacts. Second, the transport matrix method loses accuracy away from a (freely chosen) pivot point located outside of the object to be studied, whereas the shortcut method produces reconstructions with more uniform quality. △ Less

Submitted 17 June, 2014; v1 submitted 25 October, 2013; originally announced October 2013.

Comments: 29 pages

Inverse backscattering for the Schrödinger equation in 2D

Authors: Juan Manuel Reyes

Abstract: We study the inverse backscattering problem for the Schrödinger equation in two dimensions. We prove that, for a non-smooth potential in 2D the main singularities up to 1/2 of the derivative of the potential are contained in the Born approximation (Diffraction Tomography approximation) constructed from the backscattering data. We measure singularities in the scale of Hilbertian Sobolev spaces. We study the inverse backscattering problem for the Schrödinger equation in two dimensions. We prove that, for a non-smooth potential in 2D the main singularities up to 1/2 of the derivative of the potential are contained in the Born approximation (Diffraction Tomography approximation) constructed from the backscattering data. We measure singularities in the scale of Hilbertian Sobolev spaces. △ Less

Submitted 13 September, 2012; originally announced September 2012.

Image denoising: learning noise distribution via PDE-constrained optimization

Authors: Juan-Carlos De los Reyes, Carola-Bibiane Schönlieb

Abstract: We propose a PDE-constrained optimization approach for the determination of noise distribution in total variation (TV) image denoising. An optimization problem for the determination of the weights correspondent to different types of noise distributions is stated and existence of an optimal solution is proved. A tailored regularization approach for the approximation of the optimal parameter values… ▽ More We propose a PDE-constrained optimization approach for the determination of noise distribution in total variation (TV) image denoising. An optimization problem for the determination of the weights correspondent to different types of noise distributions is stated and existence of an optimal solution is proved. A tailored regularization approach for the approximation of the optimal parameter values is proposed thereafter and its consistency studied. Additionally, the differentiability of the solution operator is proved and an optimality system characterizing the optimal solutions of each regularized problem is derived. The optimal parameter values are numerically computed by using a quasi-Newton method, together with semismooth Newton type algorithms for the solution of the TV-subproblems. △ Less

Submitted 14 July, 2012; originally announced July 2012.

Stability of the Calderón problem for less regular conductivities

Authors: Pedro Caro, Andoni García, Juan Manuel Reyes

Abstract: In these notes we prove log-type stability for the Calderón problem with conductivities in $ C^{1,\varepsilon}(\barΩ) $. We follow the lines of a recent work by Haberman and Tataru in which they prove uniqueness for $ C^1(\barΩ) $. In these notes we prove log-type stability for the Calderón problem with conductivities in $ C^{1,\varepsilon}(\barΩ) $. We follow the lines of a recent work by Haberman and Tataru in which they prove uniqueness for $ C^1(\barΩ) $. △ Less

Submitted 13 August, 2012; v1 submitted 11 May, 2012; originally announced May 2012.

Comments: 20 pages

Mean convergence of Fourier-Dunkl series

Authors: Ó. Ciaurri, M. Pérez, J. M. Reyes, J. L. Varona

Abstract: In the context of the Dunkl transform a complete orthogonal system arises in a very natural way. This paper studies the weighted norm convergence of the Fourier series expansion associated to this system. We establish conditions on the weights, in terms of the $A_p$ classes of Muckenhoupt, which ensure the convergence. Necessary conditions are also proved, which for a wide class of weights coincid… ▽ More In the context of the Dunkl transform a complete orthogonal system arises in a very natural way. This paper studies the weighted norm convergence of the Fourier series expansion associated to this system. We establish conditions on the weights, in terms of the $A_p$ classes of Muckenhoupt, which ensure the convergence. Necessary conditions are also proved, which for a wide class of weights coincide with the sufficient conditions. △ Less

Submitted 9 October, 2010; originally announced October 2010.

MSC Class: 42C10; 33C10

Journal ref: J. Math. Math. Anal. Appl. 372 (2010), 470-485

Reconstruction of the singularities of a potential from backscattering data in 2D and 3D

Authors: Juan Manuel Reyes, Alberto Ruiz

Abstract: We prove that the singularities of a potential in the two and three dimensional Schrödinger equation are the same as the singularities of the Born approximation (Diffraction Tomography), obtained from backscattering inverse data, with an accuracy of $1/2^-$ derivative in the scale of $L^2$-based Sobolev spaces. The key point is the study of the smoothing properties of the quartic term in the Neu… ▽ More We prove that the singularities of a potential in the two and three dimensional Schrödinger equation are the same as the singularities of the Born approximation (Diffraction Tomography), obtained from backscattering inverse data, with an accuracy of $1/2^-$ derivative in the scale of $L^2$-based Sobolev spaces. The key point is the study of the smoothing properties of the quartic term in the Neumann-Born expansion of the scattering amplitude in 3D, together with a Leibniz formula for multiple scattering valid in any dimension. △ Less

Submitted 18 February, 2009; originally announced February 2009.

Comments: 33 pages

MSC Class: 35Q40