-
Umbilical routes along geodesics and hypercycles in the hyperbolic space
Authors:
Maciej Czarnecki
Abstract:
Given a geodesic line $γ$ the hyperbolic space $\mathbb H^n$ we formulate a necessary and sufficient condition for a function along this geodesic which measure the mean curvature of totally umbilical leaves of a foliation orthogonal to $γ$. Then we extend the result to $γ$ being a hypercycle i.e. a geodesic on a hypersurface equidistant from the totally geodesic one.
Given a geodesic line $γ$ the hyperbolic space $\mathbb H^n$ we formulate a necessary and sufficient condition for a function along this geodesic which measure the mean curvature of totally umbilical leaves of a foliation orthogonal to $γ$. Then we extend the result to $γ$ being a hypercycle i.e. a geodesic on a hypersurface equidistant from the totally geodesic one.
△ Less
Submitted 25 June, 2018; v1 submitted 5 December, 2017;
originally announced December 2017.
-
Asymptotic behavior of gradient-like dynamical systems involving inertia and multiscale aspects
Authors:
Hedy Attouch,
Marc-Olivier Czarnecki
Abstract:
In a Hilbert space $\mathcal H$, we study the asymptotic behaviour, as time variable $t$ goes to $+\infty$, of nonautonomous gradient-like dynamical systems involving inertia and multiscale features.
Given $\mathcal H$ a general Hilbert space, $Φ: \mathcal H \rightarrow \mathbb R$ and $Ψ: \mathcal H \rightarrow \mathbb R$ two convex differentiable functions, $γ$ a positive damping parameter, and…
▽ More
In a Hilbert space $\mathcal H$, we study the asymptotic behaviour, as time variable $t$ goes to $+\infty$, of nonautonomous gradient-like dynamical systems involving inertia and multiscale features.
Given $\mathcal H$ a general Hilbert space, $Φ: \mathcal H \rightarrow \mathbb R$ and $Ψ: \mathcal H \rightarrow \mathbb R$ two convex differentiable functions, $γ$ a positive damping parameter, and $ε(t)$ a function of $t$ which tends to zero as $t$ goes to $+\infty$, we consider the second-order differential equation $$\ddot{x}(t) + γ\dot{x}(t) + \nabla Φ(x(t)) + ε(t) \nabla Ψ(x(t)) = 0. $$ This system models the emergence of various collective behaviors in game theory, as well as the asymptotic control of coupled nonlinear oscillators. Assuming that $ε(t)$ tends to zero moderately slowly as $t$ goes to infinity, we show that the trajectories converge weakly in $\mathcal H$. The limiting equilibria are solutions of the hierarchical minimization problem which consists in minimizing $Ψ$ over the set $C$ of minimizers of $Φ$. As key assumptions, we suppose that $ \int_{0}^{+\infty}ε(t) dt = + \infty $ and that, for every $p$ belonging to a convex cone $\mathcal C$ depending on the data $Φ$ and $Ψ$ $$ \int_{0}^{+\infty} \left[Φ^* \left(ε(t)p\right) -σ_C \left(ε(t)p\right)\right]dt < + \infty $$ where $Φ^*$ is the Fenchel conjugate of $Φ$, and $σ_C $ is the support function of $C$. An application is given to coupled oscillators.
△ Less
Submitted 31 January, 2016;
originally announced February 2016.
-
Asymptotic behavior of nonautonomous monotone and subgradient evolution equations
Authors:
Hedy Attouch,
Alexandre Cabot,
Marc-Olivier Czarnecki
Abstract:
In a Hilbert setting $H$, we study the asymptotic behavior of the trajectories of nonautonomous evolution equations $\dot x(t)+A_t(x(t))\ni 0$, where for each $t\geq 0$, $A_t:H\tto H$ denotes a maximal monotone operator.
We provide general conditions guaranteeing the weak ergodic convergence of each trajectory $x(\cdot)$ to a zero of a limit maximal monotone operator $ A_\infty$, as the time var…
▽ More
In a Hilbert setting $H$, we study the asymptotic behavior of the trajectories of nonautonomous evolution equations $\dot x(t)+A_t(x(t))\ni 0$, where for each $t\geq 0$, $A_t:H\tto H$ denotes a maximal monotone operator.
We provide general conditions guaranteeing the weak ergodic convergence of each trajectory $x(\cdot)$ to a zero of a limit maximal monotone operator $ A_\infty$, as the time variable $t$ tends to $+\infty$. The crucial point is to use the Brézis-Haraux function, or equivalently the Fitzpatrick function, to express at which rate the excess of $\gph A_\infty$ over $\gph A_t$ tends to zero. This approach gives a sharp and unifying view on this subject. In the case of operators $A_t= \partial φ_t$ which are subdifferentials of closed convex functions $φ_t$, we show convergence results for the trajectories. Then, we specialize our results to multiscale evolution equations, and obtain asymptotic properties of hierarchical minimization, and selection of viscosity solutions. Illustrations are given in the field of coupled systems, and partial differential equations.
△ Less
Submitted 5 January, 2016;
originally announced January 2016.
-
Splitting forward-backward penalty scheme for constrained variational problems
Authors:
Marc-Olivier Czarnecki,
Nahla Noun,
Juan Peypouquet
Abstract:
We study a forward backward splitting algorithm that solves the variational inequality \begin{equation*} A x +\nabla Φ(x)+ N_C (x) \ni 0 \end{equation*} where $H$ is a real Hilbert space, $A: H\rightrightarrows H$ is a maximal monotone operator, $Φ: H\to\mathbb{R}$ is a smooth convex function, and $N_C$ is the outward normal cone to a closed convex set $C\subset H$. The constraint set $C$ is repre…
▽ More
We study a forward backward splitting algorithm that solves the variational inequality \begin{equation*} A x +\nabla Φ(x)+ N_C (x) \ni 0 \end{equation*} where $H$ is a real Hilbert space, $A: H\rightrightarrows H$ is a maximal monotone operator, $Φ: H\to\mathbb{R}$ is a smooth convex function, and $N_C$ is the outward normal cone to a closed convex set $C\subset H$. The constraint set $C$ is represented as the intersection of the sets of minima of two convex penalization function $Ψ_1:H\to\mathbb{R}$ and $Ψ_2: H\to\mathbb{R}\cup \{+\infty\}$. The function $Ψ_1$ is smooth, the function $Ψ_2$ is proper and lower semicontinuous. Given a sequence $(β_n)$ of penalization parameters which tends to infinity, and a sequence of positive time steps $(λ_n)$, the algorithm $$ \left\{\begin{array}{rcl} x_1 & \in & H,\\ x_{n+1} & = & (I+λ_n A+λ_nβ_n\partialΨ_2)^{-1}(x_n-λ_n\nablaΦ(x_n)-λ_nβ_n\nablaΨ_1(x_n)),\ n\geq 1. \end{array}\right. $$ performs forward steps on the smooth parts and backward steps on the other parts. Under suitable assumptions, we obtain weak ergodic convergence of the sequence $(x_n)$ to a solution of the variational inequality. Convergence is strong when either $A$ is strongly monotone or $Φ$ is strongly convex. We also obtain weak convergence of the whole sequence $(x_n)$ when $A$ is the subdifferential of a proper lower-semicontinuous convex function. This provides a unified setting for several classical and more recent results, in the line of historical research on continuous and discrete gradient-like systems.
△ Less
Submitted 5 August, 2014;
originally announced August 2014.
-
Asymptotic behavior of coupled dynamical systems with multiscale aspects
Authors:
Hedy Attouch,
Marc-Olivier Czarnecki
Abstract:
We study the asymptotic behavior, as time t goes to infinity, of nonautonomous dynamical systems involving multiscale features. These systems model the emergence of various collective behaviors in game theory, as well as the asymptotic control of coupled sytems.
We study the asymptotic behavior, as time t goes to infinity, of nonautonomous dynamical systems involving multiscale features. These systems model the emergence of various collective behaviors in game theory, as well as the asymptotic control of coupled sytems.
△ Less
Submitted 2 April, 2009;
originally announced April 2009.
-
Representations of epi-Lipschitzian sets
Authors:
Marc-Olivier Czarnecki,
Anastasia Nikolaevna Gudovich
Abstract:
A closed subset $M$ of a Banach space $E$ is \ep, i.e., can be represented locally as the epigraph of a Lipschitz function, if and only if it is the level set of some locally Lipschitz function $f: E\to \R$, wich Clarke's generalized gradient does not contain 0 at points in the boundary of $M$, i.e., such that: M=\{x \mid f(x)\leq 0\}, 0\not \in \partial f(x) {if} x\in \bd M. This extends the ch…
▽ More
A closed subset $M$ of a Banach space $E$ is \ep, i.e., can be represented locally as the epigraph of a Lipschitz function, if and only if it is the level set of some locally Lipschitz function $f: E\to \R$, wich Clarke's generalized gradient does not contain 0 at points in the boundary of $M$, i.e., such that: M=\{x \mid f(x)\leq 0\}, 0\not \in \partial f(x) {if} x\in \bd M. This extends the characterization previously known in finite dimension and answers to a standing open question
△ Less
Submitted 4 March, 2009;
originally announced March 2009.
-
Volume of tubes, non polynomial behavior
Authors:
J. -F. Crouzet,
M. -0. Czarnecki
Abstract:
The behavior of the volume of the tube of distance r, around a given compact set M, is an old and important question with relations to many fields, like differential geometry, geometric measure theory, integral geometry, and also probability and statistics. Federer (1959) introduces the class of sets with positive reach, for which the volume is given by a polynom in r. For applications, in numer…
▽ More
The behavior of the volume of the tube of distance r, around a given compact set M, is an old and important question with relations to many fields, like differential geometry, geometric measure theory, integral geometry, and also probability and statistics. Federer (1959) introduces the class of sets with positive reach, for which the volume is given by a polynom in r. For applications, in numerical analysis and statistics for example, an almost polynomial behavior is of equal interest. We exhibit an example showing how far to a polynom can be the volume of the tube, for the simplest extension of the class of sets with positive reach, namely the class of locally finite union of sets with positive reach satisfying a tangency condition introduced by Zahle (1984).
△ Less
Submitted 2 February, 2009;
originally announced February 2009.
