-
AneuPy: An open source Python tool for creating simulation-ready geometries of abdominal aortic aneurysms
Authors:
Mario de Lucio,
Jacobo Diaz,
Alberto de Castro,
Luis E. Romera
Abstract:
Abdominal aortic aneurysms (AAAs) are localized dilatations of the abdominal aorta that can lead to life-threatening rupture if left untreated. AAAs primarily affect older individuals, with high mortality rates following rupture, so early diagnosis and risk assessment are critical. The geometrical characteristics of an AAA, such as its maximum diameter, asymmetry, and wall thickness, are extremely…
▽ More
Abdominal aortic aneurysms (AAAs) are localized dilatations of the abdominal aorta that can lead to life-threatening rupture if left untreated. AAAs primarily affect older individuals, with high mortality rates following rupture, so early diagnosis and risk assessment are critical. The geometrical characteristics of an AAA, such as its maximum diameter, asymmetry, and wall thickness, are extremely significant in biomechanical models for the assessment of rupture risk. Despite the growing use of computational modeling for AAA investigation, there is a notable gap in accessible, open-source software capable of generating simulation-ready geometries for biomechanical and hemodynamic simulations. To address this gap, we introduce \textbf{AneuPy}, an open-source Python-based tool designed to create both idealized and patient-specific AAA geometric models. \textbf{AneuPy} is a fast and automated approach for generating aneurysm geometries from minimal input data, allowing for extensive parameter customization. By automating the creation of simulation-ready geometries for finite element analysis (FEA), computational fluid dynamics (CFD), or fluid-structure interaction (FSI) models, \textbf{AneuPy} can facilitate research in AAA and improve patient-specific risk prediction.
△ Less
Submitted 15 May, 2025; v1 submitted 13 March, 2025;
originally announced April 2025.
-
Three-phase Muskat problem: uniform lifespan with respect to the distance between interfaces
Authors:
Ángel Castro,
Liangchen Zou
Abstract:
We consider the three-phase Muskat problem with different densities and the same viscosities. We study the lifespan of the solutions with respect to the distance between interfaces, $d$. It is shown that if the initial distance, $d_0$, satisfies $σ/2<d_0<σ$, with $σ>0$ small, then the existence time in real-analytic spaces does not depend on $σ.$
We consider the three-phase Muskat problem with different densities and the same viscosities. We study the lifespan of the solutions with respect to the distance between interfaces, $d$. It is shown that if the initial distance, $d_0$, satisfies $σ/2<d_0<σ$, with $σ>0$ small, then the existence time in real-analytic spaces does not depend on $σ.$
△ Less
Submitted 28 March, 2025;
originally announced March 2025.
-
Global-in-time estimates for the 2D one-phase Muskat problem with contact points
Authors:
Edoardo Bocchi,
Ángel Castro,
Francisco Gancedo
Abstract:
In this paper, we study the dynamics of a two-dimensional viscous fluid evolving through a porous medium or a Hele-Shaw cell, driven by gravity and surface tension. A key feature of this study is that the fluid is confined within a vessel with vertical walls and below a dry region. Consequently, the dynamics of the contact points between the vessel, the fluid and the dry region are inherently coup…
▽ More
In this paper, we study the dynamics of a two-dimensional viscous fluid evolving through a porous medium or a Hele-Shaw cell, driven by gravity and surface tension. A key feature of this study is that the fluid is confined within a vessel with vertical walls and below a dry region. Consequently, the dynamics of the contact points between the vessel, the fluid and the dry region are inherently coupled with the surface evolution. A similar contact scenario was recently analyzed for more regular viscous flows, modeled by the Stokes [GuoTice2018] and Navier-Stokes [GuoTice2024] equations. Here, we adopt the same framework but use the more singular Darcy's law for modeling the flow. We prove global-in-time a priori estimates for solutions initially close to equilibrium. Taking advantage of the Neumann problem solved by the velocity potential, the analysis is carried out in non-weighted $L^2$-based Sobolev spaces and without imposing restrictions on the contact angles.
△ Less
Submitted 26 February, 2025;
originally announced February 2025.
-
Unstable vortices, sharp non-uniqueness with forcing, and global smooth solutions for the SQG equation
Authors:
Ángel Castro,
Daniel Faraco,
Francisco Mengual,
Marcos Solera
Abstract:
We prove non-uniqueness of weak solutions to the forced $α$-SQG equation with Sobolev regularity $W^{s,p}$ in the supercritical regime $s < α+ \frac{2}{p}$, covering the 2D Euler equation ($α= 0$), the Surface Quasi-Geostrophic equation ($α= 1$), and the intermediate cases. A key step is the construction of smooth, compactly supported vortices that exhibit non-linear instability. As a by-product,…
▽ More
We prove non-uniqueness of weak solutions to the forced $α$-SQG equation with Sobolev regularity $W^{s,p}$ in the supercritical regime $s < α+ \frac{2}{p}$, covering the 2D Euler equation ($α= 0$), the Surface Quasi-Geostrophic equation ($α= 1$), and the intermediate cases. A key step is the construction of smooth, compactly supported vortices that exhibit non-linear instability. As a by-product, we show existence of global smooth solutions to the (unforced) $α$-SQG equation that are neither rotating nor traveling.
△ Less
Submitted 14 February, 2025;
originally announced February 2025.
-
Regularity, linear response formula and differentiability of the free energy for non-uniformly expanding local homeomorphisms
Authors:
Carlos Bocker,
Ricardo Bortolotti,
Armando Castro,
Sávio Santana
Abstract:
We study equilibrium states for an open class of non-uniformly expanding local homeomorphisms defined by a mild condition such that for some iterate each point admits at least one contracting inverse branch. We prove the existence and uniqueness of equilibrium states and the differentiability of statistical quantities (such as the equilibrium states and the free energy function) with respect to th…
▽ More
We study equilibrium states for an open class of non-uniformly expanding local homeomorphisms defined by a mild condition such that for some iterate each point admits at least one contracting inverse branch. We prove the existence and uniqueness of equilibrium states and the differentiability of statistical quantities (such as the equilibrium states and the free energy function) with respect to the dynamical system.
△ Less
Submitted 15 October, 2024;
originally announced October 2024.
-
Spatio-Temporal Performance of 2D Local Inertial Hydrodynamic Models for Urban Drainage and Dam-Break Applications
Authors:
Marcus N. Gomes Jr.,
Maria A. R. A. Castro,
Luis M. R. Castillo,
Mateo H. Sánchez,
Marcio H. Giacomoni,
Rodrigo C. D. de Paiva,
Paul D. Bates
Abstract:
Accurate flood modeling is crucial for effective analysis and forecasting. Full momentum hydrodynamic models often require extensive computational time, sometimes exceeding the forecast horizon. In contrast, low-complexity models, like local-inertial approximations, provide accurate results in subcritical flows but may have limited skillfulness in supercritical conditions. This paper explores two…
▽ More
Accurate flood modeling is crucial for effective analysis and forecasting. Full momentum hydrodynamic models often require extensive computational time, sometimes exceeding the forecast horizon. In contrast, low-complexity models, like local-inertial approximations, provide accurate results in subcritical flows but may have limited skillfulness in supercritical conditions. This paper explores two main aspects: (i) the impact of urban infrastructure on 2D hydrodynamic modeling without detailed sewer and drainage data, and (ii) the accuracy of 2D local-inertial modeling using three numerical schemes (original formulation, s-centered, and s-upwind) in a dam-break scenario on complex, flat terrain. The HydroPol2D model is benchmarked against HEC-RAS 2D full momentum solver. We present one numerical case study and three real-world scenarios in São Paulo, Brazil: a detention pond with a $1$ in $100$-year inflow, a highly urbanized catchment with a $1$ in $50$-year hyetograph, and a dam-break scenario threatening a coastal city of nearly 200,000 residents. Results show that the model accurately simulates internal boundary conditions, achieving peak errors under 5\% compared to HEC-RAS 2D. However, neglecting urban infrastructure can lead to a 17.5\% difference in peak discharges at the outlet and significant mismatches in hydrographs, with computational times nearly doubling. The dam-break scenario demonstrates good predictive performance for maximum flood depths (CSI = $0.95$ for the original model, $0.92$ for s-centered, and $0.89$ for s-upwind), though the model's lack of convective inertia results in faster flood wave propagation than the full momentum solver. Notably, HydroPol2D is 23 times faster than HEC-RAS 2D, making it well-suited for simulating dam collapses in forecasting systems and capable of modeling urban drainage infrastructure such as orifices, weirs, and pumps.
△ Less
Submitted 11 October, 2024;
originally announced October 2024.
-
Relative Group Trisections
Authors:
Nickolas Andres Castro,
Jason Joseph,
Patrick K. McFaddin
Abstract:
Trisections of closed 4-manifolds, first defined and studied by Gay and Kirby, have proved to be a useful tool in the systematic analysis of 4-manifolds via handlebodies. Subsequent work of Abrams, Gay, and Kirby established a connection with the algebraic notion of a group trisection, which strikingly defines a one-to-one correspondence. We generalize the notion of a group trisection to the non-c…
▽ More
Trisections of closed 4-manifolds, first defined and studied by Gay and Kirby, have proved to be a useful tool in the systematic analysis of 4-manifolds via handlebodies. Subsequent work of Abrams, Gay, and Kirby established a connection with the algebraic notion of a group trisection, which strikingly defines a one-to-one correspondence. We generalize the notion of a group trisection to the non-closed case by defining and studying relative group trisections. We establish an analogous one-to-one correspondence between relative trisections and relative group trisections up to equivalence. The key lemma in the construction may be of independent interest, as it generalizes the classical fact that there is a unique handlebody extension of a surface realizing a given surjection. Moreover, we establish a functorial relationship between relative trisections of manifolds and groups, extending work of Klug in the closed case.
△ Less
Submitted 23 July, 2024; v1 submitted 20 June, 2024;
originally announced June 2024.
-
Traveling waves near Poiseuille flow for the 2D Euler equation
Authors:
Ángel Castro,
Daniel Lear
Abstract:
In this paper we reveal the existence of a large family of new, nontrivial and Lipschitz traveling waves for the 2D Euler equation at an arbitrarily small distance from the Poiseuille flow in $H^s$, with $s<3/2$, at the level of the vorticity.
In this paper we reveal the existence of a large family of new, nontrivial and Lipschitz traveling waves for the 2D Euler equation at an arbitrarily small distance from the Poiseuille flow in $H^s$, with $s<3/2$, at the level of the vorticity.
△ Less
Submitted 29 April, 2024;
originally announced April 2024.
-
A proof of Vishik's nonuniqueness Theorem for the forced 2D Euler equation
Authors:
Ángel Castro,
Daniel Faraco,
Francisco Mengual,
Marcos Solera
Abstract:
We give a simpler proof of Vishik's nonuniqueness Theorem for the forced 2D Euler equation in the vorticity class $L^1\cap L^p$ with $2<p<\infty$. The main simplification is an alternative construction of a smooth and compactly supported unstable vortex, which is split into two steps: Firstly, we construct a piecewise constant unstable vortex, and secondly, we find a regularization through a fixed…
▽ More
We give a simpler proof of Vishik's nonuniqueness Theorem for the forced 2D Euler equation in the vorticity class $L^1\cap L^p$ with $2<p<\infty$. The main simplification is an alternative construction of a smooth and compactly supported unstable vortex, which is split into two steps: Firstly, we construct a piecewise constant unstable vortex, and secondly, we find a regularization through a fixed point argument. This simpler structure of the unstable vortex yields a simplification of the other parts of Vishik's proof.
△ Less
Submitted 24 April, 2024;
originally announced April 2024.
-
Time periodic solutions for the 2D Euler equation near Taylor-Couette flow
Authors:
Ángel Castro,
Daniel Lear
Abstract:
In this paper we consider the incompressible 2D Euler equation in an annular domain with non-penetration boundary condition. In this setting, we prove the existence of a family of non-trivially smooth time-periodic solutions at an arbitrarily small distance from the stationary Taylor-Couette flow in $H^s$, with $s<3/2$, at the vorticity level.
In this paper we consider the incompressible 2D Euler equation in an annular domain with non-penetration boundary condition. In this setting, we prove the existence of a family of non-trivially smooth time-periodic solutions at an arbitrarily small distance from the stationary Taylor-Couette flow in $H^s$, with $s<3/2$, at the vorticity level.
△ Less
Submitted 12 November, 2023;
originally announced November 2023.
-
Davydov-Yetter cohomology for Tensor Triangulated Categories
Authors:
Angel Israel Toledo Castro
Abstract:
One way to understand the deformation theory of a tensor category $M$ is through its Davydov-Yetter cohomology $H_{DY}^{\ast}(M)$ which in degree 3 and 4 is known to control respectively first order deformations of the associativity coherence of $M$ and their obstructions. \\ In this work we take the task of developing an analogous theory for the deformation theory of tensor triangulated categorie…
▽ More
One way to understand the deformation theory of a tensor category $M$ is through its Davydov-Yetter cohomology $H_{DY}^{\ast}(M)$ which in degree 3 and 4 is known to control respectively first order deformations of the associativity coherence of $M$ and their obstructions. \\ In this work we take the task of developing an analogous theory for the deformation theory of tensor triangulated categories with a focus on derived categories coming from algebraic geometry. We introduce the concept of perfect pseudo dg-tensor structure $Γ$ on an appropriate dg-category $\mathscr{T}$ as a truncated dg-lift of a tensor triangulated category structure on $H^{0}(\mathscr{T})$ and we define a double complex $DY^{\ast,\ast}(Γ)$ and we see that the 4th cohomology group $HDY^{4}(Γ)$ of the total complex of $DY^{\ast,\ast}(Γ)$ contains information about infinitesimal first order deformations of the tensor structure.
△ Less
Submitted 5 October, 2023;
originally announced October 2023.
-
Entropy solutions to macroscopic IPM
Authors:
Ángel Castro,
Daniel Faraco,
Björn Gebhard
Abstract:
We investigate maximal potential energy dissipation as a selection criterion for subsolutions (coarse grained solutions) in the setting of the unstable Muskat problem. We show that both, imposing this criterion on the level of convex integration subsolutions, and the strategy of Otto based on a relaxation via minimizing movements, lead to the same nonlocal conservation law. Our main result shows t…
▽ More
We investigate maximal potential energy dissipation as a selection criterion for subsolutions (coarse grained solutions) in the setting of the unstable Muskat problem. We show that both, imposing this criterion on the level of convex integration subsolutions, and the strategy of Otto based on a relaxation via minimizing movements, lead to the same nonlocal conservation law. Our main result shows that this equation admits an entropy solution for unstable initial data with an analytic interface.
△ Less
Submitted 1 November, 2024; v1 submitted 7 September, 2023;
originally announced September 2023.
-
Explicit synchronous partitioned scheme for coupled reduced order models based on composite reduced bases
Authors:
Amy de Castro,
Pavel Bochev,
Paul Kuberry,
Irina Tezaur
Abstract:
This paper formulates, analyzes, and demonstrates numerically a method for the partitioned solution of coupled interface problems involving combinations of projection-based reduced order models (ROM) and/or full order methods (FOMs). The method builds on the partitioned scheme developed in [1], which starts from a well-posed formulation of the coupled interface problem and uses its dual Schur comp…
▽ More
This paper formulates, analyzes, and demonstrates numerically a method for the partitioned solution of coupled interface problems involving combinations of projection-based reduced order models (ROM) and/or full order methods (FOMs). The method builds on the partitioned scheme developed in [1], which starts from a well-posed formulation of the coupled interface problem and uses its dual Schur complement to obtain an approximation of the interface flux. Explicit time integration of this problem decouples its subdomain equations and enables their independent solution on each subdomain. Extension of this partitioned scheme to coupled ROM-ROM or ROM-FOM problems required formulations with non-singular Schur complements. To obtain these problems, we project a well-posed coupled FOM-FOM problem onto a composite reduced basis comprising separate sets of basis vectors for the interface and interior variables, and use the interface reduced basis as a Lagrange multiplier. Our analysis confirms that the resulting coupled ROM-ROM and ROM-FOM problems have provably non-singular Schur complements, independent of the mesh size and the reduced basis size. In the ROM-FOM case, analysis shows that one can also use the interface FOM space as a Lagrange multiplier. We illustrate the theoretical and computational properties of the partitioned scheme through reproductive and predictive tests for a model advection-diffusion transmission problem.
△ Less
Submitted 26 August, 2023; v1 submitted 8 June, 2023;
originally announced June 2023.
-
Formulation and analysis of a Schur complement method for fluid-structure interaction
Authors:
Amy de Castro,
Hyesuk Lee,
Margaret M. Wiecek
Abstract:
This work presents a strongly coupled partitioned method for fluid-structure interaction (FSI) problems based on a monolithic formulation of the system which employs a Lagrange multiplier. We prove that both the semi-discrete and fully discrete formulations are well-posed. To derive a partitioned scheme, a Schur complement equation, which implicitly expresses the Lagrange multiplier and the fluid…
▽ More
This work presents a strongly coupled partitioned method for fluid-structure interaction (FSI) problems based on a monolithic formulation of the system which employs a Lagrange multiplier. We prove that both the semi-discrete and fully discrete formulations are well-posed. To derive a partitioned scheme, a Schur complement equation, which implicitly expresses the Lagrange multiplier and the fluid pressure in terms of the fluid velocity and structural displacement, is constructed based on the monolithic FSI system. Solving the Schur complement system at each time step allows for the decoupling of the fluid and structure subproblems, making the method non-iterative between subdomains. We investigate bounds for the condition number of the Schur complement matrix and present initial numerical results to demonstrate the performance of our approach, which attains the expected convergence rates.
△ Less
Submitted 28 April, 2023;
originally announced April 2023.
-
Tensor triangulated category structures in the derived category of a variety with big (anti-)canonical bundle
Authors:
Angel Israel Toledo Castro
Abstract:
Let $X$ be a smooth projective variety over $\mathbb{C}$ with big (anti-)canonical bundle. It is known that in this situation the Balmer spectrum of the tensor triangulated category of perfect complexes $Perf(X)$ of $X$ equipped with the derived tensor product $\otimes_{X}^{\mathbb{L}}$ recovers the space $X$. In this work we study the possible tensor triangulated category structures one can put o…
▽ More
Let $X$ be a smooth projective variety over $\mathbb{C}$ with big (anti-)canonical bundle. It is known that in this situation the Balmer spectrum of the tensor triangulated category of perfect complexes $Perf(X)$ of $X$ equipped with the derived tensor product $\otimes_{X}^{\mathbb{L}}$ recovers the space $X$. In this work we study the possible tensor triangulated category structures one can put on $Perf(X)$. As an application we prove a monoidal version of the well-known Bondal-Orlov reconstruction theorem.
△ Less
Submitted 27 March, 2023;
originally announced March 2023.
-
Slice obstructions from genus bounds in definite 4-manifolds
Authors:
Paolo Aceto,
Nickolas A. Castro,
Maggie Miller,
JungHwan Park,
András Stipsicz
Abstract:
We discuss an obstruction to a knot being smoothly slice that comes from minimum-genus bounds on smoothly embedded surfaces in definite 4-manifolds. As an example, we provide an alternate proof of the fact that the (2,1)-cable of the figure eight knot is not smoothly slice, as shown by Dai--Kang--Mallick--Park--Stoffregen in 2022. The main technical input of our argument consists of gauge-theoreti…
▽ More
We discuss an obstruction to a knot being smoothly slice that comes from minimum-genus bounds on smoothly embedded surfaces in definite 4-manifolds. As an example, we provide an alternate proof of the fact that the (2,1)-cable of the figure eight knot is not smoothly slice, as shown by Dai--Kang--Mallick--Park--Stoffregen in 2022. The main technical input of our argument consists of gauge-theoretic obstructions to smooth small-genus surfaces representing certain homology classes in $\mathbb{CP}^2\#\mathbb{CP}^2$ proved by Bryan in the 1990s.
△ Less
Submitted 19 March, 2023;
originally announced March 2023.
-
Persistence of solutions to the Derivative Nonlinear Schrödinger equation in weighted Sobolev spaces
Authors:
Alejandro J. Castro,
Khumoyun Jabbarkhanov,
Azamat Kassimbekov
Abstract:
In this paper we show the persistence property for solutions of the derivative nonlinear Schrödinger equation with initial data in weighted Sobolev spaces $H^{2}(\mathbb{R})\cap L^2(|x|^{2r}dx)$, $r\in (0,1]$.
In this paper we show the persistence property for solutions of the derivative nonlinear Schrödinger equation with initial data in weighted Sobolev spaces $H^{2}(\mathbb{R})\cap L^2(|x|^{2r}dx)$, $r\in (0,1]$.
△ Less
Submitted 10 May, 2024; v1 submitted 10 December, 2022;
originally announced December 2022.
-
A note on the quartic generalized Korteweg-de Vries equation in weighted Sobolev spaces
Authors:
Alejandro J. Castro,
Amin Esfahani,
Lyailya Zhapsarbayeva
Abstract:
In this paper we establish the persistence property for solutions of the quartic generalized Korteweg-de Vries equation with initial data in weighted Sobolev spaces $H^{s}(\mathbb{R})\cap L^2(|x|^{2r}dx)$ for $s =1/12 + \varepsilon$ and any $r\in (0,R)$, for some $0 < \varepsilon < 1/4$ and $0<R<s/2$.
In this paper we establish the persistence property for solutions of the quartic generalized Korteweg-de Vries equation with initial data in weighted Sobolev spaces $H^{s}(\mathbb{R})\cap L^2(|x|^{2r}dx)$ for $s =1/12 + \varepsilon$ and any $r\in (0,R)$, for some $0 < \varepsilon < 1/4$ and $0<R<s/2$.
△ Less
Submitted 14 September, 2023; v1 submitted 26 July, 2022;
originally announced July 2022.
-
A Novel Partitioned Approach for Reduced Order Model -- Finite Element Model (ROM-FEM) and ROM-ROM Coupling
Authors:
Amy de Castro,
Paul Kuberry,
Irina Tezaur,
Pavel Bochev
Abstract:
Partitioned methods allow one to build a simulation capability for coupled problems by reusing existing single-component codes. In so doing, partitioned methods can shorten code development and validation times for multiphysics and multiscale applications. In this work, we consider a scenario in which one or more of the "codes" being coupled are projection-based reduced order models (ROMs), introd…
▽ More
Partitioned methods allow one to build a simulation capability for coupled problems by reusing existing single-component codes. In so doing, partitioned methods can shorten code development and validation times for multiphysics and multiscale applications. In this work, we consider a scenario in which one or more of the "codes" being coupled are projection-based reduced order models (ROMs), introduced to lower the computational cost associated with a particular component. We simulate this scenario by considering a model interface problem that is discretized independently on two non-overlapping subdomains. We then formulate a partitioned scheme for this problem that allows the coupling between a ROM "code" for one of the subdomains with a finite element model (FEM) or ROM "code" for the other subdomain. The ROM "codes" are constructed by performing proper orthogonal decomposition (POD) on a snapshot ensemble to obtain a low-dimensional reduced order basis, followed by a Galerkin projection onto this basis. The ROM and/or FEM "codes" on each subdomain are then coupled using a Lagrange multiplier representing the interface flux. To partition the resulting monolithic problem, we first eliminate the flux through a dual Schur complement. Application of an explicit time integration scheme to the transformed monolithic problem decouples the subdomain equations, allowing their independent solution for the next time step. We show numerical results that demonstrate the proposed method's efficacy in achieving both ROM-FEM and ROM-ROM coupling.
△ Less
Submitted 9 June, 2022;
originally announced June 2022.
-
Generalizing the Mukai Conjecture to the symplectic category and the Kostant game
Authors:
Alexander Caviedes Castro,
Milena Pabiniak,
Silvia Sabatini
Abstract:
In this paper we pose the question of whether the (generalized) Mukai inequalities hold for compact, positive monotone symplectic manifolds. We first provide a method that enables one to check whether the (generalized) Mukai inequalities hold true. This only makes use of the almost complex structure of the manifold and the analysis of the zeros of the so-called generalized Hilbert polynomial, whic…
▽ More
In this paper we pose the question of whether the (generalized) Mukai inequalities hold for compact, positive monotone symplectic manifolds. We first provide a method that enables one to check whether the (generalized) Mukai inequalities hold true. This only makes use of the almost complex structure of the manifold and the analysis of the zeros of the so-called generalized Hilbert polynomial, which takes into account the Atiyah-Singer indices of all possible line bundles. We apply this method to generalized flag varieties. In order to find the zeros of the corresponding generalized Hilbert polynomial we introduce a modified version of the Kostant game and study its combinatorial properties.
△ Less
Submitted 1 June, 2022;
originally announced June 2022.
-
The Nonlinear Schrödinger-Airy equation in weighted Sobolev spaces
Authors:
Alejandro J. Castro,
Khumoyun Jabbarkhanov,
Lyailya Zhapsarbayeva
Abstract:
We study the persistence property of the solution for the nonlinear Schrödinger-Airy equation with initial data in the weighted Sobolev space $H^{1/4}(\mathbb{R})\cap L^2(|x|^{2m}dx)$, $0<m \leq 1/8$, via the contraction principle.
We study the persistence property of the solution for the nonlinear Schrödinger-Airy equation with initial data in the weighted Sobolev space $H^{1/4}(\mathbb{R})\cap L^2(|x|^{2m}dx)$, $0<m \leq 1/8$, via the contraction principle.
△ Less
Submitted 25 March, 2022;
originally announced March 2022.
-
Traveling waves near Couette flow for the 2D Euler equation
Authors:
Ángel Castro,
Daniel Lear
Abstract:
In this paper we reveal the existence of a large family of new, nontrivial and smooth traveling waves for the 2D Euler equation at an arbitrarily small distance from the Couette flow in $H^s$, with $s<3/2$, at the level of the vorticity. The speed of these waves is of order 1 with respect to this distance. This result strongly contrasts with the setting of very high regularity in Gevrey spaces (se…
▽ More
In this paper we reveal the existence of a large family of new, nontrivial and smooth traveling waves for the 2D Euler equation at an arbitrarily small distance from the Couette flow in $H^s$, with $s<3/2$, at the level of the vorticity. The speed of these waves is of order 1 with respect to this distance. This result strongly contrasts with the setting of very high regularity in Gevrey spaces (see arXiv:1306.5028), where the problem exhibits an inviscid damping mechanism that leads to relaxation of perturbations back to nearby shear flows. It also complements the fact that there not exist nontrivial traveling waves in the $H^{\frac{3}{2}+}$ neighborhoods of Couette flow (see arXiv:1004.5149).
△ Less
Submitted 5 November, 2021;
originally announced November 2021.
-
Variation operators for semigroups associated with Fourier-Bessel expansions
Authors:
Jorge J. Betancor,
Alejandro J. Castro,
Marta De León-Contreras
Abstract:
In this paper we establish $L^p$-boundedness properties for variation operators defined by semigroups associated with Fourier-Bessel expansions.
In this paper we establish $L^p$-boundedness properties for variation operators defined by semigroups associated with Fourier-Bessel expansions.
△ Less
Submitted 30 April, 2021;
originally announced April 2021.
-
Stability of traveling waves for the Burgers-Hilbert equation
Authors:
Ángel Castro,
Diego Córdoba,
Fan Zheng
Abstract:
We consider smooth solutions of the Burgers-Hilbert equation that are a small perturbation $δ$ from a global periodic traveling wave with small amplitude $ε$. We use a modified energy method to prove the existence time of smooth solutions on a time scale of $\frac{1}{εδ}$ with $0<δ\llε\ll1$ and on a time scale of $\fracε{δ^2}$ with $0<δ\llε^2\ll1$. Moreover, we show that the traveling wave exists…
▽ More
We consider smooth solutions of the Burgers-Hilbert equation that are a small perturbation $δ$ from a global periodic traveling wave with small amplitude $ε$. We use a modified energy method to prove the existence time of smooth solutions on a time scale of $\frac{1}{εδ}$ with $0<δ\llε\ll1$ and on a time scale of $\fracε{δ^2}$ with $0<δ\llε^2\ll1$. Moreover, we show that the traveling wave exists for an amplitude $ε$ in the range $(0,ε^*)$ with $ε^*\sim 0.23$ and fails to exist for $ε>\frac{2}{e}$.
△ Less
Submitted 10 May, 2022; v1 submitted 4 March, 2021;
originally announced March 2021.
-
Localized mixing zone for Muskat bubbles and turned interfaces
Authors:
Ángel Castro,
Daniel Faraco,
Francisco Mengual
Abstract:
We construct mixing solutions to the incompressible porous media equation starting from Muskat type data in the partially unstable regime. In particular, we consider bubble and turned type interfaces with Sobolev regularity. As a by-product, we prove the continuation of the evolution of IPM after the Rayleigh-Taylor and smoothness breakdown exhibited in [18,17]. At each time slice the space is spl…
▽ More
We construct mixing solutions to the incompressible porous media equation starting from Muskat type data in the partially unstable regime. In particular, we consider bubble and turned type interfaces with Sobolev regularity. As a by-product, we prove the continuation of the evolution of IPM after the Rayleigh-Taylor and smoothness breakdown exhibited in [18,17]. At each time slice the space is split into three evolving domains: two non-mixing zones and a mixing zone which is localized in a neighborhood of the unstable region. In this way, we show the compatibility between the classical Muskat problem and the convex integration method.
△ Less
Submitted 15 February, 2021;
originally announced February 2021.
-
The Hardy-Littlewood property and maximal operators associated with the inverse Gauss measure
Authors:
Jorge J. Betancor,
Alejandro J. Castro,
Marta De León-Contreras
Abstract:
In this paper we characterize the Banach lattices with the Hardy-Littlewood property by using maximal operators defined by semigroups of operators associated with the inverse Gauss measure.
In this paper we characterize the Banach lattices with the Hardy-Littlewood property by using maximal operators defined by semigroups of operators associated with the inverse Gauss measure.
△ Less
Submitted 3 October, 2020;
originally announced October 2020.
-
The lifespan of classical solutions for the inviscid Surface Quasi-geostrophic equation
Authors:
Ángel Castro,
Diego Córdoba,
Fan Zheng
Abstract:
We consider classical solutions of the inviscid Surface Quasi-geostrophic equation that are a small perturbation $ε$ from a radial stationary solution $θ=|x|$. We use a modified energy method to prove the existence time of classical solutions from $\frac{1}ε$ to a time scale of $\frac{1}{ε^4}$. Moreover, by perturbing in a suitable direction we construct global smooth solutions, via bifurcation, t…
▽ More
We consider classical solutions of the inviscid Surface Quasi-geostrophic equation that are a small perturbation $ε$ from a radial stationary solution $θ=|x|$. We use a modified energy method to prove the existence time of classical solutions from $\frac{1}ε$ to a time scale of $\frac{1}{ε^4}$. Moreover, by perturbing in a suitable direction we construct global smooth solutions, via bifurcation, that rotate uniformly in time and space.
△ Less
Submitted 9 July, 2020;
originally announced July 2020.
-
Regularity of Fourier integral operators with amplitudes in general Hörmander classes
Authors:
Alejandro J. Castro,
Anders Israelsson,
Wolfgang Staubach
Abstract:
We prove the global $L^p$-boundedness of Fourier integral operators that model the parametrices for hyperbolic partial differential equations, with amplitudes in classical Hörmander classes $S^{m}_{ρ, δ}(\mathbb{R}^n)$ for parameters $0<ρ\leq 1$, $0\leq δ<1$. We also consider the regularity of operators with amplitudes in the exotic class $S^{m}_{0, δ}(\mathbb{R}^n)$, $0\leq δ< 1$ and the forbidde…
▽ More
We prove the global $L^p$-boundedness of Fourier integral operators that model the parametrices for hyperbolic partial differential equations, with amplitudes in classical Hörmander classes $S^{m}_{ρ, δ}(\mathbb{R}^n)$ for parameters $0<ρ\leq 1$, $0\leq δ<1$. We also consider the regularity of operators with amplitudes in the exotic class $S^{m}_{0, δ}(\mathbb{R}^n)$, $0\leq δ< 1$ and the forbidden class $S^{m}_{ρ, 1}(\mathbb{R}^n)$, $0\leqρ\leq 1.$ Furthermore we show that despite the failure of the $L^2$-boundedness of operators with amplitudes in the forbidden class $S^{0}_{1, 1}(\mathbb{R}^n)$, the operators in question are bounded on Sobolev spaces $H^s(\mathbb{R}^n)$ with $s>0.$ This result extends those of Y. Meyer and E. M. Stein to the setting of Fourier integral operators.
△ Less
Submitted 28 March, 2020;
originally announced March 2020.
-
Rigidity of elliptic genera: from number theory to geometry and back
Authors:
Kathrin Bringmann,
Alexander Caviedes Castro,
Silvia Sabatini,
Markus Schwagenscheidt
Abstract:
In this paper we derive topological and number theoretical consequences of the rigidity of elliptic genera, which are special modular forms associated to each compact almost complex manifold. In particular, on the geometry side, we prove that rigidity implies relations between the Betti numbers and the index of a compact symplectic manifold of dimension $2n$ admitting a Hamiltonian action of a cir…
▽ More
In this paper we derive topological and number theoretical consequences of the rigidity of elliptic genera, which are special modular forms associated to each compact almost complex manifold. In particular, on the geometry side, we prove that rigidity implies relations between the Betti numbers and the index of a compact symplectic manifold of dimension $2n$ admitting a Hamiltonian action of a circle with isolated fixed points. We investigate the case of maximal index and toric actions. On the number theoretical side we prove that from each compact almost complex manifold of index greater than one, that can be endowed with the action of a circle with isolated fixed points, one can derive non-trivial relations among Eisenstein series. We give explicit formulas coming from the standard action on $\mathbb{C} P^n$.
△ Less
Submitted 29 January, 2020;
originally announced January 2020.
-
Semiclassical estimates for pseudodifferential operators and the Muskat problem in the unstable regime
Authors:
Víctor Arnaiz,
Ángel Castro,
Daniel Faraco
Abstract:
We obtain new semiclassical estimates for pseudodifferential operators with low regular symbols. Such symbols appear naturally in a Cauchy Problem related to recent weak solutions to the unstable Muskat problem constructed via convex integration in [CCF16]. In particular, our new estimates reveal the tight relation between the speed of opening of the mixing zone and the regularity of the interphas…
▽ More
We obtain new semiclassical estimates for pseudodifferential operators with low regular symbols. Such symbols appear naturally in a Cauchy Problem related to recent weak solutions to the unstable Muskat problem constructed via convex integration in [CCF16]. In particular, our new estimates reveal the tight relation between the speed of opening of the mixing zone and the regularity of the interphase.
△ Less
Submitted 8 April, 2021; v1 submitted 17 January, 2020;
originally announced January 2020.
-
Regularity properties of Schrödinger integral operators and general oscillatory integrals
Authors:
Alejandro J. Castro,
Anders Israelsson,
Wolfgang Staubach,
Madi Yerlanov
Abstract:
We introduce the notion of Schrödinger integral operators and prove sharp local and global regularity results for these (including propagators for the quantum mechanical harmonic oscillator). Furthermore we introduce general classes of oscillatory integral operators with inhomogeneous phase functions, whose local and global regularity are also established in classical function spaces (both in the…
▽ More
We introduce the notion of Schrödinger integral operators and prove sharp local and global regularity results for these (including propagators for the quantum mechanical harmonic oscillator). Furthermore we introduce general classes of oscillatory integral operators with inhomogeneous phase functions, whose local and global regularity are also established in classical function spaces (both in the Banach and quasi-Banach scales). The results are then applied to obtain optimal (local in time) estimates for the solution to the Cauchy problem for variable-coefficient Schrödinger equations as well as other evolutionary partial differential equations.
△ Less
Submitted 17 December, 2019;
originally announced December 2019.
-
Singularity formation for the fractional Euler-Alignment system in 1D
Authors:
Victor Arnaiz,
Ángel Castro
Abstract:
We study the formation of singularities for the Euler-Alignment system with influence function $ψ=\frac{k_α}{|x|^α}$ in 1D. As in [20] the problem is reduced to the analysis of a nonlocal 1D equation. We show the existence of singularities in finite time for any $α$ in the range $0<α<2$ in both the real line and the periodic case.
We study the formation of singularities for the Euler-Alignment system with influence function $ψ=\frac{k_α}{|x|^α}$ in 1D. As in [20] the problem is reduced to the analysis of a nonlocal 1D equation. We show the existence of singularities in finite time for any $α$ in the range $0<α<2$ in both the real line and the periodic case.
△ Less
Submitted 20 November, 2019;
originally announced November 2019.
-
Siegel Paramodular Forms from Exponential Lifts: Slow versus Fast Growth
Authors:
Alexandre Belin,
Alejandra Castro,
Christoph A. Keller,
Beatrix J. Mühlmann
Abstract:
We investigate the growth of Fourier coefficients of Siegel paramodular forms built by exponentially lifting weak Jacobi forms, focusing on terms with large negative discriminant. To this end we implement a method based on deforming contours that expresses the coefficients of all such terms as residues. We find that there are two types of weak Jacobi forms, leading to two different growth behavior…
▽ More
We investigate the growth of Fourier coefficients of Siegel paramodular forms built by exponentially lifting weak Jacobi forms, focusing on terms with large negative discriminant. To this end we implement a method based on deforming contours that expresses the coefficients of all such terms as residues. We find that there are two types of weak Jacobi forms, leading to two different growth behaviors: the more common type leads to fast, exponential growth, whereas a second type leads to slower growth, akin to the growth seen in ratios of theta functions. We give a simple criterion to distinguish between the two types, and give a simple closed form expression for the coefficients in the slow growing case. In a companion article [1], we provide physical applications of these results to symmetric product orbifolds and holography.
△ Less
Submitted 29 October, 2019; v1 submitted 11 October, 2019;
originally announced October 2019.
-
Global well-posedness for the nonlinear wave equation in analytic Gevrey spaces
Authors:
Daniel Oliveira da Silva,
Alejandro J. Castro
Abstract:
We obtain an asymptotic rate of decay for the radius of spatial analyticity of solutions to the nonlinear wave equation with initial data in the analytic Gevrey spaces.
We obtain an asymptotic rate of decay for the radius of spatial analyticity of solutions to the nonlinear wave equation with initial data in the analytic Gevrey spaces.
△ Less
Submitted 7 July, 2020; v1 submitted 26 September, 2019;
originally announced September 2019.
-
A Transition-Aware Method for the Simulation of Compliant Contact with Regularized Friction
Authors:
Alejandro M. Castro,
Ante Qu,
Naveen Kuppuswamy,
Alex Alspach,
Michael Sherman
Abstract:
Multibody simulation with frictional contact has been a challenging subject of research for the past thirty years. Rigid-body assumptions are commonly used to approximate the physics of contact, and together with Coulomb friction, lead to challenging-to-solve nonlinear complementarity problems (NCP). On the other hand, robot grippers often introduce significant compliance. Compliant contact, combi…
▽ More
Multibody simulation with frictional contact has been a challenging subject of research for the past thirty years. Rigid-body assumptions are commonly used to approximate the physics of contact, and together with Coulomb friction, lead to challenging-to-solve nonlinear complementarity problems (NCP). On the other hand, robot grippers often introduce significant compliance. Compliant contact, combined with regularized friction, can be modeled entirely with ODEs, avoiding NCP solves. Unfortunately, regularized friction introduces high-frequency stiff dynamics and even implicit methods struggle with these systems, especially during slip-stick transitions. To improve the performance of implicit integration for these systems we introduce a Transition-Aware Line Search (TALS), which greatly improves the convergence of the Newton-Raphson iterations performed by implicit integrators. We find that TALS works best with semi-implicit integration, but that the explicit treatment of normal compliance can be problematic. To address this, we develop a Transition-Aware Modified Semi-Implicit (TAMSI) integrator that has similar computational cost to semi-implicit methods but implicitly couples compliant contact forces, leading to a more robust method. We evaluate the robustness, accuracy and performance of TAMSI and demonstrate our approach alongside relevant sim-to-real manipulation tasks.
△ Less
Submitted 19 April, 2020; v1 submitted 12 September, 2019;
originally announced September 2019.
-
The relative $\mathcal{L}$-invariant of a compact $4$-manifold
Authors:
Nickolas A. Castro,
Gabriel Islambouli,
Maggie Miller,
Maggy Tomova
Abstract:
In this paper, we introduce the relative $\mathcal{L}$-invariant $r\mathcal{L}(X)$ of a smooth, orientable, compact 4-manifold $X$ with boundary. This invariant is defined by measuring the lengths of certain paths in the cut complex of a trisection surface for $X$. This is motivated by the definition of the $\mathcal{L}$-invariant for smooth, orientable, closed 4-manifolds by Kirby and Thompson. W…
▽ More
In this paper, we introduce the relative $\mathcal{L}$-invariant $r\mathcal{L}(X)$ of a smooth, orientable, compact 4-manifold $X$ with boundary. This invariant is defined by measuring the lengths of certain paths in the cut complex of a trisection surface for $X$. This is motivated by the definition of the $\mathcal{L}$-invariant for smooth, orientable, closed 4-manifolds by Kirby and Thompson. We show that if $X$ is a rational homology ball, then $r\mathcal{L}(X)=0$ if and only if $X\cong B^4$.
In order to better understand relative trisections, we also produce an algorithm to glue two relatively trisected 4-manifold by any Murasugi sum or plumbing in the boundary, and also prove that any two relative trisections of a given 4-manifold $X$ are related by interior stabilization, relative stabilization, and the relative double twist, which we introduce in this paper as a trisection version of one of Piergallini and Zuddas's moves on open book decompositions. Previously, it was only known (by Gay and Kirby) that relative trisections inducing equivalent open books on $X$ are related by interior stabilizations.
△ Less
Submitted 20 November, 2020; v1 submitted 14 August, 2019;
originally announced August 2019.
-
Degraded mixing solutions for the Muskat problem
Authors:
Ángel Castro,
Daniel Faraco,
Francisco Mengual
Abstract:
We prove the existence of infinitely many mixing solutions for the Muskat problem in the fully unstable regime displaying a linearly degraded macroscopic behaviour inside the mixing zone. In fact, we estimate the volume proportion of each fluid in every rectangle of the mixing zone. The proof is a refined version of the convex integration scheme presented in [DS10, Sze12] applied to the subsolutio…
▽ More
We prove the existence of infinitely many mixing solutions for the Muskat problem in the fully unstable regime displaying a linearly degraded macroscopic behaviour inside the mixing zone. In fact, we estimate the volume proportion of each fluid in every rectangle of the mixing zone. The proof is a refined version of the convex integration scheme presented in [DS10, Sze12] applied to the subsolution in [CCF16]. More generally, we obtain a quantitative h-principle for a class of evolution equations which shows that, in terms of weak*-continuous quantities, a generic solution in a suitable metric space essentially behaves like the subsolution. This applies of course to linear quantities, and in the case of IPM to the power balance $\mathbf{P}$ (14) which is quadratic. As further applications of such quantitative h-principle we discuss the case of vortex sheet for the incompressible Euler equations.
△ Less
Submitted 30 May, 2018;
originally announced May 2018.
-
Riesz transforms, Cauchy-Riemann systems and amalgam Hardy spaces
Authors:
Al-Tarazi Assaubay,
Jorge J. Betancor,
Alejandro J. Castro,
Juan C. Fariña
Abstract:
In this paper we study Hardy spaces $\mathcal{H}^{p,q}(\mathbb{R}^d)$, $0<p,q<\infty$, modeled over amalgam spaces $(L^p,\ell^q)(\mathbb{R}^d)$. We characterize $\mathcal{H}^{p,q}(\mathbb{R}^d)$ by using first order classical Riesz transforms and compositions of first order Riesz transforms depending on the values of the exponents $p$ and $q$. Also, we describe the distributions in…
▽ More
In this paper we study Hardy spaces $\mathcal{H}^{p,q}(\mathbb{R}^d)$, $0<p,q<\infty$, modeled over amalgam spaces $(L^p,\ell^q)(\mathbb{R}^d)$. We characterize $\mathcal{H}^{p,q}(\mathbb{R}^d)$ by using first order classical Riesz transforms and compositions of first order Riesz transforms depending on the values of the exponents $p$ and $q$. Also, we describe the distributions in $\mathcal{H}^{p,q}(\mathbb{R}^d)$ as the boundary values of solutions of harmonic and caloric Cauchy-Riemann systems. We remark that caloric Cauchy-Riemann systems involve fractional derivative in the time variable. Finally we characterize the functions in $L^2(\mathbb{R}^d) \cap \mathcal{H}^{p,q}(\mathbb{R}^d)$ by means of Fourier multipliers $m_θ$ with symbol $θ(\cdot/|\cdot|)$, where $θ\in C^\infty(\mathbb{S}^{d-1})$ and $\mathbb{S}^{d-1}$ denotes the unit sphere in $\mathbb{R}^d$.
△ Less
Submitted 30 May, 2018;
originally announced May 2018.
-
On the asymptotic stability of stratified solutions for the 2D Boussinesq equations with a velocity damping term
Authors:
Angel Castro,
Diego Córdoba,
Daniel Lear
Abstract:
We consider the 2D Boussinesq equations with a velocity damping term in a strip $\mathbb{T}\times[-1,1]$, with impermeable walls. In this physical scenario, where the \textit{Boussinesq approximation} is accurate when density/temperature variations are small, our main result is the asymptotic stability for a specific type of perturbations of a stratified solution. To prove this result, we use a su…
▽ More
We consider the 2D Boussinesq equations with a velocity damping term in a strip $\mathbb{T}\times[-1,1]$, with impermeable walls. In this physical scenario, where the \textit{Boussinesq approximation} is accurate when density/temperature variations are small, our main result is the asymptotic stability for a specific type of perturbations of a stratified solution. To prove this result, we use a suitably weighted energy space combined with linear decay, Duhamel's formula and "bootstrap" arguments.
△ Less
Submitted 1 October, 2018; v1 submitted 11 May, 2018;
originally announced May 2018.
-
Global existence of quasi-stratified solutions for the confined IPM equation
Authors:
Angel Castro,
Diego Córdoba,
Daniel Lear
Abstract:
In this paper, we consider a confined physical scenario to prove global existence of smooth solutions with bounded density and finite energy for the inviscid incompressible porous media (IPM) equation. The result is proved using the stability of stratified solutions, combined with an additional structure of our initial perturbation, which allows us to get rid of the boundary terms in the energy es…
▽ More
In this paper, we consider a confined physical scenario to prove global existence of smooth solutions with bounded density and finite energy for the inviscid incompressible porous media (IPM) equation. The result is proved using the stability of stratified solutions, combined with an additional structure of our initial perturbation, which allows us to get rid of the boundary terms in the energy estimates.
△ Less
Submitted 28 April, 2021; v1 submitted 20 April, 2018;
originally announced April 2018.
-
BMO functions and Balayage of Carleson measures in the Bessel setting
Authors:
Víctor Almeida,
Jorge J. Betancor,
Alejandro J. Castro,
Juan C. Fariña,
Lourdes Rodríguez-Mesa
Abstract:
By $BMO_o(R)$ we denote the space consisting of all those odd and bounded mean oscillation functions on R. In this paper we characterize the functions in $BMO_o(R)$ with bounded support as those ones that can be written as a sum of a bounded function on $(0,\infty )$ plus the balayage of a Carleson measure on $(0,\infty )\times (0,\infty )$ with respect to the Poisson semigroup associated with the…
▽ More
By $BMO_o(R)$ we denote the space consisting of all those odd and bounded mean oscillation functions on R. In this paper we characterize the functions in $BMO_o(R)$ with bounded support as those ones that can be written as a sum of a bounded function on $(0,\infty )$ plus the balayage of a Carleson measure on $(0,\infty )\times (0,\infty )$ with respect to the Poisson semigroup associated with the Bessel operator $B_λ=-x^{-λ}Dx^{2λ}Dx^{-λ}$, $λ>0$. This result can be seen as an extension to Bessel setting of a classical result due to Carleson.
△ Less
Submitted 16 April, 2018;
originally announced April 2018.
-
Trisections of 4-manifolds with Boundary
Authors:
Nickolas A. Castro,
David T. Gay,
Juanita Pinzón-Caicedo
Abstract:
Given a handle decomposition of a 4-manifold with boundary, and an open book decomposition of the boundary, we show how to produce a trisection diagram of a trisection of the 4-manifold inducing the given open book. We do this by making the original proof of the existence of relative trisections more explicit, in terms of handles. Furthermore, we extend this existence result to the case of 4-manif…
▽ More
Given a handle decomposition of a 4-manifold with boundary, and an open book decomposition of the boundary, we show how to produce a trisection diagram of a trisection of the 4-manifold inducing the given open book. We do this by making the original proof of the existence of relative trisections more explicit, in terms of handles. Furthermore, we extend this existence result to the case of 4-manifolds with multiple boundary components, and show how trisected 4-manifolds with multiple boundary components glue together.
△ Less
Submitted 26 January, 2018;
originally announced January 2018.
-
Secant Method on Riemannian Manifolds
Authors:
Rodrigo Castro,
Gustavo Di Giorgi,
Willy Sierra
Abstract:
In this work, by using techniques and results of differential geometry, we propose a new numerical method on complete Riemannian manifolds to find zeros of vector fields. Our algorithm generalizes the classical secant method
In this work, by using techniques and results of differential geometry, we propose a new numerical method on complete Riemannian manifolds to find zeros of vector fields. Our algorithm generalizes the classical secant method
△ Less
Submitted 7 December, 2017;
originally announced December 2017.
-
Transference of local to global $L^2$ maximal estimates for dispersive partial differential equations
Authors:
Alejandro J. Castro,
Salvador Rodríguez-López,
Wolfgang Staubach
Abstract:
In this paper we give an elementary proof for transference of local to global maximal estimates for dispersive PDEs. This is done by transferring local $L^2$ estimates for certain oscillatory integrals with rough phase functions, to the corresponding global estimates. The elementary feature of our approach is that it entirely avoids the use of the wave packet techniques which are quite common in t…
▽ More
In this paper we give an elementary proof for transference of local to global maximal estimates for dispersive PDEs. This is done by transferring local $L^2$ estimates for certain oscillatory integrals with rough phase functions, to the corresponding global estimates. The elementary feature of our approach is that it entirely avoids the use of the wave packet techniques which are quite common in this context, and instead is based on scalings and classical oscillatory integral estimates.
△ Less
Submitted 7 December, 2017;
originally announced December 2017.
-
Linear response, and consequences for differentiability of statistical quantities and Multifractal Analysis
Authors:
Armando Castro,
Thiago Bomfim
Abstract:
In this article we initially fix ourselves to smooth (C^r) expanding dynamical systems. We prove the C^{r-1} differentiability of the topological pressure, equilibrium states and their densities with respect to smooth expanding dynamical systems and any smooth potential (C^{r-1}- linear response formula wiyh respect to the dynamics, and analytical response formula with respect to the potential). T…
▽ More
In this article we initially fix ourselves to smooth (C^r) expanding dynamical systems. We prove the C^{r-1} differentiability of the topological pressure, equilibrium states and their densities with respect to smooth expanding dynamical systems and any smooth potential (C^{r-1}- linear response formula wiyh respect to the dynamics, and analytical response formula with respect to the potential). This is done by proving the regularity of the dominant eigenvalue of the transfer operator with respect to dynamics and potential. From that, we obtain strong consequences on the regularity of the dynamical system statistical properties, that apply in more general contexts. Indeed, we prove that the average and variance obtained from the central limit theorem vary $C^{r-1}$ with respect to the $C^{r}-$expanding dynamics and $C^{r}-$potential, and also, there is a large deviations principle with its rate $C^{r-1}$ with respect to the dynamics and potential. An application for multifractal analysis is given.
△ Less
Submitted 2 August, 2019; v1 submitted 16 November, 2017;
originally announced November 2017.
-
Stability and limit theorems for sequences of uniformly hyperbolic dynamics
Authors:
A. Castro,
F. B. Rodrigues,
P. Varandas
Abstract:
In this paper we obtain an almost sure invariance principle for convergent sequences of either Anosov diffeomorphisms or expanding maps on compact Riemannian manifolds and prove an ergodic stability result for such sequences. The sequences of maps need not correspond to typical points of a random dynamical system. The methods in the proof rely on the stability of compositions of hyperbolic dynamic…
▽ More
In this paper we obtain an almost sure invariance principle for convergent sequences of either Anosov diffeomorphisms or expanding maps on compact Riemannian manifolds and prove an ergodic stability result for such sequences. The sequences of maps need not correspond to typical points of a random dynamical system. The methods in the proof rely on the stability of compositions of hyperbolic dynamical systems. We introduce the notion of sequential conjugacies and prove that these vary in a Lipschitz way with respect to the generating sequences of dynamical systems. As a consequence, we prove stability results for time-dependent expanding maps that complement results in [Franks74] on time-dependent Anosov diffeomorphisms.
△ Less
Submitted 5 September, 2017;
originally announced September 2017.
-
Trisections of 4-manifolds via Lefschetz fibrations
Authors:
Nickolas A. Castro,
Burak Ozbagci
Abstract:
We develop a technique for gluing relative trisection diagrams of $4$-manifolds with nonempty connected boundary to obtain trisection diagrams for closed $4$-manifolds. As an application, we describe a trisection of any closed $4$-manifold which admits a Lefschetz fibration over $S^2$ equipped with a section of square $-1$, by an explicit diagram determined by the vanishing cycles of the Lefschetz…
▽ More
We develop a technique for gluing relative trisection diagrams of $4$-manifolds with nonempty connected boundary to obtain trisection diagrams for closed $4$-manifolds. As an application, we describe a trisection of any closed $4$-manifold which admits a Lefschetz fibration over $S^2$ equipped with a section of square $-1$, by an explicit diagram determined by the vanishing cycles of the Lefschetz fibration. In particular, we obtain a trisection diagram for some simply connected minimal complex surface of general type. As a consequence, we obtain explicit trisection diagrams for a pair of closed $4$-manifolds which are homeomorphic but not diffeomorphic. Moreover, we describe a trisection for any oriented $S^2$-bundle over any closed surface and in particular we draw the corresponding diagrams for $T^2 \times S^2$ and $T^2 \tilde{\times} S^2$ using our gluing technique. Furthermore, we provide an alternate proof of a recent result of Gay and Kirby which says that every closed $4$-manifold admits a trisection. The key feature of our proof is that Cerf theory takes a back seat to contact geometry.
△ Less
Submitted 31 July, 2017; v1 submitted 27 May, 2017;
originally announced May 2017.
-
Variable exponent Hardy spaces associated with discrete Laplacians on graphs
Authors:
Víctor Almeida,
Jorge J. Betancor,
Alejandro J. Castro,
Lourdes Rodríguez-Mesa
Abstract:
In this paper we develop the theory of variable exponent Hardy spaces associated with discrete Laplacians on infinite graphs. Our Hardy spaces are defined by square integrals, atomic and molecular decompositions. Also we study boundedness properties of Littlewood-Paley functions, Riesz transforms, and spectral multipliers for discrete Laplacians on variable exponent Hardy spaces.
In this paper we develop the theory of variable exponent Hardy spaces associated with discrete Laplacians on infinite graphs. Our Hardy spaces are defined by square integrals, atomic and molecular decompositions. Also we study boundedness properties of Littlewood-Paley functions, Riesz transforms, and spectral multipliers for discrete Laplacians on variable exponent Hardy spaces.
△ Less
Submitted 18 May, 2017;
originally announced May 2017.
-
Trisecting Smooth 4-dimensional Cobordisms
Authors:
Nickolas A. Castro
Abstract:
We extend the theory of relative trisections of smooth, compact, oriented $4$-manifolds with connected boundary given by Gay and Kirby to include $4$-manifolds with an arbitrary number of boundary components. Additionally, we provide sufficient conditions under which relatively trisected $4$-manifolds can be glued to one another along diffeomorphic boundary components so as to induce a trisected m…
▽ More
We extend the theory of relative trisections of smooth, compact, oriented $4$-manifolds with connected boundary given by Gay and Kirby to include $4$-manifolds with an arbitrary number of boundary components. Additionally, we provide sufficient conditions under which relatively trisected $4$-manifolds can be glued to one another along diffeomorphic boundary components so as to induce a trisected manifold. These two results allow us to define a category $\textrm{Tri}$ whose objects are smooth, closed, oriented $3$-manifolds equipped with open book decompositions, and morphisms are relatively trisected cobordisms. Additionally, we extend the Hopf stabilization of open book decompositions to a relative stabilization of relative trisections.
△ Less
Submitted 16 March, 2017;
originally announced March 2017.
-
Uniformly rotating smooth solutions for the incompressible 2D Euler equations
Authors:
Angel Castro,
Diego Córdoba,
Javier Gómez-Serrano
Abstract:
In this paper, we show the existence of a family of compactly supported smooth vorticities, which are solutions of the 2D incompressible Euler equation and rotate uniformly in time and space.
In this paper, we show the existence of a family of compactly supported smooth vorticities, which are solutions of the 2D incompressible Euler equation and rotate uniformly in time and space.
△ Less
Submitted 7 August, 2018; v1 submitted 28 December, 2016;
originally announced December 2016.
