-
Controllability problem of an evolution equation with singular memory
Authors:
Sumit Arora,
Rodrigo Ponce
Abstract:
This work addresses control problems governed by a semilinear evolution equation with singular memory kernel $κ(t)=αe^{-βt}\frac{t^{ν-1}}{Γ(ν)}$, where $α>0, β\ge 0$, and $0<ν<1$. We examine the existence of a mild solution and the approximate controllability of both linear and semilinear control systems. To this end, we introduce the concept of a resolvent family associated with the linear evolut…
▽ More
This work addresses control problems governed by a semilinear evolution equation with singular memory kernel $κ(t)=αe^{-βt}\frac{t^{ν-1}}{Γ(ν)}$, where $α>0, β\ge 0$, and $0<ν<1$. We examine the existence of a mild solution and the approximate controllability of both linear and semilinear control systems. To this end, we introduce the concept of a resolvent family associated with the linear evolution equation with memory and develop some of its essential properties. Subsequently, we consider a linear-quadratic regulator problem to determine the optimal control that yields approximate controllability for the linear control system. Furthermore, we derive sufficient conditions for the existence of a mild solution and the approximate controllability of a semilinear system in a super-reflexive Banach space. Additionally, we present an approximate controllability result within the framework of a general Banach space. Finally, we apply our theoretical findings to investigate the approximate controllability of the heat equation with singular memory.
△ Less
Submitted 24 April, 2025;
originally announced April 2025.
-
Determination of the order in Abstract fractional differential equations
Authors:
Rodrigo Ponce
Abstract:
In this paper we identify, for small $t$ and a fixed $T>0,$ the order $α>0$ in the abstract fractional differential equation $$\partial^αu(t)=Au(t),$$ where the time-fractional derivative $\partial^α$ is understood in the sense of Caputo and Riemann-Liouville, $A$ is a closed (possibly unbounded) linear operator in a Banach space $X,$ and $0<α<1$ or $1<α<2.$
In this paper we identify, for small $t$ and a fixed $T>0,$ the order $α>0$ in the abstract fractional differential equation $$\partial^αu(t)=Au(t),$$ where the time-fractional derivative $\partial^α$ is understood in the sense of Caputo and Riemann-Liouville, $A$ is a closed (possibly unbounded) linear operator in a Banach space $X,$ and $0<α<1$ or $1<α<2.$
△ Less
Submitted 21 March, 2023;
originally announced March 2023.
-
Explicit representation of discrete fractional resolvent families in Banach spaces
Authors:
Jorge Gonzalez-Camus,
Rodrigo Ponce
Abstract:
In this paper we introduce a discrete fractional resolvent family $\{S_{α,β}^n\}_{n\in\mathbb{N}_0}$ generated by a closed linear operator in a Banach space $X$ for a given $α,β>0.$ Moreover, we study its main properties and, as a consequence, we obtain a method to study the existence and uniqueness of the solutions to discrete fractional difference equations in a Banach space.
In this paper we introduce a discrete fractional resolvent family $\{S_{α,β}^n\}_{n\in\mathbb{N}_0}$ generated by a closed linear operator in a Banach space $X$ for a given $α,β>0.$ Moreover, we study its main properties and, as a consequence, we obtain a method to study the existence and uniqueness of the solutions to discrete fractional difference equations in a Banach space.
△ Less
Submitted 9 November, 2021; v1 submitted 17 May, 2021;
originally announced May 2021.
-
The Geometry of Deep Generative Image Models and its Applications
Authors:
Binxu Wang,
Carlos R. Ponce
Abstract:
Generative adversarial networks (GANs) have emerged as a powerful unsupervised method to model the statistical patterns of real-world data sets, such as natural images. These networks are trained to map random inputs in their latent space to new samples representative of the learned data. However, the structure of the latent space is hard to intuit due to its high dimensionality and the non-linear…
▽ More
Generative adversarial networks (GANs) have emerged as a powerful unsupervised method to model the statistical patterns of real-world data sets, such as natural images. These networks are trained to map random inputs in their latent space to new samples representative of the learned data. However, the structure of the latent space is hard to intuit due to its high dimensionality and the non-linearity of the generator, which limits the usefulness of the models. Understanding the latent space requires a way to identify input codes for existing real-world images (inversion), and a way to identify directions with known image transformations (interpretability). Here, we use a geometric framework to address both issues simultaneously. We develop an architecture-agnostic method to compute the Riemannian metric of the image manifold created by GANs. The eigen-decomposition of the metric isolates axes that account for different levels of image variability. An empirical analysis of several pretrained GANs shows that image variation around each position is concentrated along surprisingly few major axes (the space is highly anisotropic) and the directions that create this large variation are similar at different positions in the space (the space is homogeneous). We show that many of the top eigenvectors correspond to interpretable transforms in the image space, with a substantial part of eigenspace corresponding to minor transforms which could be compressed out. This geometric understanding unifies key previous results related to GAN interpretability. We show that the use of this metric allows for more efficient optimization in the latent space (e.g. GAN inversion) and facilitates unsupervised discovery of interpretable axes. Our results illustrate that defining the geometry of the GAN image manifold can serve as a general framework for understanding GANs.
△ Less
Submitted 18 March, 2021; v1 submitted 15 January, 2021;
originally announced January 2021.
-
Controllability properties from the exterior under positivity constraints for a 1-D fractional heat equation
Authors:
Harbir Antil,
Umberto Biccari,
Rodrigo Ponce,
Mahamadi Warma,
Sebastián Zamorano
Abstract:
We study the controllability to trajectories, under positivity constraints on the control or the state, of a one-dimensional heat equation involving the fractional Laplace operator $ (-\partial_x^2)^s$ (with $0<s<1$) on the interval $(-1,1)$. Our control function is localized in an open set $\mathcal O$ in the exterior of $(-1,1)$, that is, $\mathcal O\subset (\mathbb{R} \setminus (-1,1))$. We sho…
▽ More
We study the controllability to trajectories, under positivity constraints on the control or the state, of a one-dimensional heat equation involving the fractional Laplace operator $ (-\partial_x^2)^s$ (with $0<s<1$) on the interval $(-1,1)$. Our control function is localized in an open set $\mathcal O$ in the exterior of $(-1,1)$, that is, $\mathcal O\subset (\mathbb{R} \setminus (-1,1))$. We show that there exists a minimal (strictly positive) time $T_{\rm min}$ such that the fractional heat dynamics can be controlled from any initial datum in $L^2(-1,1)$ to a positive trajectory through the action of an exterior positive control, if and only if $\frac 12<s<1$. In addition, we prove that at this minimal controllability time, the constrained controllability is achieved by means of a control that belongs to a certain space of Radon measures. Finally, we provide several numerical illustrations that confirm our theoretical results.
△ Less
Submitted 31 October, 2019;
originally announced October 2019.
-
Convergence of solutions of discrete semi-linear space-time fractional evolution equations
Authors:
Harbir Antil,
Carlos Lizama,
Rodrigo Ponce,
Mahamadi Warma
Abstract:
Let $(-Δ)_c^s$ be the realization of the fractional Laplace operator on the space of continuous functions $C_0(\mathbb{R})$, and let $(-Δ_h)^s$ denote the discrete fractional Laplacian on $C_0(\mathbb{Z}_h)$, where $0<s<1$ and $\mathbb{Z}_h:=\{hj:\; j\in\mathbb{Z}\}$ is a mesh of fixed size $h>0$. We show that solutions of fractional order semi-linear Cauchy problems associated with the discrete o…
▽ More
Let $(-Δ)_c^s$ be the realization of the fractional Laplace operator on the space of continuous functions $C_0(\mathbb{R})$, and let $(-Δ_h)^s$ denote the discrete fractional Laplacian on $C_0(\mathbb{Z}_h)$, where $0<s<1$ and $\mathbb{Z}_h:=\{hj:\; j\in\mathbb{Z}\}$ is a mesh of fixed size $h>0$. We show that solutions of fractional order semi-linear Cauchy problems associated with the discrete operator $(-Δ_h)^s$ on $C_0(\mathbb{Z}_h)$ converge to solutions of the corresponding Cauchy problems associated with the continuous operator $(-Δ)_c^s$. In addition, we obtain that the convergence is uniform in $t$ in compact subsets of $[0,\infty)$. We also provide numerical simulations that support our theoretical results.
△ Less
Submitted 24 October, 2019; v1 submitted 16 October, 2019;
originally announced October 2019.
-
Asymptotic behavior and representation of solutions to a Volterra kind of equation with a singular kernel
Authors:
Rodrigo Ponce,
Mahamadi Warma
Abstract:
Let $A$ be a densely defined closed, linear $ω$-sectorial operator of angle $θ\in [0,\fracπ{2})$ on a Banach space $X$ for some $ω\in\mathbb R$. We give an explicit representation (in terms of some special functions) and study the precise asymptotic behavior as time goes to infinity of solutions to the following diffusion equation with memory: $\displaystyle u'(t)=Au(t)+(κ\ast Au)(t), \, t >0$,…
▽ More
Let $A$ be a densely defined closed, linear $ω$-sectorial operator of angle $θ\in [0,\fracπ{2})$ on a Banach space $X$ for some $ω\in\mathbb R$. We give an explicit representation (in terms of some special functions) and study the precise asymptotic behavior as time goes to infinity of solutions to the following diffusion equation with memory: $\displaystyle u'(t)=Au(t)+(κ\ast Au)(t), \, t >0$, $u(0)=u_0$, associated with the (possible) singular kernel
$κ(t)=αe^{-βt}\frac{t^{μ-1}}{Γ(μ)},\;\;t>0$, where $α\in\R$, $α\ne 0$, $β\ge 0$ and $0<μ\le 1$.
△ Less
Submitted 27 October, 2016;
originally announced October 2016.
-
On the boundedness of generalized Cesàro operators on Sobolev spaces
Authors:
Carlos Lizama,
Pedro J. Miana,
Rodrigo Ponce,
Luis Sánchez-Lajusticia
Abstract:
For $β>0$ and $p\ge 1$, the generalized Cesàro operator $$ \mathcal{C}_βf(t):=\fracβ{t^β}\int_0^t (t-s)^{β-1}f(s)ds $$ and its companion operator $\mathcal{C}_β^*$ defined on Sobolev spaces $\mathcal{T}_p^{(α)}(t^α)$ and $\mathcal{T}_p^{(α)}(| t|^α)$ (where $α\ge 0$ is the fractional order of derivation and are embedded in $L^p(\RR^+)$ and $L^p(\RR)$ respectively) are studied. We prove that if…
▽ More
For $β>0$ and $p\ge 1$, the generalized Cesàro operator $$ \mathcal{C}_βf(t):=\fracβ{t^β}\int_0^t (t-s)^{β-1}f(s)ds $$ and its companion operator $\mathcal{C}_β^*$ defined on Sobolev spaces $\mathcal{T}_p^{(α)}(t^α)$ and $\mathcal{T}_p^{(α)}(| t|^α)$ (where $α\ge 0$ is the fractional order of derivation and are embedded in $L^p(\RR^+)$ and $L^p(\RR)$ respectively) are studied. We prove that if $p>1$, then $\mathcal{C}_β$ and $\mathcal{C}_β^*$ are bounded operators and commute on $\mathcal{T}_p^{(α)}(t^α)$ and $\mathcal{T}_p^{(α)}(| t|^α)$. We show explicitly the spectra $σ(\mathcal{C}_β)$ and $σ(\mathcal{C}_β^*)$ and its operator norms (which depend on $p$). For $1< p\le 2$, we prove that $ \hat{{\mathcal C}_β(f)}={\mathcal C}_β^*(\hat{f})$ and $\hat{{\mathcal C}_β^*(f)}={\mathcal C}_β(\hat{f})$ where $\hat{f}$ is the Fourier transform of a function $f\in L^p(\RR)$.
△ Less
Submitted 5 April, 2013;
originally announced April 2013.
