Showing 1–50 of 53 results for author: Filho, A

A graph-based approach to customer segmentation using the RFM model

Authors: André Luiz Corrêa Vianna Filho, Leonardo de Lima, Mariana Kleina

Abstract: The present article proposes a graph-based approach to customer segmentation, combining the RFM analysis with the classical optimization max-$k$-cut problem. We consider each customer as a vertex of a weighted graph, and the edge weights are given by the distances between the vectors corresponding to the $(R,F,M)$-scores of the customers. We design a procedure to build a reduced graph with fewer v… ▽ More The present article proposes a graph-based approach to customer segmentation, combining the RFM analysis with the classical optimization max-$k$-cut problem. We consider each customer as a vertex of a weighted graph, and the edge weights are given by the distances between the vectors corresponding to the $(R,F,M)$-scores of the customers. We design a procedure to build a reduced graph with fewer vertices and edges, and the customer segmentation is obtained by solving the max-$k$-cut for this reduced graph. We prove that the optimal objective function values of the original and the reduced problems are equal. Additionally, we show that an optimal solution to the original problem can be easily obtained from an optimal solution to the reduced problem, which provides an advantage in dealing with computational complexity in large instances. Applying our methodology to a real customer dataset allowed us to identify distinct behaviors between groups and analyze their meaning and value from a business perspective. △ Less

Submitted 12 May, 2025; originally announced May 2025.

An analysis of the entire functions associated with the operator of the KdV equation

Authors: Roberto de A. Capistrano Filho, Hugo Parada, Jandeilson Santos da Silva

Abstract: It is well known that the controllability property of partial differential equations (PDEs) is closely linked to the proof of an observability inequality for the adjoint system, which, sometimes, involves analyzing a spectral problem associated with the PDE under consideration. In this work, we study a series of spectral issues that ensure the controllability of the renowned Korteweg-de Vries equa… ▽ More It is well known that the controllability property of partial differential equations (PDEs) is closely linked to the proof of an observability inequality for the adjoint system, which, sometimes, involves analyzing a spectral problem associated with the PDE under consideration. In this work, we study a series of spectral issues that ensure the controllability of the renowned Korteweg-de Vries equation on star-graph. This investigation reduces to determining when certain functions, associated with this spectral problem, are entire. The novelty here lies in presenting this detailed analysis in the context of a star graph structure. △ Less

Submitted 21 January, 2025; originally announced January 2025.

Comments: 41 pp. Comments are welcome

Nehari-type ground state solutions for asymptotically periodic bi-harmonic Kirchhoff-type problems in $\mathbb{R}^N$

Authors: Antônio de Pádua Farias de Souza Filho

