Showing 1–40 of 40 results for author: Gutiérrez, C

Predator-prey density-dependent branching processes

Authors: Cristina Gutiérrez, Carmen Minuesa

Abstract: Two density-dependent branching processes are considered to model predator-prey populations. For both models, preys are considered to be the main food supply of predators. Moreover, in each generation the number of individuals of each species is distributed according to a binomial distribution with size given by the species population size and probability of success depending on the density of pre… ▽ More Two density-dependent branching processes are considered to model predator-prey populations. For both models, preys are considered to be the main food supply of predators. Moreover, in each generation the number of individuals of each species is distributed according to a binomial distribution with size given by the species population size and probability of success depending on the density of preys per predator at the current generation. The difference between the two proposed processes lies in the food supply of preys. In the first one, we consider that preys have all the food they need at their disposal while in the second one, we assume that the natural resources of the environment are limited and therefore there exists a competition among preys for food supplies. Results on the fixation and extinction of both species as well as conditions for the coexistence are provided for the first model. On the event of coexistence of both populations and on the prey fixation event, the limiting growth rates are obtained. For the second model, we prove that the extinction of the entire system occurs almost surely. Finally, the evolution of both models over the generations is illustrated by simulated examples. Those examples validate our analytical findings. △ Less

Submitted 28 June, 2024; originally announced June 2024.

Comments: 27 pages, 9 figures

Journal ref: 2022, Stochastic Models, 39:1, 265-292

Maxwell equations in distributional sense and applications

Authors: Cristian E. Gutiérrez, Ahmad Sabra

Abstract: This paper discusses the Maxwell system of electrodynamics in the context of distributions. It is used to establish boundary conditions for fields at the interface when the charge and current densities are concentrated measures on the interface. The paper derives the generalized Snell's law from this analysis. This paper discusses the Maxwell system of electrodynamics in the context of distributions. It is used to establish boundary conditions for fields at the interface when the charge and current densities are concentrated measures on the interface. The paper derives the generalized Snell's law from this analysis. △ Less

Submitted 1 May, 2023; originally announced May 2023.

Comments: 15 pages

MSC Class: 78A40; 35Q61; 35D30

Fine properties of monotone maps arising in optimal transport for non-quadratic costs

Authors: Cristian E. Gutierrez, Annamaria Montanari

Abstract: The cost functions considered are $c(x,y)=h(x-y)$, where $h\in C^2(\mathbb{R}^n)$, homogeneous of degree $p\geq 2$, with a positive definite Hessian in the unit sphere. We study multivalued monotone maps with respect to that cost and establish that they are single-valued almost everywhere. Further consequences are then deduced. The cost functions considered are $c(x,y)=h(x-y)$, where $h\in C^2(\mathbb{R}^n)$, homogeneous of degree $p\geq 2$, with a positive definite Hessian in the unit sphere. We study multivalued monotone maps with respect to that cost and establish that they are single-valued almost everywhere. Further consequences are then deduced. △ Less

Submitted 31 May, 2024; v1 submitted 30 July, 2022; originally announced August 2022.

Comments: 17 pages

MSC Class: 49Q22; 47H05; 46T20

$L^\infty$-estimates in optimal transport for non quadratic costs

Authors: Cristian E. Gutiérrez, Annamaria Montanari

Abstract: For cost functions $c(x,y)=h(x-y)$ with $h\in C^2$ homogeneous of degree $p\geq 2$, we show $L^\infty$-estimates of $Tx-x$ on balls, where $T$ is an $h$-monotone map. Estimates for the interpolating mappings $T_t=t(T-I)+I$ are deduced from this. For cost functions $c(x,y)=h(x-y)$ with $h\in C^2$ homogeneous of degree $p\geq 2$, we show $L^\infty$-estimates of $Tx-x$ on balls, where $T$ is an $h$-monotone map. Estimates for the interpolating mappings $T_t=t(T-I)+I$ are deduced from this. △ Less

Submitted 18 October, 2021; v1 submitted 5 June, 2021; originally announced June 2021.

Comments: A typo is corrected

MSC Class: 49Q99; 47H05; 35Q93; 35B45

Metasurfaces and Optimal transport

Authors: Cristian E. Gutiérrez, Qingbo Huang, Quentin Mérigot, Boris Thibert

Abstract: This paper provides a theoretical and numerical approach to show existence, uniqueness, and the numerical determination of metalenses refracting radiation with energy patterns. The theoretical part uses ideas from optimal transport and for the numerical solution we study and implement a damped Newton algorithm to solve the semi discrete problem. A detailed analysis is carried out to solve the near… ▽ More This paper provides a theoretical and numerical approach to show existence, uniqueness, and the numerical determination of metalenses refracting radiation with energy patterns. The theoretical part uses ideas from optimal transport and for the numerical solution we study and implement a damped Newton algorithm to solve the semi discrete problem. A detailed analysis is carried out to solve the near field one source refraction problem and extensions to the far field are also mentioned. △ Less

Submitted 12 April, 2021; originally announced April 2021.

Comments: 29 pages, 4 figures

MSC Class: 78A04; 78A10; 78A46; 65Z05; 49M15

A two-sex branching process with oscillations: application to predator-prey systems

Authors: Cristina Gutierrez, Carmen Minuesa

Abstract: A two-type two-sex branching process is introduced with the aim of describing the interaction of predator and prey populations with sexual reproduction and promiscuous mating. In each generation and in each species the total number of individuals which mate and produce offspring is controlled by a binomial distribution with size given by this number of individuals and probability of success depend… ▽ More A two-type two-sex branching process is introduced with the aim of describing the interaction of predator and prey populations with sexual reproduction and promiscuous mating. In each generation and in each species the total number of individuals which mate and produce offspring is controlled by a binomial distribution with size given by this number of individuals and probability of success depending on the density of preys per predator. The resulting model enables us to depict the typical cyclic behaviour of predator-prey systems under some mild assumptions on the shape of the function that characterises the probability of survival of the previous binomial distribution. We present some basic results about fixation and extinction of both species as well as conditions for the coexistence of both of them. We also analyse the suitability of the process to model real ecosystems comparing our model with a real dataset. △ Less

Submitted 27 January, 2021; originally announced January 2021.

Comments: 25 pages, 10 figures

MSC Class: 60J80; 60J85

Sobolev inequalities with jointly concave weights on convex cones

Authors: Zoltán M. Balogh, Cristian E. Gutiérrez, Alexandru Kristály

Abstract: Using optimal mass transport arguments, we prove weighted Sobolev inequalities of the form \[\left(\int_E |u(x)|^q\,ω(x) \,dx\right)^{1/q}\leq K_0\,\left(\int_E |\nabla u(x)|^p\,σ(x)\,dx\right)^{1/p},\ \ u\in C_0^\infty(\mathbb R^n),\ \ \ \ \ \ {\rm (WSI)}\] where $p\geq 1$ and $q>0$ is the corresponding Sobolev critical exponent. Here $E\subseteq \mathbb R^n$ is an open convex cone, and… ▽ More Using optimal mass transport arguments, we prove weighted Sobolev inequalities of the form \[\left(\int_E |u(x)|^q\,ω(x) \,dx\right)^{1/q}\leq K_0\,\left(\int_E |\nabla u(x)|^p\,σ(x)\,dx\right)^{1/p},\ \ u\in C_0^\infty(\mathbb R^n),\ \ \ \ \ \ {\rm (WSI)}\] where $p\geq 1$ and $q>0$ is the corresponding Sobolev critical exponent. Here $E\subseteq \mathbb R^n$ is an open convex cone, and $ω,σ:E\to (0,\infty)$ are two homogeneous weights verifying a general concavity-type structural condition. The constant $K_0= K_0(n, p, q, ω, σ) >0$ is given by an explicit formula. Under mild regularity assumptions on the weights, we also prove that $K_0$ is optimal in (WSI) if and only if $ω$ and $σ$ are equal up to a multiplicative factor. Several previously known results, including the cases for monomials and radial weights, are covered by our statement. Further examples and applications to PDEs are also provided. △ Less

Submitted 4 August, 2020; v1 submitted 26 March, 2020; originally announced March 2020.

Comments: 35 pages; some references are updated. To appear in the Proceedings of the London Mathematical Society

MSC Class: 46E35; 35A23; 47J20

A predator-prey two-sex branching process

Authors: Cristina Gutierrez, Carmen Minuesa

Abstract: In this paper, we introduce a two-sex controlled branching model to describe the interaction between predator and prey populations with sexual reproduction. This process is a two-type branching process, where the first type corresponds to the predator population and the second one to the prey population. While each population is described via a two-sex branching model, the interaction and survival… ▽ More In this paper, we introduce a two-sex controlled branching model to describe the interaction between predator and prey populations with sexual reproduction. This process is a two-type branching process, where the first type corresponds to the predator population and the second one to the prey population. While each population is described via a two-sex branching model, the interaction and survival of both groups is modelled through control functions depending on the current number of individuals of each type in the ecosystem. We provide necessary and sufficient conditions for the ultimate extinction of both species, the fixation of one of the species and the coexistence of both of them. Moreover, the description of the present predator-prey two-sex branching process on the fixation events can be performed in terms of the behaviour of a one-type two-sex branching process with a random control on the number of individuals, which is also introduced and analysed. △ Less

Submitted 30 October, 2019; originally announced October 2019.

MSC Class: 60J80; 60J85

Chromatic Aberration in Metalenses

Authors: Cristian E. Gutiérrez, Ahmad Sabra

Abstract: This paper provides a mathematical approach to study chromatic aberration in metalenses. It is shown that radiation of a given wavelength is refracted according to a generalized Snell's law which together with the notion of envelope yields the existence of phase discontinuities. This is then used to establish a quantitative measure of dispersion in metalenses concluding that in the visible spectru… ▽ More This paper provides a mathematical approach to study chromatic aberration in metalenses. It is shown that radiation of a given wavelength is refracted according to a generalized Snell's law which together with the notion of envelope yields the existence of phase discontinuities. This is then used to establish a quantitative measure of dispersion in metalenses concluding that in the visible spectrum it has the same order of magnitude as for standard lenses. △ Less

Submitted 3 May, 2019; originally announced May 2019.

Comments: 26 pages, 3 figures

MSC Class: 78A05; 35F61

On the Numerical Solution of the Near Field Refractor Problem

Authors: Cristian E. Gutiérrez, Henok Mawi