Abstract: We investigate the following Kirchhoff-type biharmonic equation \begin{equation}\label{pr} \left\{ \begin{array}{ll} Δ^2 u+ \left(a+b\int_{\mathbb{R}^N}|\nabla u|^2d x\right)(-Δu+V(x)u)=f(x,u),\quad x\in \mathbb{R}^N,\\ u\in H^{2}(\mathbb{R}^N), \end{array} \right. \end{equation} where $a>0$, $b\geq 0$ and $V(x)$ and $f(x, u)$ are periodic or asymptotically periodic in $x$. We study the existence… ▽ More We investigate the following Kirchhoff-type biharmonic equation \begin{equation}\label{pr} \left\{ \begin{array}{ll} Δ^2 u+ \left(a+b\int_{\mathbb{R}^N}|\nabla u|^2d x\right)(-Δu+V(x)u)=f(x,u),\quad x\in \mathbb{R}^N,\\ u\in H^{2}(\mathbb{R}^N), \end{array} \right. \end{equation} where $a>0$, $b\geq 0$ and $V(x)$ and $f(x, u)$ are periodic or asymptotically periodic in $x$. We study the existence of Nehari-type ground state solutions of the problem just above with $f(x,u)u-4F(x,u)$ sign-changing, where $F(x,u):=\int_0^uf(x,s)d s$. We significantly extend some results from the previous literature. △ Less

Submitted 6 April, 2025; v1 submitted 20 January, 2025; originally announced January 2025.

MSC Class: 35G20; 35J10; 35J30; 35J35

Estimates of the gaps between consecutive eigenvalues for a class of elliptic differential operators in divergence form on Riemannian manifolds

Authors: Cristiano S. Silva, Juliana F. R. Miranda, Marcio C. Araújo Filho

Abstract: In this work, we obtain estimates for the upper bound of gaps between consecutive eigenvalues for the eigenvalue problem of a class of second-order elliptic differential operators in divergent form, with Dirichlet boundary conditions, in a limited domain of n-dimensional Euclidean space. This class of operators includes the well-known Laplacian and the square Cheng-Yau operator. For the Laplacian… ▽ More In this work, we obtain estimates for the upper bound of gaps between consecutive eigenvalues for the eigenvalue problem of a class of second-order elliptic differential operators in divergent form, with Dirichlet boundary conditions, in a limited domain of n-dimensional Euclidean space. This class of operators includes the well-known Laplacian and the square Cheng-Yau operator. For the Laplacian case, our estimate coincides with that obtained by D. Chen, T. Zheng, and H. Yang, which is the best possible in terms of the order of the eigenvalues. For pinched Cartan-Hadamard manifolds the estimates were made in particular cases of this operator. △ Less

Submitted 9 August, 2024; originally announced August 2024.

A Review on the Analysis and Optimal Control of Chemotaxis-Consumption Models

Authors: André Luiz Corrêa Vianna Filho, Francisco Guillén-González

Abstract: In the present review we focus on the chemotaxis-consumption model $\partial_t u - Δu = - \nabla \cdot (u \nabla v)$ and $\partial_t v - Δv = - u^s v$ in $(0,T) \times Ω$, for any fixed $s \geq 1$, endowed with isolated boundary conditions and nonnegative initial conditions, where $(u,v)$ model cell density and chemical signal concentration. Our objective is to present an overview of the related l… ▽ More In the present review we focus on the chemotaxis-consumption model $\partial_t u - Δu = - \nabla \cdot (u \nabla v)$ and $\partial_t v - Δv = - u^s v$ in $(0,T) \times Ω$, for any fixed $s \geq 1$, endowed with isolated boundary conditions and nonnegative initial conditions, where $(u,v)$ model cell density and chemical signal concentration. Our objective is to present an overview of the related literature and latest results on the aforementioned model concerning the following three distinct research lines we have obtained in [12,24-26]: the mathematical analysis, the numerical analysis and the related optimal control theory with a bilinear control acting on the chemical equation. △ Less

Submitted 9 February, 2024; originally announced February 2024.

MSC Class: 35A01; 35Q92; 65M12; 49J20; 49K20; 92C17

Geodesic Lines in Fields of Velocity

Authors: M. P. Dussan, A. P. Franco Filho

Abstract: This work is a purely syntactic geometric exploration of some few elements, which are our axioms, that in last instance it is the set of differential equations whose solutions give the geodesic lines of the Schwarzschild spacetime. We observe that non new physics principles or postulates will be introduced in this work. We only link the Bohr's atoms model with the Einstein's relativity through of… ▽ More This work is a purely syntactic geometric exploration of some few elements, which are our axioms, that in last instance it is the set of differential equations whose solutions give the geodesic lines of the Schwarzschild spacetime. We observe that non new physics principles or postulates will be introduced in this work. We only link the Bohr's atoms model with the Einstein's relativity through of a common geometric syntax. To obtain this common syntax, we will define the {\it extended Lorentz group}, which is defined to preserve the volume form of the Minkowski spacetime. The Schwarzschild spacetime will be defined as a manifold associated to a set of radial fields of velocities within of the four-dimensional Minkowski vectorially space form. Our procedure includes a comparison of the Newtonian and the Schwarzschild times along geodesic lines. Our constructions have strong influence of the Einstein paper about the energy content produced by fields, as well as by the Schrödinger digression about the annihilation of matter. We define the orbital associated to the Kepler's laws as a set of elliptical orbits, which have equal eccentricity and equal major semi-axis. Then identifying the eccentricity with the relativistic velocity we will obtain a thermodynamic equivalence between the increasing of mass in kinetic form in special relativity theory and an adiabatic process with degree of freedom equal to 2. The eccentricity will be the needed velocity to move the revolution ellipsoid and so to obtain a contraction of its major axis such that it converts into a sphere with radius given by the minor semi-axis. Therefore we can associate to the each class of equal eccentricity orbital an unique timelike unit vector, which is called {\it the observer} of class. △ Less

Submitted 1 October, 2023; originally announced November 2023.

Comments: 39 pages

MSC Class: 53Z05; 83C05; 83C15; 53B30; 53C50

Observability of the linear Zakharov--Kuznetsov equation

Authors: Roberto de A. Capistrano Filho, Vilmos Komornik, Ademir F. Pazoto

Abstract: We study the linear Zakharov--Kuznetsov equation with periodic boundary conditions. Employing some tools from the nonharmonic Fourier series we obtain several internal observability theorems. Then we prove various exact controllability and rapid uniform stabilization results by applying a duality principle and a general feedback construction. The method presented here introduces a new insight into… ▽ More We study the linear Zakharov--Kuznetsov equation with periodic boundary conditions. Employing some tools from the nonharmonic Fourier series we obtain several internal observability theorems. Then we prove various exact controllability and rapid uniform stabilization results by applying a duality principle and a general feedback construction. The method presented here introduces a new insight into the control of dispersive equations in two-dimensional cases and may be adapted to more general equations. △ Less

Submitted 24 February, 2025; v1 submitted 16 November, 2023; originally announced November 2023.

Comments: To appear in Applied Mathematics and Optimization

MSC Class: Primary: 35Q53 Secondary: 93B07; 93B05; 93B52

Spacelike minimal surfaces in R^4_1 through of a $θ$-Family

Authors: M. P. Dussan, A. P. Franco Filho, R. S. Santos

Abstract: In this paper we introduce a $θ$-family of spacelike surfaces in the Lorentz-Minkowski space R^4_1 based in two complex valued functions $a(w), μ(w)$, which when they are holomorphic we will be dealing with a family of spacelike minimal surfaces. The $θ$-family is such that it connects spacelike minimal surfaces in R^3_1 to spacelike minimal surfaces in R^3. We study the family through of the curv… ▽ More In this paper we introduce a $θ$-family of spacelike surfaces in the Lorentz-Minkowski space R^4_1 based in two complex valued functions $a(w), μ(w)$, which when they are holomorphic we will be dealing with a family of spacelike minimal surfaces. The $θ$-family is such that it connects spacelike minimal surfaces in R^3_1 to spacelike minimal surfaces in R^3. We study the family through of the curvature and we prove that the family preserves planar points and moreover, that the existence of planar points corresponds to the existence of solutions of equation |a_w(w)|^2 =0. We also show that if a pair of surfaces are associated through of a $θ$-family then they can not be complete surfaces. As applications we focus to one type of graph surfaces in R^4_1 and we prove that if the imaginary part of $a(w)$ is zero at least in a point then the surface cannot assume local representations of that type of graph. Several explicit examples are given. △ Less

Submitted 7 October, 2023; originally announced October 2023.

Comments: 17 pages

MSC Class: 53C42; 53C50; 53B30

Stability of solitary waves for generalized $abcd$-Boussinesq system: The Hamiltonian case

Authors: Roberto de A. Capistrano Filho, Jose Raul Quintero, Shu-Ming Sun

Abstract: The $abcd$-Boussinesq system is a model of two equations that can describe the propagation of small-amplitude long waves in both directions in the water of finite depth. Considering the Hamiltonian regimes, where the parameters $b$ and $d$ in the system satisfy $b=d>0$, small solutions in the energy space are globally defined. Then, a variational approach is applied to establish the existence and… ▽ More The $abcd$-Boussinesq system is a model of two equations that can describe the propagation of small-amplitude long waves in both directions in the water of finite depth. Considering the Hamiltonian regimes, where the parameters $b$ and $d$ in the system satisfy $b=d>0$, small solutions in the energy space are globally defined. Then, a variational approach is applied to establish the existence and nonlinear stability of the set of solitary-wave solutions for the generalized $abcb$-Boussinesq system. The main point of the analysis is to show that the traveling-wave solutions of the generalized $abcb$-Boussinesq system converge to nontrivial solitary-wave solutions of the generalized Korteweg-de Vries equation. Moreover, if $p$ is the exponent of the nonlinear terms for the generalized $abcb$-Boussinesq system, then the nonlinear stability of the set of solitary-waves is obtained for any $p$ with $ 0 < p < p_0$ where $p_0 $ is strictly larger than $4$, while it has been known that the critical exponent for the stability of solitary waves of the generalized KdV equations is equal to $ 4$. △ Less

Submitted 30 May, 2025; v1 submitted 29 June, 2023; originally announced June 2023.

Comments: 46 pages. Comments are welcome

MSC Class: 35B35; 76B25; 35Q35

Asymptotic behavior of Kawahara equation with memory effect

Authors: Roberto de A. Capistrano Filho, Boumediène Chentouf, Isadora Maria de Jesus

Abstract: In this work, we are interested in a detailed qualitative analysis of the Kawahara equation, a model that has numerous physical motivations such as magneto-acoustic waves in a cold plasma and gravity waves on the surface of a heavy liquid. First, we design a feedback control law, which combines a damping component and another one of finite memory-type. Then, we are capable of proving that the prob… ▽ More In this work, we are interested in a detailed qualitative analysis of the Kawahara equation, a model that has numerous physical motivations such as magneto-acoustic waves in a cold plasma and gravity waves on the surface of a heavy liquid. First, we design a feedback control law, which combines a damping component and another one of finite memory-type. Then, we are capable of proving that the problem is well-posed under a condition involving the feedback gains of the boundary control and the memory kernel. Afterwards, it is shown that the energy associated with this system exponentially decays. △ Less

Submitted 10 June, 2023; v1 submitted 29 May, 2023; originally announced May 2023.

Comments: 21 pages. Comments are welcome

MSC Class: 37L50; 93D15; 93D30

Approximation theorem for the Kawahara operator and its application in control theory

Authors: Roberto de A. Capistrano Filho, Luan S. de Sousa, Fernando A. Gallego

Abstract: Control properties of the Kawahara equation are considered when the equation is posed on an unbounded domain. Precisely, the paper's main results are related to an approximation theorem that ensures the exact (internal) controllability in $(0,+\infty)$. Following Rosier SIAM Simon (2000), the problem is reduced to prove an approximate theorem which is achieved thanks to a global Carleman estimate… ▽ More Control properties of the Kawahara equation are considered when the equation is posed on an unbounded domain. Precisely, the paper's main results are related to an approximation theorem that ensures the exact (internal) controllability in $(0,+\infty)$. Following Rosier SIAM Simon (2000), the problem is reduced to prove an approximate theorem which is achieved thanks to a global Carleman estimate for the Kawahara operator. △ Less

Submitted 12 March, 2024; v1 submitted 20 May, 2023; originally announced May 2023.

Comments: 20 pages. Comments are welcome

Inequalities for eigenvalues of operators in divergence form on Riemannian manifolds isometrically immersed in Euclidean space

Authors: Cristiano S. Silva, Juliana F. R. Miranda, Marcio C. Araújo Filho

Abstract: In this paper, we compute universal inequalities of eigenvalues of a large class of second-order elliptic differential operators in divergence form, that includes, e.g., the Laplace and Cheng-Yau operators, on a bounded domain in a complete Riemannian manifolds isometrically immersed in Euclidean space. A key step in order to obtain the sequence of our estimates is to get the right Yang-type first… ▽ More In this paper, we compute universal inequalities of eigenvalues of a large class of second-order elliptic differential operators in divergence form, that includes, e.g., the Laplace and Cheng-Yau operators, on a bounded domain in a complete Riemannian manifolds isometrically immersed in Euclidean space. A key step in order to obtain the sequence of our estimates is to get the right Yang-type first inequality. We also prove some inequalities for manifolds supporting some special functions and tensors. △ Less

Submitted 25 May, 2023; v1 submitted 19 May, 2023; originally announced May 2023.

Comments: 15 pages. arXiv admin note: text overlap with arXiv:2206.09431

A qualitative study of the generalized dispersive systems with time-delay: The unbounded case

Authors: Roberto de A. Capistrano Filho, Fernando Gallego, Vilmos Komornik

Abstract: We study the asymptotic behavior of the solutions of the time-delayed higher-order dispersive nonlinear differential equation \begin{equation*} u_t(x,t)+Au(x,t) +λ_0(x) u(x,t)+λ(x) u(x,t-τ)=0 \end{equation*} where \begin{equation*} Au=(-1)^{j+1}\partial_x^{2j+1}u+(-1)^m\partial_x^{2m}u+ \frac{1}{p+1}\partial_xu^{p+1} \end{equation*} with $m\le j$ and $1\le p<2j$. Under suitable assumptions on the… ▽ More We study the asymptotic behavior of the solutions of the time-delayed higher-order dispersive nonlinear differential equation \begin{equation*} u_t(x,t)+Au(x,t) +λ_0(x) u(x,t)+λ(x) u(x,t-τ)=0 \end{equation*} where \begin{equation*} Au=(-1)^{j+1}\partial_x^{2j+1}u+(-1)^m\partial_x^{2m}u+ \frac{1}{p+1}\partial_xu^{p+1} \end{equation*} with $m\le j$ and $1\le p<2j$. Under suitable assumptions on the time delay coefficients, we prove that the system is exponentially stable if the coefficient of the delay term is bounded from below by a suitable positive constant, without any assumption on the sign of the coefficient of the undelayed feedback. Additionally, in the absence of delay, general results of stabilization are established in $H^s(\mathbb{R})$ for $s\in[0,2j+1]$. Our results generalize several previous theorems for the Korteweg-de Vries type delayed systems in the literature. △ Less

Submitted 4 February, 2025; v1 submitted 12 March, 2023; originally announced March 2023.

Comments: 36 pages. Comments are welcome

MSC Class: 35Q53; 93D15; 93D30; 93C20

An optimal control problem subject to strong solutions of chemotaxis-consumption models

Authors: Francisco Guillén-González, André Luiz Corrêa Vianna Filho

Abstract: We consider a bilinear optimal control problem associated to the following chemotaxis-consumption model in a bounded domain $Ω\subset \mathbb{R}^3$ during a time interval $(0,T)$: $$\partial_t u - Δu = - \nabla \cdot (u \nabla v), \quad \partial_t v - Δv = - u^s v + f v 1_{Ω_c},$$ with $s \geq 1$, endowed with isolated boundary conditions and initial conditions for $(u,v)$, $u$ being the cell dens… ▽ More We consider a bilinear optimal control problem associated to the following chemotaxis-consumption model in a bounded domain $Ω\subset \mathbb{R}^3$ during a time interval $(0,T)$: $$\partial_t u - Δu = - \nabla \cdot (u \nabla v), \quad \partial_t v - Δv = - u^s v + f v 1_{Ω_c},$$ with $s \geq 1$, endowed with isolated boundary conditions and initial conditions for $(u,v)$, $u$ being the cell density, $v$ the chemical concentration and $f$ the bilinear control acting in a subdomain $Ω_c \subset Ω$. The existence of weak solutions $(u,v)$ to this model given $f \in L^q((0,T) \times Ω)$, for some $q > 5/2$, has been proved in [F. Guillén-González and A. L. Corrêa Vianna Filho, Optimal Control Related to Weak Solutions of a Chemotaxis-Consumption Model, arXiv:2211.14612, 2022]. In this paper, we study a related optimal control problem in the strong solution setting. First, imposing the regularity criterion $u ^s \in L^q((0,T) \times Ω)$ ($q > 5/2$) for a given weak solution, we prove existence and uniqueness of global-in-time strong solutions. Then, the existence of a global optimal solution can be deduced. Finally, using a Lagrange multipliers theorem, we establish first order optimality conditions for any local optimal solution, proving existence, uniqueness and regularity of the associated Lagrange multipliers. △ Less

Submitted 25 October, 2023; v1 submitted 15 February, 2023; originally announced February 2023.

MSC Class: 49J20; 49K20; 49N60; 35Q92; 92C17

Infinite memory effects on the stability of Biharmonic Schrödinger equation

Authors: Roberto de A. Capistrano Filho, Isadora Maria de Jesus, Victor Hugo Gonzalez Martinez

Abstract: This paper deals with the stabilization of the linear Biharmonic Schrödinger equation in an $n$-dimensional open bounded domain under Dirichlet-Neumann boundary conditions considering three infinite memory terms as damping mechanisms. We show that depending on the smoothness of initial data and the arbitrary growth at infinity of the kernel function, this class of solution goes to zero with a poly… ▽ More This paper deals with the stabilization of the linear Biharmonic Schrödinger equation in an $n$-dimensional open bounded domain under Dirichlet-Neumann boundary conditions considering three infinite memory terms as damping mechanisms. We show that depending on the smoothness of initial data and the arbitrary growth at infinity of the kernel function, this class of solution goes to zero with a polynomial decay rate like $t^{-n}$ depending on assumptions about the kernel function associated with the infinite memory terms. △ Less

Submitted 2 March, 2023; v1 submitted 24 January, 2023; originally announced January 2023.

On the stability of the Kawahara equation with a distributed infinite memory

Authors: Roberto de A. Capistrano Filho, Boumediène Chentouf, Isadora Maria de Jesus

Abstract: This article will deal with the stabilization problem for the higher-order dispersive system, commonly called the Kawahara equation. To do so, we introduce a damping mechanism via a distributed memory term in the equation to prove that the solutions of the Kawahara equation are exponentially stable, provided that specific assumptions on the memory kernel are fulfilled. This is possible thanks to t… ▽ More This article will deal with the stabilization problem for the higher-order dispersive system, commonly called the Kawahara equation. To do so, we introduce a damping mechanism via a distributed memory term in the equation to prove that the solutions of the Kawahara equation are exponentially stable, provided that specific assumptions on the memory kernel are fulfilled. This is possible thanks to the energy method that permits to provide a decay estimate of the system energy. △ Less

Submitted 5 December, 2022; originally announced December 2022.

Comments: 16 pages, comments are welcome

MSC Class: Primary: 35Q53; 93D20; 93D15 Secondary: 34K25

Optimal control related to weak solutions of a chemotaxis-consumption model

Authors: Francisco Guillén-González, André Luiz Corrêa Vianna Filho

Abstract: In the present work we investigate an optimal control problem related to the following chemotaxis-consumption model in a bounded domain $Ω\subset \mathbb{R}^3$: $$\partial_t u - Δu = - \nabla \cdot (u \nabla v), \quad \partial_t v - Δv = - u^s v + f \,v\, 1_{Ω_c},$$ with $s \geq 1$, endowed with isolated boundary conditions and initial conditions for $(u,v)$, being $u$ the cell density, $v$ th… ▽ More In the present work we investigate an optimal control problem related to the following chemotaxis-consumption model in a bounded domain $Ω\subset \mathbb{R}^3$: $$\partial_t u - Δu = - \nabla \cdot (u \nabla v), \quad \partial_t v - Δv = - u^s v + f \,v\, 1_{Ω_c},$$ with $s \geq 1$, endowed with isolated boundary conditions and initial conditions for $(u,v)$, being $u$ the cell density, $v$ the chemical concentration and $f$ the control acting in the $v$-equation through the bilinear term $f \,v\, 1_{Ω_c}$, in a subdomain $Ω_c \subset Ω$. We address the existence of optimal control restricted to a weak solution setting, where, in particular, uniqueness of state $(u,v)$ given a control $f$ is not clear. Then by considering weak solutions satisfying an adequate energy inequality, we prove the existence of optimal control subject to uniformly bounded controls. Finally, we discuss the relation between the considered control problem and two other related ones, where the existence of optimal solution can not be proved. △ Less

Submitted 9 February, 2024; v1 submitted 26 November, 2022; originally announced November 2022.

MSC Class: 35K51; 35Q92; 49J20; 92C17

Gapsets and the $k$-generalized Fibonacci sequences

Authors: Gilberto B. Almeida Filho, Matheus Bernardini

Abstract: In this paper, we bring the terminology of the Kunz coordinates of numerical semigroups to gapsets and we generalize this concept to $m$-extensions. It allows us to identify gapsets and, in general, $m$-extensions with tilings of boards. As a consequence, we prove a version of Bras-Amorós conjecture for $m$-extensions. Besides, we obtain a lower bound for the number of gapsets with fixed genus and… ▽ More In this paper, we bring the terminology of the Kunz coordinates of numerical semigroups to gapsets and we generalize this concept to $m$-extensions. It allows us to identify gapsets and, in general, $m$-extensions with tilings of boards. As a consequence, we prove a version of Bras-Amorós conjecture for $m$-extensions. Besides, we obtain a lower bound for the number of gapsets with fixed genus and depth at most 3 and a family of upper bounds for the number of gapsets with fixed genus. Moreover, we present explicit formulas for the number of gapsets with fixed genus and depth, when the multiplicity is 3 or 4, and, in some cases, for the number of gapsets with fixed genus and depth. △ Less

Submitted 16 August, 2022; originally announced August 2022.

Comments: 23 pages, 1 figure

MSC Class: 20M14 (Primary) 05A15; 05A19 (Secondary)

Convergence of a time discrete scheme for a chemotaxis-consumption model

Authors: Francisco Guillén-González, André Luiz Corrêa Vianna Filho

Abstract: In the present work we propose and study a time discrete scheme for the following chemotaxis-consumption model (for any $s\ge 1$), $$ \partial_t u - Δu = - \nabla \cdot (u \nabla v), \quad \partial_t v - Δv = - u^s v \quad \hbox{in $(0,T)\times Ω$,}$$ endowed with isolated boundary conditions and initial conditions, where $(u,v)… ▽ More In the present work we propose and study a time discrete scheme for the following chemotaxis-consumption model (for any $s\ge 1$), $$ \partial_t u - Δu = - \nabla \cdot (u \nabla v), \quad \partial_t v - Δv = - u^s v \quad \hbox{in $(0,T)\times Ω$,}$$ endowed with isolated boundary conditions and initial conditions, where $(u,v)$ model cell density and chemical signal concentration. The proposed scheme is defined via a reformulation of the model, using the auxiliary variable $z = \sqrt{v + α^2}$ combined with a Backward Euler scheme for the $(u,z)$-problem and a upper truncation of $u$ in the nonlinear chemotaxis and consumption terms. Then, two different ways of retrieving an approximation for the function $v$ are provided. We prove the existence of solution to the time discrete scheme and establish uniform in time \emph{a priori} estimates, yielding the convergence of the scheme towards a weak solution $(u,v)$ of the chemotaxis-consumption model. △ Less

Submitted 25 October, 2023; v1 submitted 5 July, 2022; originally announced July 2022.

MSC Class: 35K51; 35K55; 35Q92; 65M12; 92C17

Eigenvalue estimates for a class of elliptic differential operators in divergence form on Riemannian manifolds isometrically immersed in Euclidean space

Authors: Marcio C. Araújo Filho, José N. V. Gomes

Abstract: In this paper, we obtain eigenvalue estimates for a larger class of elliptic differential operators in divergence form on a bounded domain in a complete Riemannian manifold isometrically immersed in Euclidean space. As an application, we give eigenvalue estimates in the Gaussian shrinking soliton, and we find a domain that makes the behavior of these estimates similar to the estimates for the case… ▽ More In this paper, we obtain eigenvalue estimates for a larger class of elliptic differential operators in divergence form on a bounded domain in a complete Riemannian manifold isometrically immersed in Euclidean space. As an application, we give eigenvalue estimates in the Gaussian shrinking soliton, and we find a domain that makes the behavior of these estimates similar to the estimates for the case of the Laplacian. Moreover, we also give an answer to the generalized conjecture of Pólya. △ Less

Submitted 26 June, 2023; v1 submitted 19 June, 2022; originally announced June 2022.

Comments: Final version which has been accepted for publication in Zeitschrift für Angewandte Mathematik und Physik

MSC Class: Primary 47A75; Secondary 47F05; 35P15; 53C25

Uniform in time solutions for a chemotaxis with potential consumption model

Authors: A. L. Corrêa Vianna Filho, Francisco Guillén-González

Abstract: In this work we investigate the following chemo-attraction with consumption model in bounded domains of \, $\mathbb{R}^N$ ($N=1,2,3$): $$ \partial_t u - Δu = - \nabla \cdot (u \nabla v), \quad \partial_t v - Δv = - u^s v $$ where $s\ge 1$, endowed with isolated boundary conditions and initial conditions for $(u,v)$. The main novelty in the model is the nonlinear potential consumption term… ▽ More In this work we investigate the following chemo-attraction with consumption model in bounded domains of \, $\mathbb{R}^N$ ($N=1,2,3$): $$ \partial_t u - Δu = - \nabla \cdot (u \nabla v), \quad \partial_t v - Δv = - u^s v $$ where $s\ge 1$, endowed with isolated boundary conditions and initial conditions for $(u,v)$. The main novelty in the model is the nonlinear potential consumption term $u^sv$. Through the convergence of solutions of an adequate truncated model, two main results are established; existence of uniform in time weak solutions in $3D$ domains, and uniqueness and regularity in $2D$ (or $1D$) domains. Both results are proved imposing minimal regularity assumptions on the boundary of the domain. △ Less

Submitted 16 February, 2023; v1 submitted 18 April, 2022; originally announced April 2022.

MSC Class: 35A01; 35Q92; 35K51; 35K55; 92C17

Inequalities for eigenvalues of fourth-order elliptic operators in divergence form on complete Riemannian manifolds

Authors: Marcio Costa Araújo Filho

Abstract: We prove some inequalities of Payne-Pólya-Weinberger-Yang type for eigenvalues of fourth-order elliptic operators in weighted divergence form on complete Riemannian manifolds which generalizes the corresponding result for the clamped plate problem. We also prove estimates for lower order eigenvalues that contain some of the estimates from the literature. As an application of our results, we obtain… ▽ More We prove some inequalities of Payne-Pólya-Weinberger-Yang type for eigenvalues of fourth-order elliptic operators in weighted divergence form on complete Riemannian manifolds which generalizes the corresponding result for the clamped plate problem. We also prove estimates for lower order eigenvalues that contain some of the estimates from the literature. As an application of our results, we obtain eigenvalues estimates for the bi-drifted Cheng-Yau operator. △ Less

Submitted 17 January, 2022; originally announced January 2022.

Comments: 27 pages

Journal ref: Z. Angew. Math. Phys. 73, 47 (2022)

On generalized quasi-Einstein manifolds

Authors: Antonio Airton Freitas Filho, Keti Tenenblat

Abstract: A rigidity result for a class of compact generalized quasi-Einstein manifolds with constant scalar curvature is obtained. Moreover, under some geometric assumptions, the rigidity for the noncompact case is also proved. Considering non constant scalar curvature, we characterize the generalized quasi-Einstein manifolds which are conformal to the Euclidean space and we show that there exist two class… ▽ More A rigidity result for a class of compact generalized quasi-Einstein manifolds with constant scalar curvature is obtained. Moreover, under some geometric assumptions, the rigidity for the noncompact case is also proved. Considering non constant scalar curvature, we characterize the generalized quasi-Einstein manifolds which are conformal to the Euclidean space and we show that there exist two classes of complete manifolds, which are obtained by considering potential functions and conformal factors either to be radial or invariant under the action of an (n-1)-dimensional translation group. Explicit examples are given. △ Less

Submitted 8 December, 2021; originally announced December 2021.

Comments: 14 pages

MSC Class: Primary: 53C25; 53C44; 53C24; Secondary: 53C21

Estimates for the first eigenvalues of Bi-drifted Laplacian on smooth metric measure space

Authors: Marcio Costa Araújo Filho

Abstract: In this paper, we obtain lower bounds for the first eigenvalue to some kinds of the eigenvalue problems for Bi-drifted Laplacian operator on compact manifolds (also called a smooth metric measure space) with boundary and $m$-Bakry-Emery Ricci curvature or Bakry-Emery Ricci curvature bounded below. We also address the eigenvalue problem with Wentzell-type boundary condition for drifted Laplacian on… ▽ More In this paper, we obtain lower bounds for the first eigenvalue to some kinds of the eigenvalue problems for Bi-drifted Laplacian operator on compact manifolds (also called a smooth metric measure space) with boundary and $m$-Bakry-Emery Ricci curvature or Bakry-Emery Ricci curvature bounded below. We also address the eigenvalue problem with Wentzell-type boundary condition for drifted Laplacian on smooth metric measure space. △ Less

Submitted 20 November, 2021; v1 submitted 18 November, 2021; originally announced November 2021.

Comments: Final version which has been accepted for publication in Differential Geometry and its Applications

Report number: DIFGEO_101839 MSC Class: 35P15(Primary); 58C35; 58C40 (Secondary)

Control of Kawahara equation with overdetermination condition: The unbounded cases

Authors: Roberto de A. Capistrano Filho, Luan S. de Sousa, Fernando A. Gallego

Abstract: In this manuscript we consider the internal control problem for the fifth order KdV type equation, commonly called the Kawahara equation, on unbounded domains. Precisely, under certain hypotheses over the initial and boundary data, we are able to prove that there exists an internal control input such that solutions of the Kawahara equation satisfies an integral overdetermination condition. This co… ▽ More In this manuscript we consider the internal control problem for the fifth order KdV type equation, commonly called the Kawahara equation, on unbounded domains. Precisely, under certain hypotheses over the initial and boundary data, we are able to prove that there exists an internal control input such that solutions of the Kawahara equation satisfies an integral overdetermination condition. This condition is satisfied when the domain of the Kawahara equation is posed in the real line, left half-line and right half-line. Moreover, we are also able to prove that there exists a minimal time in which the integral overdetermination condition is satisfied. Finally, we show a type of exact controllability associated with the "mass" of the Kawahara equation posed in the half-line. △ Less

Submitted 9 February, 2022; v1 submitted 17 October, 2021; originally announced October 2021.

Comments: 22pages

MSC Class: 35G31; 35Q53; 93B05; 37K10; 49N45

Journal ref: Math. Meth. Appl. Sci. 46 (2023), 15162-15185

On Pure k-sparse gapsets

Authors: Gilberto B. Almeida Filho, Matheus Bernardini

Abstract: In this paper, we study gapsets and we focus on obtaining information on how the maximum distance between to consecutive elements influences the behaviour of the set. In particular, we prove that the cardinality of the set of gapsets with genus $g$ such that the maximum distance between two consecutive elements is $κ$ is equal to the cardinality of the set of gapsets with genus $g+1$ such that the… ▽ More In this paper, we study gapsets and we focus on obtaining information on how the maximum distance between to consecutive elements influences the behaviour of the set. In particular, we prove that the cardinality of the set of gapsets with genus $g$ such that the maximum distance between two consecutive elements is $κ$ is equal to the cardinality of the set of gapsets with genus $g+1$ such that the maximum distance between two consecutive elements is $κ+1$, when $2g \leq 3κ$. △ Less

Submitted 22 January, 2022; v1 submitted 24 June, 2021; originally announced June 2021.

MSC Class: Primary 20M14; Secondary 05A15; 05A19

Rapid Exponential Stabilization of a Boussinesq System of KdV--KdV Type

Authors: Roberto de A. Capistrano Filho, Eduardo Cerpa, Fernando A. Gallego

Abstract: This paper studies the exponential stabilization of a Boussinesq system describing the two-way propagation of small amplitude gravity waves on the surface of an ideal fluid, the so-called Boussinesq system of the Korteweg-de Vries type. We use a Gramian-based method introduced by Urquiza to design our feedback control. By means of spectral analysis and Fourier expansion, we show that the solutions… ▽ More This paper studies the exponential stabilization of a Boussinesq system describing the two-way propagation of small amplitude gravity waves on the surface of an ideal fluid, the so-called Boussinesq system of the Korteweg-de Vries type. We use a Gramian-based method introduced by Urquiza to design our feedback control. By means of spectral analysis and Fourier expansion, we show that the solutions of the linearized system decay uniformly to zero when the feedback control is applied. The decay rate can be chosen as large as we want. The main novelty of our work is that we can exponentially stabilize this system of two coupled equations using only one scalar input. △ Less

Submitted 19 April, 2021; originally announced April 2021.

MSC Class: 93D15; 35Q53; 93B05

Journal ref: Communications in Contemporary Mathematics (2023)

Control results with overdetermination condition for higher order dispersive system

Authors: Roberto de A. Capistrano Filho, Luan S. de Sousa

Abstract: In recent years, controllability problems for dispersive systems have been extensively studied. This work is dedicated to proving a new type of controllability for a dispersive fifth order equation that models water waves, what we will now call the overdetermination control problem. Precisely, we are able to find a control acting at the boundary that guarantees that the solutions of the problem un… ▽ More In recent years, controllability problems for dispersive systems have been extensively studied. This work is dedicated to proving a new type of controllability for a dispersive fifth order equation that models water waves, what we will now call the overdetermination control problem. Precisely, we are able to find a control acting at the boundary that guarantees that the solutions of the problem under consideration satisfy an overdetermination integral condition. In addition, when we make the control act internally in the system, instead of the boundary, we are also able to prove that this condition is satisfied. These problems give answers that were left open in [6] and present a new way to prove boundary and internal controllability results for a fifth order KdV type equation. △ Less

Submitted 21 March, 2021; v1 submitted 15 March, 2021; originally announced March 2021.

Comments: In this new version we made an improvement in the introduction and some modificacion on Lemma 3.1. Comments are welcome

MSC Class: 49N45; 35Q93; 93B05; 37K10

Journal ref: Journal of Mathematical Analysis and Applications 506 1 2022

Minimal spacelike surfaces and the graphic equations in R^4_1

Authors: M. P. Dussan, A. P. Franco Filho, R. S. Santos

Abstract: In this paper we study an extension of the Bernstein Theorem for minimal spacelike surfaces of the four dimensional Minkowski vector space form and we obtain the class of those surfaces which are also graphics and have non-zero Gauss curvature. That is the class of entire solutions of a system of two elliptic non-linear equations that is an extension of the equation of minimal graphic of… ▽ More In this paper we study an extension of the Bernstein Theorem for minimal spacelike surfaces of the four dimensional Minkowski vector space form and we obtain the class of those surfaces which are also graphics and have non-zero Gauss curvature. That is the class of entire solutions of a system of two elliptic non-linear equations that is an extension of the equation of minimal graphic of $\mathbb R^3$. Therefore, we prove that the so-called Bernstein property does not hold in general for the case of graphic spacelike surfaces in $\mathbb R^4_1$. In addition, we also obtain explicitly the conjugated minimal spacelike surface, and identify the necessary conditions to extend continuously a local solution of the generalized Cauchy-Riemann equations. △ Less

Submitted 27 February, 2021; v1 submitted 26 January, 2021; originally announced January 2021.

MSC Class: 53C42; 53C50

Estimates of eigenvalues of an elliptic differential system in divergence form

Authors: Marcio C. Araújo Filho, José N. V. Gomes

Abstract: In this paper, we compute universal estimates of eigenvalues of a coupled system of elliptic differential equations in divergence form on a bounded domain in Euclidean space. As an application, we show an interesting case of rigidity inequalities of the eigenvalues of the Laplacian, more precisely, we consider a countable family of bounded domains in Gaussian shrinking soliton that makes the behav… ▽ More In this paper, we compute universal estimates of eigenvalues of a coupled system of elliptic differential equations in divergence form on a bounded domain in Euclidean space. As an application, we show an interesting case of rigidity inequalities of the eigenvalues of the Laplacian, more precisely, we consider a countable family of bounded domains in Gaussian shrinking soliton that makes the behavior of known estimates of the eigenvalues of the Laplacian invariant by a first-order perturbation of the Laplacian. We also address the Gaussian expanding soliton case in two different settings. We finish with the special case of divergence-free tensors which is closely related to the Cheng-Yau operator. △ Less

Submitted 14 September, 2022; v1 submitted 26 November, 2020; originally announced November 2020.

Comments: Final version which has been accepted for publication in Zeitschrift für Angewandte Mathematik und Physik

Report number: ZAMP-D-22-00084 MSC Class: Primary:47A75; Secondary: 47F05; 35P15; 53C24; 53C25

Journal ref: Zeitschrift für Angewandte Mathematik und Physik, 2022

Controls insensitizing the norm of solution of a Schrödinger type system with mixed dispersion

Authors: Roberto de A. Capistrano Filho, Thiago Yukio Tanaka

Abstract: The main goal of this manuscript is to prove the existence of insensitizing controls for the fourth-order dispersive nonlinear Schrödinger equation with cubic nonlinearity. To obtain the main result we prove a null controllability property for a coupled fourth-order Schrödinger cascade type system with zero-order coupling which is equivalent to the insensitizing control problem. Precisely, employi… ▽ More The main goal of this manuscript is to prove the existence of insensitizing controls for the fourth-order dispersive nonlinear Schrödinger equation with cubic nonlinearity. To obtain the main result we prove a null controllability property for a coupled fourth-order Schrödinger cascade type system with zero-order coupling which is equivalent to the insensitizing control problem. Precisely, employing a new Carleman estimate, we first obtain a null controllability result for the linearized system around zero, and then the null controllability for the nonlinear case is extended using an inverse mapping theorem. △ Less

Submitted 27 June, 2024; v1 submitted 28 October, 2020; originally announced October 2020.

Comments: 26 pages. Comments are welcome

MSC Class: 35Q55; 93C20; 93B05; 93B07; 93C41

The fractional Schrödinger equation on compact manifolds: Global controllability results

Authors: Roberto de A. Capistrano Filho, Ademir Pampu

Abstract: The goal of this work is to prove global controllability and stabilization properties for the fractional Schrödinger equation on $d$-dimensional compact Riemannian manifolds without boundary $(M,g)$. To prove our main results we use techniques of pseudo-differential calculus on manifolds. More precisely, by using microlocal analysis, we are able to prove propagation of regularity which together wi… ▽ More The goal of this work is to prove global controllability and stabilization properties for the fractional Schrödinger equation on $d$-dimensional compact Riemannian manifolds without boundary $(M,g)$. To prove our main results we use techniques of pseudo-differential calculus on manifolds. More precisely, by using microlocal analysis, we are able to prove propagation of regularity which together with the so-called Geometric Control Condition and Unique Continuation Property help us to prove global control results for the system under consideration. As a main novelty this manuscript presents the relation between the geometric control condition and the controllability for the fractional Schrödinger equation. △ Less

Submitted 5 October, 2021; v1 submitted 11 January, 2020; originally announced January 2020.

Comments: 27 pages

MSC Class: 35Q55; 93B05; 93D15; 35A21; 35R11; 35S05

Journal ref: Mathematische Zeitschrift (2022) 301

Timelike surfaces in the de Sitter space $\mathbb S^3_1(1)\subset \mathbb R^4_1$

Authors: M. P. Dussan, A. P. Franco Filho, M. Magid

Abstract: This paper studies timelike minimal surfaces in the De Sitter space $\mathbb S^3_1(1) \subset \mathbb R^4_1$ via a complex variable. Using complex analysis and stereographic projection of lightlike vectors we obtain a representation formula. Real and complex special quadrics in $\mathbb CP^3$ are identified with the grassmannians of spacelike and timelike oriented 2-planes of $\mathbb R^4_1$, and… ▽ More This paper studies timelike minimal surfaces in the De Sitter space $\mathbb S^3_1(1) \subset \mathbb R^4_1$ via a complex variable. Using complex analysis and stereographic projection of lightlike vectors we obtain a representation formula. Real and complex special quadrics in $\mathbb CP^3$ are identified with the grassmannians of spacelike and timelike oriented 2-planes of $\mathbb R^4_1$, and the normal frame is written in terms of certain complex valued functions $x$ and $y$, which may be considered holomorphic functions as a special case. Then several results describing the analytic restrictions via solutions of certain PDE in complex variable, are shown. Finding solutions allows us to identify explicitly the representation of the associated surfaces. Moreover, using our technique we find a new kind of complex function which we call quasi-holomorphic and which satisfy a generalized version of the Cauchy-Riemann equations. Our technique allows the explicit construction of many families of minimal timelike surfaces in $\mathbb S^3_1(1)$ whose intrinsic Gauss map will also belong to the same class of surfaces. △ Less

Submitted 11 October, 2019; originally announced October 2019.

Comments: 18 pages

MSC Class: 53C42; 53B30; 30D60; 34A26

Forcing operators on star graphs applied for the cubic fourth order Schrödinger equation

Authors: Roberto de A. Capistrano Filho, Márcio Cavalcante, Fernando A. Gallego

Abstract: In a recent article \textit{"Lower regularity solutions of the biharmonic Schrödinger equation in a quarter plane", to appear on Pacific Journal of Mathematics [15]}, the authors gave a starting point of the study on a series of problems concerning the initial boundary value problem and control theory of Biharmonic NLS in some non-standard domains. In this direction, this article deals to present… ▽ More In a recent article \textit{"Lower regularity solutions of the biharmonic Schrödinger equation in a quarter plane", to appear on Pacific Journal of Mathematics [15]}, the authors gave a starting point of the study on a series of problems concerning the initial boundary value problem and control theory of Biharmonic NLS in some non-standard domains. In this direction, this article deals to present answers for some questions left in [15] concerning the study of the cubic fourth order Schrödinger equation in a star graph structure $\mathcal{G}$. Precisely, consider $\mathcal{G}$ composed by $N$ edges parameterized by half-lines $(0,+\infty)$ attached with a common vertex $ν$. With this structure the manuscript proposes to study the well-posedness of a dispersive model on star graphs with three appropriated vertex conditions by using the \textit{boundary forcing operator approach}. More precisely, we give positive answer for the Cauchy problem in low regularity Sobolev spaces. We have noted that this approach seems very efficient, since this allows to use the tools of Harmonic Analysis, for instance, the Fourier restriction method, introduced by Bourgain, while for the other known standard methods to solve partial differential partial equations on star graphs are more complicated to capture the dispersive smoothing effect in low regularity. The arguments presented in this work have prospects to be applied for other nonlinear dispersive equations in the context of star graphs with unbounded edges. △ Less

Submitted 10 August, 2020; v1 submitted 15 September, 2019; originally announced September 2019.

Comments: 28 pages, 1 figure

MSC Class: 35R02; 35Q55; 35C15; 81Q35; 35G30

Journal ref: Discrete & Continuous Dynamical Systems - B (2022)

A Cauchy problem for minimal spacelike surfaces in $\mathbb{R}^4_2$

Authors: Alexandre Lymberopoulos, Antonio de Padua Franco Filho, Anuar Enrique Paternina Montalvo

Abstract: We give a definition of isoclinic parametric surfaces in $\mathbb{R}^4_2$ and prove that such an isoclinic conformal immersion comes from two holomorphic functions. A Cauchy problem was proposed and solved, namely: construct an isoclinic and minimal positive (negative) spacelike surface in $\mathbb{R}^4_2$, containing a given positive (negative) real analytic curve. At last, we study the important… ▽ More We give a definition of isoclinic parametric surfaces in $\mathbb{R}^4_2$ and prove that such an isoclinic conformal immersion comes from two holomorphic functions. A Cauchy problem was proposed and solved, namely: construct an isoclinic and minimal positive (negative) spacelike surface in $\mathbb{R}^4_2$, containing a given positive (negative) real analytic curve. At last, we study the important and well-known Björling problem, providing some examples was given in the last section. △ Less

Submitted 2 June, 2019; v1 submitted 21 May, 2019; originally announced May 2019.

Comments: 24 pages

MSC Class: 53B30

Well-posedness and controllability of Kawahara equation in weighted Sobolev spaces

Authors: Roberto de A. Capistrano Filho, Milena de S. Gomes

Abstract: We consider the Kawahara equation, a fifth order Korteweg-de Vries type equation, posed on a bounded interval. The first result of the article is related to the well-posedness in weighted Sobolev spaces, which one was shown using a general version of the Lax--Milgram Theorem. With respect to the control problems, we will prove two results. First, if the control region is a neighborhood of the righ… ▽ More We consider the Kawahara equation, a fifth order Korteweg-de Vries type equation, posed on a bounded interval. The first result of the article is related to the well-posedness in weighted Sobolev spaces, which one was shown using a general version of the Lax--Milgram Theorem. With respect to the control problems, we will prove two results. First, if the control region is a neighborhood of the right endpoint, an exact controllability result in weighted Sobolev spaces is established. Lastly, we show that the Kawahara equation is controllable by regions on $L^2$ Sobolev space, the so-called regional controllability, that is, the state function is exact controlled on the left part of the complement of the control region and null controlled on the right part of the complement of the control region. △ Less

Submitted 18 January, 2021; v1 submitted 17 May, 2019; originally announced May 2019.

Comments: 22 pages. To appear in Nonlinear Analysis. arXiv admin note: text overlap with arXiv:1401.6833

Journal ref: Nonlinear Analysis, Volume 207 (2021)

On The Björling Problem For Lightlike Curves In $\mathbb{R}^4_1$

Authors: Antonio de Padua Franco Filho, Alexandre Lymberopoulos

Abstract: In this work we provide necessary and sufficient conditions for the existence of a minimal timelike strip in Lorentz-Minkowski space $\mathbb{R}^4_1$ containing a given lightlike curve and prescribed normal bundle. We also discuss uniqueness of solutions. In this work we provide necessary and sufficient conditions for the existence of a minimal timelike strip in Lorentz-Minkowski space $\mathbb{R}^4_1$ containing a given lightlike curve and prescribed normal bundle. We also discuss uniqueness of solutions. △ Less

Submitted 15 November, 2019; v1 submitted 3 May, 2019; originally announced May 2019.

MSC Class: 53B30

Some partial differential equations and conformal surfaces of the 4-dimensional Minkowski space

Authors: Martha P. Dussan, A. P. Franco Filho, P. Simoes

Abstract: This paper introduces a complex representation for spacelike surfaces in the Lorentz-Minkowski space $L^4$, based in two complex valued functions which can be assumed to be holomorphic or anti-holomorphic. When the immersion is contained in quadrics of $L^4$, the representation then allows us to obtain interesting partial differential equations with holomorphic or anti-holomorphic parameters, with… ▽ More This paper introduces a complex representation for spacelike surfaces in the Lorentz-Minkowski space $L^4$, based in two complex valued functions which can be assumed to be holomorphic or anti-holomorphic. When the immersion is contained in quadrics of $L^4$, the representation then allows us to obtain interesting partial differential equations with holomorphic or anti-holomorphic parameters, within which we find the partial Riccati Equation. Using then theory of holomorphic complex functions we construct explicitly new local solutions for those PDEs together with its associated geometric solutions. So, several explicit examples are given. As geometric consequence, through of our approach we characterize all conformal totally umbilical spacelike immersions into $L^4$, and in addition, we also show that for each conformal immersion in $L^4$ which satisfies the partial Riccati equation there exists a Bryant immersion in $H^3$, both immersions being congruent by a translation vector. △ Less

Submitted 26 April, 2019; originally announced April 2019.

MSC Class: 53C50; 53C42; 53B30; 53A35; 30D60; 34A26

Journal ref: Nonlinear Analysis 207 (2021) 112271

A Polylogarithm Solution to the Epsilon--Delta Problem

Authors: Paulo M. de Carvalho-Neto, Paulo A. Liboni Filho

Abstract: Let $f$ be a continuous real function defined in a subset of the real line. The standard definition of continuity at a point $x$ allow us to correlate any given epsilon with a (possibly depending of $x$) delta value. This pairing is known as the epsilon--delta relation of $f$. In this work, we demonstrate the existence of a privileged choice of delta in the sense that it is continuous, invertible,… ▽ More Let $f$ be a continuous real function defined in a subset of the real line. The standard definition of continuity at a point $x$ allow us to correlate any given epsilon with a (possibly depending of $x$) delta value. This pairing is known as the epsilon--delta relation of $f$. In this work, we demonstrate the existence of a privileged choice of delta in the sense that it is continuous, invertible, maximal and it is the solution of a simple functional equation. We also introduce an algorithm that can be used to numerically calculate this map in polylogarithm time, proving the computability of the epsilon--delta relation. Finally, some examples are analyzed in order to showcase the accuracy and effectiveness of these methods, even when the explicit formula for the aforementioned privileged function is unknown due to the lack of analytical tools for solving the functional equation. △ Less

Submitted 11 October, 2017; originally announced October 2017.

Collatz Numbers

Authors: G. H. S. Costa, A. C. Souza Filho

Abstract: In this article we present set of infinite natural numbers which satisfies the conjecture $3n+1$. In this article we present set of infinite natural numbers which satisfies the conjecture $3n+1$. △ Less

Submitted 3 August, 2016; originally announced August 2016.

Comments: The article is written in format of a report

MSC Class: 11A07; 11D61; 11Z05

Gradient Ricci almost soliton warped product

Authors: F. E. S. Feitosa, A. A. Freitas Filho, J. N. V. Gomes, R. S. Pina

Abstract: We present the necessary and sufficient conditions for constructing gradient Ricci almost solitons that are realized as warped products. This will be done by means of Bishop-O'Neill's formulas and a particular study of Riemannian manifolds satisfying a Ricci-Hessian type equation. We prove existence results and give an example of particular solutions of the PDEs that arise from our construction. W… ▽ More We present the necessary and sufficient conditions for constructing gradient Ricci almost solitons that are realized as warped products. This will be done by means of Bishop-O'Neill's formulas and a particular study of Riemannian manifolds satisfying a Ricci-Hessian type equation. We prove existence results and give an example of particular solutions of the PDEs that arise from our construction. We also prove a rigidity result for a gradient Ricci soliton Riemannian product in the class of gradient Ricci almost soliton warped products under some natural geometric assumptions on the warping function. △ Less

Submitted 8 May, 2019; v1 submitted 10 July, 2015; originally announced July 2015.

Comments: Final version which has been accepted for publication in Journal of Geometry and Physics

MSC Class: Primary 53C15; 53C25; Secondary 53C21

Journal ref: Journal of Geometry and Physics 143 (2019) 22-32

On the construction of gradient Ricci soliton warped product

Authors: F. E. S. Feitosa, A. A. Freitas Filho, J. N. V. Gomes

Abstract: In this paper we show that an expanding or steady gradient Ricci soliton warped product $B^n\times_f F^m$, $m>1$, whose warping function $f$ reaches both maximum and minimum must be a Riemannian product. Moreover, we present a necessary and sufficient condition for constructing a gradient Ricci soliton warped product. As an application, we present a class of expanding Ricci soliton warped product… ▽ More In this paper we show that an expanding or steady gradient Ricci soliton warped product $B^n\times_f F^m$, $m>1$, whose warping function $f$ reaches both maximum and minimum must be a Riemannian product. Moreover, we present a necessary and sufficient condition for constructing a gradient Ricci soliton warped product. As an application, we present a class of expanding Ricci soliton warped product having as a fiber an Einstein manifold with non-positive scalar curvature. We also discuss some obstructions to this construction, especially in the case when the base of the warped product is compact. △ Less

Submitted 26 May, 2017; v1 submitted 1 June, 2015; originally announced June 2015.

Comments: Final version. To appear in Journal of Nonlinear Analysis

MSC Class: Primary 53C24; 53C25; Secondary 53C21

Journal ref: Nonlinear Analysis 161 (2017) 30-43

Dirichlet-Ford domains and Double Dirichlet domains

Authors: Eric Jespers, Stanley Orlando Juriaans, Ann Kiefer, Antonio Calixto Souza Filho, Antonio De Andrade E. Silva

Abstract: We continue investigations started by Lakeland on Fuchsian and Kleinian groups which have a Dirichlet fundamental domain that also is a Ford domain in the upper half-space model of hyperbolic $2$- and $3$-space, or which have a Dirichlet domain with multiple centers. Such domains are called DF-domains and Double Dirichlet domains respectively. Making use of earlier obtained concrete formulas for t… ▽ More We continue investigations started by Lakeland on Fuchsian and Kleinian groups which have a Dirichlet fundamental domain that also is a Ford domain in the upper half-space model of hyperbolic $2$- and $3$-space, or which have a Dirichlet domain with multiple centers. Such domains are called DF-domains and Double Dirichlet domains respectively. Making use of earlier obtained concrete formulas for the bisectors defining the Dirichlet domain of center $i \in \HQ^2$ or center $j \in \HQ^3$, we obtain a simple condition on the matrix entries of the side-pairing transformations of the fundamental domain of a Fuchsian or Kleinian group to be a DF-domain. Using the same methods, we also complement a result of Lakeland stating that a cofinite Fuchsian group has a DF domain (or a Dirichlet domain with multiple centers) if and only if it is an index $2$ subgroup of the discrete group G of reflections in a hyperbolic polygon. △ Less

Submitted 21 June, 2016; v1 submitted 25 November, 2014; originally announced November 2014.

Comments: new refereed version. We changed minor things, but added Lemma 4.7. 13 pages. arXiv admin note: substantial text overlap with arXiv:1205.1127

From the Poincaré Theorem to generators of the unit group of integral group rings of finite groups

Authors: Eric Jespers, Stanley Orlando Juriaans, Ann Kiefer, Antonio de Andrade e Silva, Anotnio Calixto Souza Filho

Abstract: We give an algorithm to determine finitely many generators for a subgroup of finite index in the unit group of an integral group ring $\mathbb{Z} G$ of a finite nilpotent group $G$, this provided the rational group algebra $\mathbb{Q} G$ does not have simple components that are division classical quaternion algebras or two-by-two matrices over a classical quaternion algebra with centre… ▽ More We give an algorithm to determine finitely many generators for a subgroup of finite index in the unit group of an integral group ring $\mathbb{Z} G$ of a finite nilpotent group $G$, this provided the rational group algebra $\mathbb{Q} G$ does not have simple components that are division classical quaternion algebras or two-by-two matrices over a classical quaternion algebra with centre $\mathbb{Q}$. The main difficulty is to deal with orders in quaternion algebras over the rationals or a quadratic imaginary extension of the rationals. In order to deal with these we give a finite and easy implementable algorithm to compute a fundamental domain in the hyperbolic three space $\mathbb{H}^3$ (respectively hyperbolic two space $\mathbb{H}^2$) for a discrete subgroup of ${\rm PSL}_2(\mathbb{C})$ (respectively ${\rm PSL}_2(\mathbb{R})$) of finite covolume. Our results on group rings are a continuation of earlier work of Ritter and Sehgal, Jespers and Leal. △ Less

Submitted 27 October, 2013; originally announced October 2013.

Comments: 32 pages, accepted in Mathematics of Computations. arXiv admin note: substantial text overlap with arXiv:1205.1127

Traces of Torsion Units

Authors: S. O. Juriaans, A. De A. E Silva, A. C. Souza Filho

Abstract: A conjecture due to Zassenhaus asserts that if $\ G$ is a finite group then any torsion unit in $\mathbb{Z}G$ is conjugate in $\mathbb{Q}G$ to an element of $\ G$. We present a weaker form of this conjecture for some infinite groups. A conjecture due to Zassenhaus asserts that if $\ G$ is a finite group then any torsion unit in $\mathbb{Z}G$ is conjugate in $\mathbb{Q}G$ to an element of $\ G$. We present a weaker form of this conjecture for some infinite groups. △ Less

Submitted 5 October, 2012; originally announced October 2012.

Comments: Key words and frases: Group Rings, torsion units, unique trace property, 7 pages

MSC Class: Primary 20C05; 20C07; 16S34. Secondary 16U60

Poincaré Bisectors in Hyperbolic Spaces

Authors: Eric Jespers, Stanley Orlando Juriaans, Ann Kiefer, Antonio Calixto de Souza Filho, Antonio De Andrade E Silva

Abstract: We determine explicit formulas for the bisectors used in constructing a Dirichlet fundamental domain in hyperbolic two and three space. They are compared with the isometric spheres employed in the construction of a Ford domain and used to find a finite set of generators for discrete groups of finite covolume. Applications are given to Fuchsian groups, Kleinian groups, including the Bianchi groups,… ▽ More We determine explicit formulas for the bisectors used in constructing a Dirichlet fundamental domain in hyperbolic two and three space. They are compared with the isometric spheres employed in the construction of a Ford domain and used to find a finite set of generators for discrete groups of finite covolume. Applications are given to Fuchsian groups, Kleinian groups, including the Bianchi groups, and for the construction of a finite set of generators of the unit group of the integral group ring of a finite nilpotent group. An easy implementable algorithm, DAFC, is also given and used in the search for generators of discrete groups. △ Less

Submitted 25 November, 2014; v1 submitted 5 May, 2012; originally announced May 2012.

Comments: This paper has been withdrawn by the authors because it was not very clear. We have splitted the results into two different papers making them clearer and better understandable. Those papers may be found on arxiv under the names "From the Poincaré Theorem to generators of the unit group of integral group rings of finite groups" and "Dirichlet-Ford domains and Double Dirichlet domains"

Free Groups in Quaternion Algebras

Authors: S. O. Juriaans, A. C. Souza Filho

Abstract: In \cite{jpsf} we constructed pairs of units $u,v$ in $\Z$-orders of a quaternion algebra over $\Q (\sqrt{-d})$, $d \equiv 7 \pmod 8$ positive and square free, such that $< u^ n,v^n>$ is free for some $n\in \mathbb{N}$. Here we extend this result to any imaginary quadratic extension of $\ \mathbb{Q}$, thus including matrix algebras. More precisely, we show that $< u^n,v^n> $ is a free group for al… ▽ More In \cite{jpsf} we constructed pairs of units $u,v$ in $\Z$-orders of a quaternion algebra over $\Q (\sqrt{-d})$, $d \equiv 7 \pmod 8$ positive and square free, such that $< u^ n,v^n>$ is free for some $n\in \mathbb{N}$. Here we extend this result to any imaginary quadratic extension of $\ \mathbb{Q}$, thus including matrix algebras. More precisely, we show that $< u^n,v^n> $ is a free group for all $n\geq 1$ and $d>2$ and for $d=2$ and all $n\geq 2$. The units we use arise from Pell's and Gauss' equations. A criterion for a pair of homeomorphisms to generate a free semigroup is also established and used to prove that two certain units generate a free semigroup but that, in this case, the Ping-Pong Lemma can not be applied to show that the group they generate is free. △ Less

Submitted 4 October, 2010; v1 submitted 14 January, 2009; originally announced January 2009.

Comments: 10 pages, article presented in conferences: Algebra School, Brasilia-Brazil, Brasilia National University (july-2010); Summer 2009 Meeting of CMS in Groups and Hopf Algebras section, St. Jonh's-Canada, Memorial University of Newfoundland (June-2009); Groups, Rings and Group Rings, Ubatuba-Brazil (july-2008)

MSC Class: 16U60; 20E05; 16S34; 20F67

Hyperbolicity of Semigroup Algebras II

Authors: E. Iwaki, E. Jespers, S. O. Juriaans, A. C. Souza Filho

Abstract: In 1996 Jespers and Wang classified finite semigroups whose integral semigroup ring has finitely many units. In a recent paper, Iwaki-Juriaans-Souza Filho continued this line of research by partially classifying the finite semigroups whose rational semigroup algebra %over a field of characteristic zero, contains a ${\mathbb{Z}}$-order with hyperbolic unit group. In this paper we complete this cl… ▽ More In 1996 Jespers and Wang classified finite semigroups whose integral semigroup ring has finitely many units. In a recent paper, Iwaki-Juriaans-Souza Filho continued this line of research by partially classifying the finite semigroups whose rational semigroup algebra %over a field of characteristic zero, contains a ${\mathbb{Z}}$-order with hyperbolic unit group. In this paper we complete this classification by handling the case in which the semigroup is semi-simple. △ Less

Submitted 24 October, 2008; originally announced October 2008.

Comments: In doi:10.1016/j.jalgebra.2008.03.015 it was, partially, classified the finite semigroups S which the semigroup algebra QS has the hyperbolic property. In this article we complete this classification

MSC Class: 16U60; 20M25 (Primary); 20M10; 16S36 (Secondary)

Alternative algebras with the hyperbolic property

Authors: S. O. Juriaans, C. Polcino Milies, A. C. Souza Filho

Abstract: We investigate the structure of an alternative finite dimensional $\Q$-algebra $\mathfrak{A}$ subject to the condition that for a $\Z$-order $Γ\subset \mathfrak{A}$, and thus for every $\Z$-order of $\mathfrak{A}$, the loop of units of $\U (Γ)$ does not contain a free abelian subgroup of rank two. In particular, we prove that the radical of such an algebra associates with the whole algebra. We als… ▽ More We investigate the structure of an alternative finite dimensional $\Q$-algebra $\mathfrak{A}$ subject to the condition that for a $\Z$-order $Γ\subset \mathfrak{A}$, and thus for every $\Z$-order of $\mathfrak{A}$, the loop of units of $\U (Γ)$ does not contain a free abelian subgroup of rank two. In particular, we prove that the radical of such an algebra associates with the whole algebra. We also classify $RA$-loops $L$ for which $\mathbb{Z}L$ has this property. The classification for group rings is still an open problem. △ Less

Submitted 31 January, 2011; v1 submitted 24 October, 2008; originally announced October 2008.

Comments: Third author's Ph.D. (parcial); generalization of those results for the non-associative case, 9 pps. Conf.: Geometry, Topology, Algebra and Number Theory, Steklov Math. Inst., Moscow-Russia (Aug, 2010); XVIII Latin American Colloquium of Algebra, São Paulo-Brazil (July, 2009); Algebras, Representation and Applications, Ubatuba-Brazil (aug., 2007); Group and Group Rings, Bedlewo-Poland (2005)

MSC Class: 20N05; 17D05 (Primary); 16S34 (Secondary)

Hyperbolic Unit Groups and Quaternion Algebras

Authors: S. O. Juriaans, I. B. S. Passi, A. C. Souza Filho

Abstract: We Classify the rational quadratic extensions K and the finite groups G for which the group ring R[G] of G over the ring R of integers of K has the property that the group of units of augmentation 1 of R[G] is hyperbolic. We also construct units in a non-split quaternion algebra over R. We Classify the rational quadratic extensions K and the finite groups G for which the group ring R[G] of G over the ring R of integers of K has the property that the group of units of augmentation 1 of R[G] is hyperbolic. We also construct units in a non-split quaternion algebra over R. △ Less

Submitted 14 January, 2009; v1 submitted 13 September, 2007; originally announced September 2007.

Comments: 15 pages, this work is part of the PHd. Thesis of the third author. The paper was accepted in Proceedings Mathematical Sciences

MSC Class: 16U60; 16S34; 20F67