Abstract: A numerical scheme is presented to solve the one source near field refractor problem to arbitrary precision and it is proved that the scheme terminates in a finite number of iterations. The convergence of the algorithm depends upon proving appropriate Lipschitz estimates for the refractor measure. The algorithm is presented in general terms and has independent interest. A numerical scheme is presented to solve the one source near field refractor problem to arbitrary precision and it is proved that the scheme terminates in a finite number of iterations. The convergence of the algorithm depends upon proving appropriate Lipschitz estimates for the refractor measure. The algorithm is presented in general terms and has independent interest. △ Less

Submitted 25 April, 2019; v1 submitted 24 April, 2019; originally announced April 2019.

Comments: 23 pages, 1 figure, a reference was corrected

MSC Class: 78A05; 35Q60; 97N40; 65J22

$C^{1,α}$-estimates for the near field refractor

Authors: Cristian E. Gutierrez, Federico Tournier

Abstract: We establish local $C^{1,α}$ estimates for one source near field refractors under structural assumptions on the target, and with no assumptions on the smoothness of the densities. We establish local $C^{1,α}$ estimates for one source near field refractors under structural assumptions on the target, and with no assumptions on the smoothness of the densities. △ Less

Submitted 4 April, 2019; originally announced April 2019.

Comments: 33 pages

MSC Class: 35Q60; 78A10

Refractors in anisotropic media associated with norms

Authors: Cristian E. Gutierrez, Qingbo Huang, Henok Mawi

Abstract: We show existence of interfaces between two anisotropic materials so that light is refracted in accordance with a given pattern of energy. To do this we formulate a vector Snell law for anisotropic media when the wave fronts are given by norms for which the corresponding unit spheres are strictly convex. We show existence of interfaces between two anisotropic materials so that light is refracted in accordance with a given pattern of energy. To do this we formulate a vector Snell law for anisotropic media when the wave fronts are given by norms for which the corresponding unit spheres are strictly convex. △ Less

Submitted 1 June, 2018; originally announced June 2018.

Comments: 26 pages, 2 figures

MSC Class: 35Q60; 35J60; 35F25; 78A05; 78A46; 52A20; 82D25

Reflection and refraction problems for metasurfaces related to Monge-Ampère equations

Authors: Cristian E. Gutierrez, Luca Pallucchini

Abstract: A metasurface is a surface, tipically a plane, on which a function called phase discontinuity is chosen so that the metasurface produces a desired reflection or refraction job. We derive the equations that the phase discontinuity function must satisfy, they are Monge-Ampère partial differential equations, and we prove existence of solutions. A metasurface is a surface, tipically a plane, on which a function called phase discontinuity is chosen so that the metasurface produces a desired reflection or refraction job. We derive the equations that the phase discontinuity function must satisfy, they are Monge-Ampère partial differential equations, and we prove existence of solutions. △ Less

Submitted 2 May, 2018; originally announced May 2018.

Comments: 20 pages, 4 figures

On the existence of dichromatic single element lenses

Authors: Cristian E. Gutierrez, Ahmad Sabra

Abstract: Due to dispersion, light with different wavelengths, or colors, is refracted at different angles. Our purpose is to determine when is it possible to design a lens made of a single homogeneous material so that it refracts light superposition of two colors into a desired fixed final direction. Two problems are considered: one is when light emanates in a parallel beam and the other is when light eman… ▽ More Due to dispersion, light with different wavelengths, or colors, is refracted at different angles. Our purpose is to determine when is it possible to design a lens made of a single homogeneous material so that it refracts light superposition of two colors into a desired fixed final direction. Two problems are considered: one is when light emanates in a parallel beam and the other is when light emanates from a point source. For the first problem, and when the direction of the parallel beam is different from the final desired direction, we show that such a lens does not exist; otherwise we prove the solution is trivial, i.e., the lens is confined between two parallel planes. For the second problem we prove that is impossible to design such a lens when the desired final direction is not among the set of incident directions. Otherwise, solving an appropriate system of functional equations we show that a local solution exists. △ Less

Submitted 22 January, 2018; originally announced January 2018.

Comments: 56 pages, 4 figures

MSC Class: 78A05; 78A46; 34K10; 93C23

Harnack's inequality for a class of non-divergent equations in the Heisenberg group

Authors: Farhan Abedin, Cristian E. Gutiérrez, Giulio Tralli

Abstract: We prove an invariant Harnack's inequality for operators in non-divergence form structured on Heisenberg vector fields when the coefficient matrix is uniformly positive definite, continuous, and symplectic. The method consists in constructing appropriate barriers to obtain pointwise-to-measure estimates for supersolutions in small balls, and then invoking the axiomatic approach from [DGL08] to obt… ▽ More We prove an invariant Harnack's inequality for operators in non-divergence form structured on Heisenberg vector fields when the coefficient matrix is uniformly positive definite, continuous, and symplectic. The method consists in constructing appropriate barriers to obtain pointwise-to-measure estimates for supersolutions in small balls, and then invoking the axiomatic approach from [DGL08] to obtain Harnack's inequality. △ Less

Submitted 30 May, 2017; originally announced May 2017.

General Refraction Problems with Phase Discontinuity

Authors: Cristian E. Gutierrez, Luca Pallucchini, Eric Stachura

Abstract: This paper provides a mathematical approach to study metasurfaces in non flat geometries. Analytical conditions between the curvature of the surface and the set of refracted directions are introduced to guarantee the existence of phase discontinuities. The approach contains both the near and far field cases. A starting point is the formulation of a vector Snell law in presence of abrupt discontinu… ▽ More This paper provides a mathematical approach to study metasurfaces in non flat geometries. Analytical conditions between the curvature of the surface and the set of refracted directions are introduced to guarantee the existence of phase discontinuities. The approach contains both the near and far field cases. A starting point is the formulation of a vector Snell law in presence of abrupt discontinuities on the interfaces. △ Less

Submitted 17 March, 2017; originally announced March 2017.

Comments: 27 pages and 6 figures

MSC Class: 78A05; 35Q60

$C^{1,α}$ estimates for the parallel refractor

Authors: Farhan Abedin, Cristian E. Gutierrez, Giulio Tralli

Abstract: We consider the parallel refractor problem when the planar radiating source lies in a medium having higher refractive index than the medium in which the target is located. We prove local $C^{1,α}$ estimates for parallel refractors under suitable geometric assumptions on the source and target, and under local regularity hypotheses on the target set. We also discuss existence of refractors under ene… ▽ More We consider the parallel refractor problem when the planar radiating source lies in a medium having higher refractive index than the medium in which the target is located. We prove local $C^{1,α}$ estimates for parallel refractors under suitable geometric assumptions on the source and target, and under local regularity hypotheses on the target set. We also discuss existence of refractors under energy conservation assumptions. △ Less

Submitted 19 March, 2016; originally announced March 2016.

Comments: 33 pages, 3 figures

MSC Class: 35Q60; 78A05; 35J96; 74J25

On the Numerical Solution of the Far Field Refractor Problem

Authors: Roberto De Leo, Cristian E. Gutiérrez, Henok Mawi

Abstract: The far field refractor problem with a discrete target is solved with a numerical scheme that uses and simplify ideas from Caffarelli, Kochengin and Oliker. A numerical implementation is carried out and examples are shown. The far field refractor problem with a discrete target is solved with a numerical scheme that uses and simplify ideas from Caffarelli, Kochengin and Oliker. A numerical implementation is carried out and examples are shown. △ Less

Submitted 4 March, 2016; originally announced March 2016.

Comments: 28 pages, 9 figures, sofware and graphical results at http://helios.physics.howard.edu/~deleo/Refractor/}{http://helios.physics.howard.edu/~deleo/Refractor/

MSC Class: 78A05; 78A46; 65Z05

Aspherical lens design and imaging

Authors: Cristian E. Gutierrez, Ahmad Sabra

Abstract: We design freeform lenses refracting an arbitrarily given incident field into a given fixed direction. In the near field case, we study the existence of lenses refracting a given bright object into a predefined image. We also analyze the existence of systems of mirrors that solve the near field and the far field problems for reflection. We design freeform lenses refracting an arbitrarily given incident field into a given fixed direction. In the near field case, we study the existence of lenses refracting a given bright object into a predefined image. We also analyze the existence of systems of mirrors that solve the near field and the far field problems for reflection. △ Less

Submitted 4 March, 2016; v1 submitted 29 July, 2015; originally announced July 2015.

Comments: 22 pages, 3 figures. The results in this paper were announced in the OSA Freeform Optics Meeting, Arlington, VA, June 2015. This version contains corrections and a comment on self-intersections. Article to appear in SIAM Journal on Imaging Sciences

MSC Class: 35F50; 35Q60; 78A05; 78A46

Carlos Grandjot. Drei Jahrzehnte der Mathematik in Chile: 1930-1960

Authors: Claudio Gutierrez, Flavio Gutierrez

Abstract: Carlos Grandjot (1900-1979) was a German mathematician, doctorate from Göttingen, who moved to Chile in 1929 and developed there his life and career. He was influential in the development of Chilean mathematics during the period 1930 to 1960. This article reports our investigation of his biography and describes the mathematical environment in his new homeland. Carlos Grandjot (1900-1979) was a German mathematician, doctorate from Göttingen, who moved to Chile in 1929 and developed there his life and career. He was influential in the development of Chilean mathematics during the period 1930 to 1960. This article reports our investigation of his biography and describes the mathematical environment in his new homeland. △ Less

Submitted 11 October, 2014; originally announced October 2014.

Comments: German translation by Karin Erxmeyer from the original Spanish published in "Boletín de la Asociación Matemática Venezolana, Vol. XI, No. 1 (2004)"

MSC Class: 01A70

Regularity for the near field parallel refractor and reflector problems

Authors: Cristian E. Gutierrez, Federico Tournier

Abstract: We prove local $C^{1,α}$ estimates of solutions for the parallel refractor and reflector problems under local assumptions on the target set $Σ$, and no assumptions are made on the smoothness of the densities. We prove local $C^{1,α}$ estimates of solutions for the parallel refractor and reflector problems under local assumptions on the target set $Σ$, and no assumptions are made on the smoothness of the densities. △ Less

Submitted 15 April, 2014; originally announced April 2014.

Comments: 32 pages, three figures

The Near Field Refractor

Authors: Cristian E. Gutierrez, Qingbo Huang

Abstract: We present an abstract method in the setting of compact metric spaces which is applied to solve a number of problems in geometric optics. In particular, we solve the one source near field refraction problem. That is, we construct surfaces separating two homogenous media with different refractive indices that refract radiation emanating from the origin into a target domain contained in an n-1 dimen… ▽ More We present an abstract method in the setting of compact metric spaces which is applied to solve a number of problems in geometric optics. In particular, we solve the one source near field refraction problem. That is, we construct surfaces separating two homogenous media with different refractive indices that refract radiation emanating from the origin into a target domain contained in an n-1 dimensional hypersurface. The input and output energy are prescribed. This implies the existence of lenses focusing radiation in a prescribed manner. △ Less

Submitted 22 July, 2013; originally announced July 2013.

Comments: 39 pages, 4 figures, Annales de l'Institut Henri Poincare (C) Analyse Non Lineaire (to appear). Geometric optics, lens design, measure equations, Descartes ovals, Monge-Ampere type equations

MSC Class: 78A05; 35Q60; 52B12; 47H04

The reflector problem and the inverse square law

Authors: Cristian E. Gutierrez, Ahmad Sabra

Abstract: We introduce a model to design reflectors that take into account the inverse square law for radiation. We prove existence of solutions, both in the near and far field cases, when the input and output energies are prescribed. We introduce a model to design reflectors that take into account the inverse square law for radiation. We prove existence of solutions, both in the near and far field cases, when the input and output energies are prescribed. △ Less

Submitted 30 May, 2013; originally announced May 2013.

Comments: geometric optics, reflector design, optimization, 39 pages, 2 figures

MSC Class: 78A05; 35J96; 52A41

Interior second derivative estimates for solutions to the linearized Monge--Ampère equation

Authors: Cristian E. Gutiérrez, Truyen Nguyen

Abstract: Let $Ω\subset \R^n$ be a bounded convex domain and $φ\in C(\barΩ)$ be a convex function such that $φ$ is sufficiently smooth on $\partialΩ$ and the Monge--Ampère measure $\det D^2φ$ is bounded away from zero and infinity in $Ω$. The corresponding linearized Monge--Ampère equation is \[ \trace(ΦD^2 u) =f, \] where $Φ:= \det D^2 φ~ (D^2φ)^{-1}$ is the matrix of cofactors of $D^2φ$. We prove a conjec… ▽ More Let $Ω\subset \R^n$ be a bounded convex domain and $φ\in C(\barΩ)$ be a convex function such that $φ$ is sufficiently smooth on $\partialΩ$ and the Monge--Ampère measure $\det D^2φ$ is bounded away from zero and infinity in $Ω$. The corresponding linearized Monge--Ampère equation is \[ \trace(ΦD^2 u) =f, \] where $Φ:= \det D^2 φ~ (D^2φ)^{-1}$ is the matrix of cofactors of $D^2φ$. We prove a conjecture in \cite{GT} about the relationship between $L^p$ estimates for $D^2 u$ and the closeness between $\det D^2φ$ and one. As a consequence, we obtain interior $W^{2,p}$ estimates for solutions to such equation whenever the measure $\det D^2φ$ is given by a continuous density and the function $f$ belongs to $L^q(Ω)$ for some $q> \max{\{p,n\}}$. △ Less

Submitted 25 August, 2012; originally announced August 2012.

Affine interval exchange transformations with flips and wandering intervals

Authors: C. Gutierrez, S. Lloyd, B. Pires

Abstract: There exist uniquely ergodic affine interval exchange transformations of [0,1] with flips having wandering intervals and such that the support of the invariant measure is a Cantor set. There exist uniquely ergodic affine interval exchange transformations of [0,1] with flips having wandering intervals and such that the support of the invariant measure is a Cantor set. △ Less

Submitted 28 February, 2008; originally announced February 2008.

Comments: 7 pages

MSC Class: 37E05; 37E10 (Primary); 37B (Secondary)

Journal ref: Proc. Amer. Math. Soc. 137 (2009), no. 4, 1439--1445

Unique ergodicity of circle and interval exchange transformations with flips

Authors: C. Gutierrez, S. Lloyd, V. Medvedev, B. Pires, E. Zhuzhoma

Abstract: We study the existence of transitive exchange maps with flips defined on the unit circle. We provide a complete answer to the question of whether there exists a transitive exchange map of the unit circle defined on n subintervals and having f flips. We study the existence of transitive exchange maps with flips defined on the unit circle. We provide a complete answer to the question of whether there exists a transitive exchange map of the unit circle defined on n subintervals and having f flips. △ Less

Submitted 9 September, 2008; v1 submitted 24 November, 2007; originally announced November 2007.

Comments: 13 pages, 6 figures; notational changes, smaller figures

MSC Class: 37E05 (Primary) 37E10; 37B (Secondary)

Journal ref: Discrete Contin. Dyn. Syst. 26(1) (2010), 251--263.

The Implicit Function Theorem for continuous functions

Authors: Carlos Biasi, Carlos Gutierrez, Edivaldo L. dos Santos

Abstract: In the present paper we obtain a new homological version of the implicit function theorem and some versions of the Darboux theorem. Such results are proved for continuous maps on topological manifolds. As a consequence, some versions of these classic theorems are proved when we consider differenciable (not necessarily C^1) maps. In the present paper we obtain a new homological version of the implicit function theorem and some versions of the Darboux theorem. Such results are proved for continuous maps on topological manifolds. As a consequence, some versions of these classic theorems are proved when we consider differenciable (not necessarily C^1) maps. △ Less

Submitted 26 June, 2007; originally announced June 2007.

Comments: 9 pages, no figures

MSC Class: 58C15: 47J07

Planar maps whose second iterate has a unique fixed point

Authors: Begoña Alarcón, Carlos Gutierrez, José Martínez-Alfaro

Abstract: Let a>0, F: R^2 -> R^2 be a differentiable (not necessarily C^1) map and Spec(F) be the set of (complex) eigenvalues of the derivative F'(p) when p varies in R^2. (a) If Spec(F) is disjoint of the interval [1,1+a[, then Fix(F) has at most one element, where Fix(F) denotes the set of fixed points of F. (b) If Spec(F) is disjoint of the real line R, then Fix(F^2) has at most one element. (c)… ▽ More Let a>0, F: R^2 -> R^2 be a differentiable (not necessarily C^1) map and Spec(F) be the set of (complex) eigenvalues of the derivative F'(p) when p varies in R^2. (a) If Spec(F) is disjoint of the interval [1,1+a[, then Fix(F) has at most one element, where Fix(F) denotes the set of fixed points of F. (b) If Spec(F) is disjoint of the real line R, then Fix(F^2) has at most one element. (c) If F is a C^1 map and, for all p belonging to R^2, the derivative F'(p) is neither a homothety nor has simple real eigenvalues, then Fix(F^2) has at most one element, provided that Spec(F) is disjoint of either (c1) the union of the number 0 with the intervals ]-\infty, -1] and [1,\infty[, or (c2) the interval [-1-a, 1+a]. Conditions under which Fix(F^n), with n>1, is at most unitary are considered. △ Less

Submitted 18 June, 2007; originally announced June 2007.

Comments: 13 pages, no figures

MSC Class: 37G10; 37G15; 34K18

Planar Embeddings with a Globally Attracting Fixed Point

Authors: Begona Alarcon, Victor Guinez, Carlos Gutierrez

Abstract: We consider sufficient conditions which guarantee that a planar embedding has a unique fixed point. We study sufficient conditions which imply the appearing of a globally attracting fixed point for such an embedding. We consider sufficient conditions which guarantee that a planar embedding has a unique fixed point. We study sufficient conditions which imply the appearing of a globally attracting fixed point for such an embedding. △ Less

Submitted 15 March, 2007; originally announced March 2007.

MSC Class: 37C35; 34D05

On Cr-closing for flows on orientable and non-orientable 2-manifolds

Authors: Carlos Gutierrez, Benito Pires

Abstract: We provide an affirmative answer to the Cr Closing Lemma, r>1, for a large class of flows defined on every closed surface. We provide an affirmative answer to the Cr Closing Lemma, r>1, for a large class of flows defined on every closed surface. △ Less

Submitted 7 August, 2007; v1 submitted 12 December, 2006; originally announced December 2006.

Comments: 17 pages

MSC Class: 34D08; 34D30; 37C10; 37C20; 37C40; 37A05

Foliations and Polynomial Diffeomorphisms of $\mathbb{R}^{3}$

Authors: Carlos Gutierrez, Carlos Maquera

Abstract: Let $Y=(f,g,h):\mathbb{R}^{3} \to \mathbb{R}^{3}$ be a $C^{2}$ map and let $\spec(Y)$ denote the set of eigenvalues of the derivative $DY_p$, when $p$ varies in $\mathbb{R}^3$. We begin proving that if, for some $ε>0,$ $\spec(Y)\cap (-ε,ε)=\emptyset,$ then the foliation $\mathcal{F}(k),$ with $k\in \{f,g,h\},$ made up by the level surfaces $\{k={\rm constant}\},$ consists just of planes. As a co… ▽ More Let $Y=(f,g,h):\mathbb{R}^{3} \to \mathbb{R}^{3}$ be a $C^{2}$ map and let $\spec(Y)$ denote the set of eigenvalues of the derivative $DY_p$, when $p$ varies in $\mathbb{R}^3$. We begin proving that if, for some $ε>0,$ $\spec(Y)\cap (-ε,ε)=\emptyset,$ then the foliation $\mathcal{F}(k),$ with $k\in \{f,g,h\},$ made up by the level surfaces $\{k={\rm constant}\},$ consists just of planes. As a consequence, we prove a bijectivity result related to the three-dimensional case of Jelonek's Jacobian Conjecture for polynomial maps of $\mathbb{R}^n.$ △ Less

Submitted 17 July, 2006; originally announced July 2006.

Comments: 13 pages and 3 figures

MSC Class: 37C85; 57R30

Asymptotic stability at infinity for differentiable vector fields of the plane

Authors: C. Gutierrez, B. Pires, R. Rabanal

Abstract: Let X:R2\Dr->R2 be a differentiable (but not necessarily C1) vector field, where r>0 and Dr={z\in R2:|z|\le r}. If for some e>0 and for all p\in R2\Dr, no eigenvalue of D_p X belongs to (-e,0]\cup {z\in\C:\mathcal{R}(z)\ge 0}, then (a)For all p\in R2\Dr, there is a unique positive semi--trajectory of X starting at p; (b)\mathcal{I}(X), the index of X at infinity, is a well defined number of the… ▽ More Let X:R2\Dr->R2 be a differentiable (but not necessarily C1) vector field, where r>0 and Dr={z\in R2:|z|\le r}. If for some e>0 and for all p\in R2\Dr, no eigenvalue of D_p X belongs to (-e,0]\cup {z\in\C:\mathcal{R}(z)\ge 0}, then (a)For all p\in R2\Dr, there is a unique positive semi--trajectory of X starting at p; (b)\mathcal{I}(X), the index of X at infinity, is a well defined number of the extended real line [-\infty,\infty); (c) There exists a constant vector v\in R2 such that if \mathcal{I}(X) is less than zero (resp. greater or equal to zero), then the point at infinity \infty of the Riemann sphere R2\cup\set{\infty} is a repellor (resp. an attractor) of the vector field X+v. △ Less

Submitted 19 July, 2006; v1 submitted 13 January, 2006; originally announced January 2006.

Comments: 16 pages, 7 figures

MSC Class: 34D23 (Primary)

Injectivity of differentiable maps R^2 --> R^2 at infinity

Authors: Carlos Gutierrez, Roland Rabanal

Abstract: The main result given in Theorem~1.1 is a condition for a map $X$, defined on the complement of a disk $D$ in R^2 with values in R^2, to be extended to a topological embedding of R^2, not necessarily surjective. The map $X$ is supposed to be just differentiable with the condition that, for some $e>0,$ at each point the eigenvalues of the differential do not belong to the real interval… ▽ More The main result given in Theorem~1.1 is a condition for a map $X$, defined on the complement of a disk $D$ in R^2 with values in R^2, to be extended to a topological embedding of R^2, not necessarily surjective. The map $X$ is supposed to be just differentiable with the condition that, for some $e>0,$ at each point the eigenvalues of the differential do not belong to the real interval $(-e,\infty).$ The extension is obtained by restricting X to the complement of some larger disc. The result has important connections with the property of asymptotic stability at infinity for differentiable vector fields. △ Less

Submitted 6 March, 2006; v1 submitted 13 January, 2006; originally announced January 2006.

Comments: to appear in Bulletin of the Brazilian Mathematical Society

MSC Class: 26B99; 58C25 (Primary); 37E30; 37C10 (Secondary)

Iterated Images and the Plane Jacobian Conjecture

Authors: Ronen Peretz, Nguyen Van Chau, Carlos Gutierrez, L. Andrew Campbell

Abstract: We show that the iterated images of a Jacobian pair stabilize; that is, the k-th iterates of a polynomial map of complex two-space to itself with a nonzero constant Jacobian determinant all have the same image for sufficiently large k. More generally, we obtain the same result for open polynomial maps of a closed algebraic subset X of complex N-space to itself that have finite coimage, and for c… ▽ More We show that the iterated images of a Jacobian pair stabilize; that is, the k-th iterates of a polynomial map of complex two-space to itself with a nonzero constant Jacobian determinant all have the same image for sufficiently large k. More generally, we obtain the same result for open polynomial maps of a closed algebraic subset X of complex N-space to itself that have finite coimage, and for cofinite subsets of such an X invariant under the map. We apply these results to obtain a new characterization of the two dimensional complex Jacobian conjecture related to questions of surjectivity. △ Less

Submitted 26 August, 2005; v1 submitted 10 November, 2004; originally announced November 2004.

Comments: 7 pages, AMSLaTeX, revised in response to referees' suggestions, typos corrected, refrences expanded, to appear in Discrete and Continuous Dynamical Systems

MSC Class: 14R15

Journal ref: Discrete Contin. Dyn. Syst. 16 (2006), no. 2, 455--461.

On Peixoto's Conjecture for Flows on Non-orientable 2-Manifolds

Authors: Carlos Gutierrez, Benito Pires

Abstract: Let M be a non-orientable compact 2-manifold of genus 4. Then there exists a family of quasi-minimal, Kupka-Smale smooth vector fields X_r in M, depending smoothly on 0<=r<e, such that, for some flow box V in M of X_0, and for all 0<=r,v<e, (1) X_r restricted to V is a flow box; (2) If r is not equal to v, X_r is a C^\infty--twist perturbation of X_v localized in V; (3) X_r and X_v are topologic… ▽ More Let M be a non-orientable compact 2-manifold of genus 4. Then there exists a family of quasi-minimal, Kupka-Smale smooth vector fields X_r in M, depending smoothly on 0<=r<e, such that, for some flow box V in M of X_0, and for all 0<=r,v<e, (1) X_r restricted to V is a flow box; (2) If r is not equal to v, X_r is a C^\infty--twist perturbation of X_v localized in V; (3) X_r and X_v are topologically equivalent. △ Less

Submitted 31 January, 2006; v1 submitted 2 December, 2003; originally announced December 2003.

Comments: 13 pages

MSC Class: 37C20; 37E05(primary); 37E35; 37C10; 37C15(secondary)

Bifurcations of Umbilic Points and Related Principal Cycles

Authors: Carlos Gutierrez, Jorge Sotomayor, Ronaldo Garcia

Abstract: The simplest patterns of qualitative changes on the configurations of lines of principal curvature} around umbilic points on surfaces whose immersions into $\mathbb R^3$ depend smoothly on a real parameter (codimension one umbilic bifurcations) are described in this paper. Global effects, due to umbilic bifurcations, on these configurations such as the appearance and annihilation of periodic pri… ▽ More The simplest patterns of qualitative changes on the configurations of lines of principal curvature} around umbilic points on surfaces whose immersions into $\mathbb R^3$ depend smoothly on a real parameter (codimension one umbilic bifurcations) are described in this paper. Global effects, due to umbilic bifurcations, on these configurations such as the appearance and annihilation of periodic principal lines, called also principal cycles, are also studied here. △ Less

Submitted 25 November, 2003; originally announced November 2003.

Comments: 26 pages, 12 figures

MSC Class: 53C12; 37C75; 53A05; 34D30

The Markus-Yamabe Conjecture for Differentiable vector fields of R^2

Authors: Carlos Gutierrez, Roland Rabanal

Abstract: (a) Let X=(f,g) be a differentiable map in the plane (not necessarily C^1) and let Spec(X) be the set of (complex) eigenvalues of the derivative DX(p) when p varies in R^2. If, for some ε>0, the set Spec(X) is disjoint of [0,ε) then X is injective. (b) Let X be a differentiable vector field such that X(0)=0 and $Re(z)< 0$ for all z in Spec(X). Then, for all p in R^2, there is a unique positive… ▽ More (a) Let X=(f,g) be a differentiable map in the plane (not necessarily C^1) and let Spec(X) be the set of (complex) eigenvalues of the derivative DX(p) when p varies in R^2. If, for some ε>0, the set Spec(X) is disjoint of [0,ε) then X is injective. (b) Let X be a differentiable vector field such that X(0)=0 and $Re(z)< 0$ for all z in Spec(X). Then, for all p in R^2, there is a unique positive trajectory starting at p; moreover the ω-limit set of p is equal to {0}. △ Less

Submitted 13 August, 2004; v1 submitted 21 November, 2003; originally announced November 2003.

Comments: ABSTRACT

MSC Class: 26B10; 34D23; 34D45 (Primary); 34D20 (Secondary)

On the second order derivatives of convex functions on the Heisenberg group

Authors: Cristian E. Gutierrez, Annamaria Montanari

Abstract: In the Euclidean setting the celebrated Aleksandrov-Busemann-Feller theorem states that convex functions are a.e. twice differentiable. In this paper we prove that a similar result holds in the Heisenberg group, by showing that every continuous H-convex function belongs to the class of functions whose second order horizontal distributional derivatives are Radon measures. Together with a recent r… ▽ More In the Euclidean setting the celebrated Aleksandrov-Busemann-Feller theorem states that convex functions are a.e. twice differentiable. In this paper we prove that a similar result holds in the Heisenberg group, by showing that every continuous H-convex function belongs to the class of functions whose second order horizontal distributional derivatives are Radon measures. Together with a recent result by Ambrosio and Magnani, this proves the existence a.e. of second order horizontal derivatives for the class of continuous H-convex functions in the Heisenberg group. △ Less

Submitted 9 September, 2003; originally announced September 2003.

MSC Class: 35B50; 35B45; 35H20

Maximum and comparison principles for convex functions on the Heisenberg group

Authors: Cristian E. Gutierrez, Annamaria Montanari

Abstract: We prove estimates, similar in form to the classical Aleksandrov estimates, for a Monge-Ampere type operator on the Heisenberg group. A notion of normal mapping does not seem to be available in this context and the method of proof uses integration by parts and oscillation estimates that lead to the construction of an analogue of Monge-Ampere measures for convex functions in the Heisenberg group. We prove estimates, similar in form to the classical Aleksandrov estimates, for a Monge-Ampere type operator on the Heisenberg group. A notion of normal mapping does not seem to be available in this context and the method of proof uses integration by parts and oscillation estimates that lead to the construction of an analogue of Monge-Ampere measures for convex functions in the Heisenberg group. △ Less

Submitted 3 June, 2003; originally announced June 2003.

Comments: The results in this paper and the ideas of their proofs have been presented in the following talks: Analysis Seminar, Temple U., October 2002; Fabes--Chiarenza Lectures at Siracusa, December 2002; Pan-American Conference, Santiago de Chile, January 2003; Analysis Seminar, U. of Bologna, March 2003; and Analysis Seminar, U. Texas at Austin, March 2003

MSC Class: 35B50(Primary); 35H20(Secondary)

On $C^r-$closing for flows on 2-manifolds

Authors: Carlos Gutierrez

Abstract: For some full measure subset B of the set of iet's (i.e. interval exchange transformations) the following is satisfied: Let X be a $C^r$, $1\le r\le \infty$, vector field, with finitely many singularities, on a compact orientable surface M. Given a nontrivial recurrent point $p\in M$ of X, the holonomy map around p is semi-conjugate to an iet $E :[0,1) \to [0,1).$ If $E\in B$ then there exists a… ▽ More For some full measure subset B of the set of iet's (i.e. interval exchange transformations) the following is satisfied: Let X be a $C^r$, $1\le r\le \infty$, vector field, with finitely many singularities, on a compact orientable surface M. Given a nontrivial recurrent point $p\in M$ of X, the holonomy map around p is semi-conjugate to an iet $E :[0,1) \to [0,1).$ If $E\in B$ then there exists a $C^r$ vector field Y, arbitrarily close to X, in the $C^r-$topology, such that Y has a closed trajectory passing through p. △ Less

Submitted 23 November, 1999; originally announced November 1999.

Comments: 7 pages, 1 figure

MSC Class: 58F10 (Primary); 58F11; 58F18; 58F25 (Secondary)