Showing 1–25 of 25 results for author: Gira, M

Super-Resolution Emulation of Large Cosmological Fields with a 3D Conditional Diffusion Model

Authors: Adam Rouhiainen, Michael Gira, Moritz Münchmeyer, Kangwook Lee, Gary Shiu

Abstract: High-resolution (HR) simulations in cosmology, in particular when including baryons, can take millions of CPU hours. On the other hand, low-resolution (LR) dark matter simulations of the same cosmological volume use minimal computing resources. We develop a denoising diffusion super-resolution emulator for large cosmological simulation volumes. Our approach is based on the image-to-image Palette d… ▽ More High-resolution (HR) simulations in cosmology, in particular when including baryons, can take millions of CPU hours. On the other hand, low-resolution (LR) dark matter simulations of the same cosmological volume use minimal computing resources. We develop a denoising diffusion super-resolution emulator for large cosmological simulation volumes. Our approach is based on the image-to-image Palette diffusion model, which we modify to 3 dimensions. Our super-resolution emulator is trained to perform outpainting, and can thus upgrade very large cosmological volumes from LR to HR using an iterative outpainting procedure. As an application, we generate a simulation box with 8 times the volume of the Illustris TNG300 training data, constructed with over 9000 outpainting iterations, and quantify its accuracy using various summary statistics. △ Less

Submitted 28 April, 2024; v1 submitted 9 November, 2023; originally announced November 2023.

Comments: 20 pages, 11 figures, extended version of NeurIPS 2023 Machine Learning and the Physical Sciences workshop submission

The effect of a $δ$ distribution potential on a quantum mechanical particle in a box

Authors: Pedro Martins Girão, João Pedro Nunes

Abstract: We study the effect of a $δ$ distribution potential placed at $x_0\geq 0$ and multiplied by a parameter $α$ on a quantum mechanical particle in an infinite square well over the segment $\left[-\,\frac{L}{2},\frac{L}{2}\right]$. We obtain the limit of the eigenfunctions of the time independent Schrödinger equation as $α\nearrow+\infty$ and as $α\searrow-\infty$. We see how each solution of the Schr… ▽ More We study the effect of a $δ$ distribution potential placed at $x_0\geq 0$ and multiplied by a parameter $α$ on a quantum mechanical particle in an infinite square well over the segment $\left[-\,\frac{L}{2},\frac{L}{2}\right]$. We obtain the limit of the eigenfunctions of the time independent Schrödinger equation as $α\nearrow+\infty$ and as $α\searrow-\infty$. We see how each solution of the Schrödinger equation corresponding to $α=0$ changes as $α$ runs through the real line. When $x_0$ is a rational multiple of $L$, there exist solutions of the Schrödinger equation which vanish at $x_0$ and are unaffected by the value of $α$. We show that each one of these has an energy that coincides with the energy of a certain limiting eigenfunction obtained by taking $|α|\to\infty$. The expectation value of the position of a particle with wave function equal to the limiting eigenfunction is $x_0$. △ Less

Submitted 5 November, 2023; originally announced November 2023.

Comments: 34 pages, 26 figures

MSC Class: Primary 35J10. Secondary 34B09; 34B37; 81Q05

Electronic properties of carbon nanostructures based on bipartite nanocages units

Authors: Fábio Nascimento de Sousa, Divino Eliaquino, Fabrício Morais de Vasconcelos e Eduardo Costa Girão

Abstract: We use first principles simulations to investigate the electronic properties of a set of carbon nanocages with a bipartite structure. These nanocages are exclusively formed by hexagonal and tetragonal rings and we show they feature frontier states with particular symmetries as dictated by well defined rules based on the size of the structure. We also show that spin-polarized configuration emerge a… ▽ More We use first principles simulations to investigate the electronic properties of a set of carbon nanocages with a bipartite structure. These nanocages are exclusively formed by hexagonal and tetragonal rings and we show they feature frontier states with particular symmetries as dictated by well defined rules based on the size of the structure. We also show that spin-polarized configuration emerge at the edges of open versions of these 0D systems. These cages are further proposed as elementary building blocks for periodic 1D and 2D systems. Even though we find different ways to define the particular bonds making the connection between the cage-like units, these systems always show a semiconducting behavior, both for 1D and 2D cases. However, the details of linking hierarchies interfere in the degree of localization of the frontier states of these crystalline systems. △ Less

Submitted 22 July, 2023; originally announced July 2023.

LIFT: Language-Interfaced Fine-Tuning for Non-Language Machine Learning Tasks

Authors: Tuan Dinh, Yuchen Zeng, Ruisu Zhang, Ziqian Lin, Michael Gira, Shashank Rajput, Jy-yong Sohn, Dimitris Papailiopoulos, Kangwook Lee

Abstract: Fine-tuning pretrained language models (LMs) without making any architectural changes has become a norm for learning various language downstream tasks. However, for non-language downstream tasks, a common practice is to employ task-specific designs for input, output layers, and loss functions. For instance, it is possible to fine-tune an LM into an MNIST classifier by replacing the word embedding… ▽ More Fine-tuning pretrained language models (LMs) without making any architectural changes has become a norm for learning various language downstream tasks. However, for non-language downstream tasks, a common practice is to employ task-specific designs for input, output layers, and loss functions. For instance, it is possible to fine-tune an LM into an MNIST classifier by replacing the word embedding layer with an image patch embedding layer, the word token output layer with a 10-way output layer, and the word prediction loss with a 10-way classification loss, respectively. A natural question arises: Can LM fine-tuning solve non-language downstream tasks without changing the model architecture or loss function? To answer this, we propose Language-Interfaced Fine-Tuning (LIFT) and study its efficacy and limitations by conducting an extensive empirical study on a suite of non-language classification and regression tasks. LIFT does not make any changes to the model architecture or loss function, and it solely relies on the natural language interface, enabling "no-code machine learning with LMs." We find that LIFT performs comparably well across a wide range of low-dimensional classification and regression tasks, matching the performances of the best baselines in many cases, especially for the classification tasks. We also report experimental results on the fundamental properties of LIFT, including inductive bias, robustness, and sample complexity. We also analyze the effect of pretraining on LIFT and a few properties/techniques specific to LIFT, e.g., context-aware learning via appropriate prompting, calibrated predictions, data generation, and two-stage fine-tuning. Our code is available at https://github.com/UW-Madison-Lee-Lab/LanguageInterfacedFineTuning. △ Less

Submitted 30 October, 2022; v1 submitted 13 June, 2022; originally announced June 2022.

Comments: Accepted at NeurIPS 2022

Regularity of a double null coordinate system for Kerr-Newman-de Sitter spacetimes

Authors: Anne T. Franzen, Pedro M. Girão

Abstract: We construct a double null coordinate system $(u,v,θ_\star,φ_\star)$ for Kerr-Newman-de Sitter spacetimes and prove that the two-spheres given by the intersection of the hypersurfaces $u=\mbox{constant}$ and $v=\mbox{constant}$ are $C^\infty$ in Boyer-Lindquist coordinates (including at the "poles"). The null coordinates allow one to immediately extend some results previously proven for Kerr. As a… ▽ More We construct a double null coordinate system $(u,v,θ_\star,φ_\star)$ for Kerr-Newman-de Sitter spacetimes and prove that the two-spheres given by the intersection of the hypersurfaces $u=\mbox{constant}$ and $v=\mbox{constant}$ are $C^\infty$ in Boyer-Lindquist coordinates (including at the "poles"). The null coordinates allow one to immediately extend some results previously proven for Kerr. As an example, we illustrate how Sbierski's result, for the wave equation on the black hole interior, for Reissner-Nordström and Kerr spacetimes, applies to Kerr-Newman-de Sitter spacetimes. △ Less

Submitted 10 July, 2024; v1 submitted 31 August, 2020; originally announced August 2020.

Comments: 55 pages, 7 figures, 29 references; v3: minor changes, matches final published version

MSC Class: 83C57 (Primary); 35L05; 35R01; 58J45 (Secondary)

Journal ref: Sao Paulo Journal of Mathematical Sciences, 2024

Higher Order Linear Stability and Instability of Reissner-Nordström's Cauchy Horizon

Authors: João L. Costa, Pedro M. Girão

Abstract: We consider smooth solutions of the wave equation, on a fixed black hole region of a subextremal Reissner-Nordström (asymptotically flat, de Sitter or anti-de Sitter) spacetime, whose restrictions to the event horizon have compact support. We provide criteria, in terms of surface gravities, for the waves to remain in $C^l$, $l\geq 1$, up to and including the Cauchy horizon. We also provide suffici… ▽ More We consider smooth solutions of the wave equation, on a fixed black hole region of a subextremal Reissner-Nordström (asymptotically flat, de Sitter or anti-de Sitter) spacetime, whose restrictions to the event horizon have compact support. We provide criteria, in terms of surface gravities, for the waves to remain in $C^l$, $l\geq 1$, up to and including the Cauchy horizon. We also provide sufficient conditions for the blow up of solutions in $C^1$ and $H^1$. △ Less

Submitted 27 February, 2019; originally announced February 2019.

Comments: 22 pages, 2 figures

MSC Class: 35L05; 35R01; 58J45; 83C57

Solutions of the wave equation bounded at the Big Bang

Authors: Pedro M. Girão, José Natário, Jorge Drumond Silva

Abstract: By solving a singular initial value problem, we prove the existence of solutions of the wave equation $\Box_gφ=0$ which are bounded at the Big Bang in the Friedmann-Lemaitre-Robertson-Walker cosmological models. More precisely, we show that given any function $A \in H^3(Σ)$ (where $Σ=\mathbb{R}^n, \mathbb{S}^n$ or $\mathbb{H}^n$ models the spatial hypersurfaces) there exists a unique solution $φ$… ▽ More By solving a singular initial value problem, we prove the existence of solutions of the wave equation $\Box_gφ=0$ which are bounded at the Big Bang in the Friedmann-Lemaitre-Robertson-Walker cosmological models. More precisely, we show that given any function $A \in H^3(Σ)$ (where $Σ=\mathbb{R}^n, \mathbb{S}^n$ or $\mathbb{H}^n$ models the spatial hypersurfaces) there exists a unique solution $φ$ of the wave equation converging to $A$ in $H^1(Σ)$ at the Big Bang, and whose time derivative is suitably controlled in $L^2(Σ)$. △ Less

Submitted 18 March, 2019; v1 submitted 25 September, 2018; originally announced September 2018.

Comments: 11 pages, 1 figure; v2: minor changes; v3: references updated, matches final published version

MSC Class: 35L05 (Primary) 58J45; 83F05 (Secondary)

Journal ref: Class. Quantum Grav. 36 (2019) 075016

On the occurrence of mass inflation for the Einstein-Maxwell-scalar field system with a cosmological constant and an exponential Price law

Authors: João L. Costa, Pedro M. Girão, José Natário, Jorge Drumond Silva

Abstract: In this paper we study the spherically symmetric characteristic initial data problem for the Einstein-Maxwell-scalar field system with a positive cosmological constant in the interior of a black hole, assuming an exponential Price law along the event horizon. More precisely, we construct open sets of characteristic data which, on the outgoing initial null hypersurface (taken to be the event horizo… ▽ More In this paper we study the spherically symmetric characteristic initial data problem for the Einstein-Maxwell-scalar field system with a positive cosmological constant in the interior of a black hole, assuming an exponential Price law along the event horizon. More precisely, we construct open sets of characteristic data which, on the outgoing initial null hypersurface (taken to be the event horizon), converges exponentially to a reference Reissner-Nördstrom black hole at infinity. We prove the stability of the radius function at the Cauchy horizon, and show that, depending on the decay rate of the initial data, mass inflation may or may not occur. In the latter case, we find that the solution can be extended across the Cauchy horizon with continuous metric and Christoffel symbols in $L^2_{\rm loc}$, thus violating the Christodoulou-Chruściel version of strong cosmic censorship. △ Less

Submitted 17 September, 2018; v1 submitted 27 July, 2017; originally announced July 2017.

Comments: 51 pages, 6 figures; matches final published version; v3: corrected a typo in equation (13)

MSC Class: Primary 83C05; Secondary 35Q76; 83C22; 83C57; 83C75

Journal ref: Commun. Math. Phys. (2018) 361: 289

Physical and Electrochemical Area Determination of Electrodeposited Ni, Co, and NiCo Thin Films

Authors: Matthew J. Gira, Kevin P. Tkacz, Jennifer R. Hampton

Abstract: The surface area of electrodeposited thin films of Ni, Co, and NiCo was evaluated using electrochemical double-layer capacitance, electrochemical area measurements using the [Ru(NH$_3$)$_6$]$^{3+}$/[Ru(NH$_3$)$_6$]$^{2+}$ redox couple, and topographic atomic force microscopy (AFM) imaging. These three methods were compared to each other for each composition separately and for the entire set of sam… ▽ More The surface area of electrodeposited thin films of Ni, Co, and NiCo was evaluated using electrochemical double-layer capacitance, electrochemical area measurements using the [Ru(NH$_3$)$_6$]$^{3+}$/[Ru(NH$_3$)$_6$]$^{2+}$ redox couple, and topographic atomic force microscopy (AFM) imaging. These three methods were compared to each other for each composition separately and for the entire set of samples regardless of composition. Double-layer capacitance measurements were found to be positively correlated to the roughness factors determined by AFM topography. Electrochemical area measurements were found to be less correlated with measured roughness factors as well as applicable only to two of the three compositions studied. The results indicate that in situ double-layer capacitance measurements are a practical, versatile technique for estimating the accessible surface area of a metal sample. △ Less

Submitted 7 August, 2015; originally announced August 2015.

Comments: Accepted for publication in Nano Convergence, 6 figures

Journal ref: Nano Convergence 3, 6 (2016)

A family of sharp inequalities for Sobolev functions

Authors: Pedro M. Girão

Abstract: Let $N\geq 5$, $Ω$ be a smooth bounded domain in $\mathbb{R}^{N}$, ${2^*}=\frac{2N}{N-2}$, $a>0$, $S=\inf\left\{\left. \int_{\mathbb{R}^{N}}|\nabla u|^2\,\right|\,u\in L^{2^*}(\mathbb{R}^{N}), \nabla u\in L^2(\mathbb{R}^{N}), \int_{\mathbb{R}^{N}}|u|^{2^*}=1 \right\}$ and $||u||^2=|\nabla u|_{2}^2+a|u|_{2}^2$. We define ${2^\flat}= \frac{2N}{N-1}$, ${2^\#}=\frac{2(N-1)}{N-2}$ and consider $q$ such… ▽ More Let $N\geq 5$, $Ω$ be a smooth bounded domain in $\mathbb{R}^{N}$, ${2^*}=\frac{2N}{N-2}$, $a>0$, $S=\inf\left\{\left. \int_{\mathbb{R}^{N}}|\nabla u|^2\,\right|\,u\in L^{2^*}(\mathbb{R}^{N}), \nabla u\in L^2(\mathbb{R}^{N}), \int_{\mathbb{R}^{N}}|u|^{2^*}=1 \right\}$ and $||u||^2=|\nabla u|_{2}^2+a|u|_{2}^2$. We define ${2^\flat}= \frac{2N}{N-1}$, ${2^\#}=\frac{2(N-1)}{N-2}$ and consider $q$ such that ${2^\flat}\leq q\leq{2^\#}$. We also define $s=2-N+\frac{q}{{2^*}-q}$ and $t=\frac{2}{N-2}\cdot \frac{1}{{2^*}-q}$. We prove that there exists an $α_{0}(q,a,Ω)>0$ such that, for all $u\in H^1(Ω)\setminus\{0\}$, $$\frac{S}{2^{\frac 2N}}{|u|_{2^*}^2}\leq||u||^2+α_{0} \left(\frac{||u||}{|u|_{2^*}^{2^*/2}}\right)^s|u|_{q}^{qt},\qquad{(I)_{q}}$$ where the norms are over $Ω$. Inequality $(I)_{2^\flat}$ is due to M. Zhu. △ Less

Submitted 23 July, 2014; originally announced July 2014.

Comments: 25 pages. arXiv admin note: text overlap with arXiv:1407.6232

MSC Class: 46E35; 35J20; 35J60

Journal ref: Adv. in Differential Equations 8 (2003), 641-671

A sharp inequality for Sobolev functions

Authors: Pedro M. Girão

Abstract: Let $N\geq 5$, $a>0$, $Ω$ be a smooth bounded domain in $\mathbb{R}^{N}$, $2^*=\frac{2N}{N-2}$, $2^\#=\frac{2(N-1)}{N-2}$ and $||u||^2=|\nabla u|_{2}^2+a|u|_{2}^2$. We prove there exists an $α_{0}>0$ such that, for all $u\in H^1(Ω)\setminus\{0\}$, $$\frac{S}{2^{\frac 2N}}\leq\frac{||u||^2}{|u|_{2^*}^2}\left(1+α_{0}\frac{|u|_{2^\#}^{2^\#}}{||u||\cdot|u|_{2^*}^{2^*/2}}\right).$$ This inequality impl… ▽ More Let $N\geq 5$, $a>0$, $Ω$ be a smooth bounded domain in $\mathbb{R}^{N}$, $2^*=\frac{2N}{N-2}$, $2^\#=\frac{2(N-1)}{N-2}$ and $||u||^2=|\nabla u|_{2}^2+a|u|_{2}^2$. We prove there exists an $α_{0}>0$ such that, for all $u\in H^1(Ω)\setminus\{0\}$, $$\frac{S}{2^{\frac 2N}}\leq\frac{||u||^2}{|u|_{2^*}^2}\left(1+α_{0}\frac{|u|_{2^\#}^{2^\#}}{||u||\cdot|u|_{2^*}^{2^*/2}}\right).$$ This inequality implies Cherrier's inequality. △ Less

Submitted 23 July, 2014; originally announced July 2014.

Comments: 4 pages

MSC Class: 46E35; 35J65

Journal ref: C. R. Math. Acad. Sci. Paris 334 (2002), 105-108

Existence and nonexistence of least energy solutions of the Neumann problem for a semilinear elliptic equation with critical Sobolev exponent and a critical lower-order perturbation

Authors: David G. Costa, Pedro M. Girão

Abstract: Let $Ω$ be a smooth bounded domain in $\mathbb{R}^{N}$, with $N\geq 5$, $a>0$, $α\geq 0$ and $2^*=\frac{2N}{N-2}$. We show that the the exponent $q=\frac{2(N-1)}{N-2}$ plays a critical role regarding the existence of least energy (or ground state) solutions of the Neumann problem… ▽ More Let $Ω$ be a smooth bounded domain in $\mathbb{R}^{N}$, with $N\geq 5$, $a>0$, $α\geq 0$ and $2^*=\frac{2N}{N-2}$. We show that the the exponent $q=\frac{2(N-1)}{N-2}$ plays a critical role regarding the existence of least energy (or ground state) solutions of the Neumann problem $$ \left\{\begin{array}{ll} -Δu+au=u^{2^*-1}-αu^{q-1}&\mbox{in}\ Ω,\\ u>0&\mbox{in}\ Ω,\\ \frac{\partial u}{\partialν}=0&\mbox{on}\ \partialΩ. \end{array}\right. $$ Namely, we prove that when $q=\frac{2(N-1)}{N-2}$ there exists an $α_{0}>0$ such that the problem has a least energy solution if $α<α_{0}$ and has no least energy solution if $α>α_{0}$. △ Less

Submitted 23 July, 2014; originally announced July 2014.

Comments: 30 pages

MSC Class: 46E35; 35J65

Journal ref: J. Differential Equations 188 (2003), 164-202

Sign changing solutions for elliptic equations with critical growth in cylinder type domains

Authors: Pedro M. Girão, Miguel Ramos

Abstract: We prove the existence of positive and of nodal solutions for $-Δu = |u|^{p-2}u+μ|u|^{q-2}u$, $u\in {\rm H_0^1}(Ω)$, where $μ>0$ and $2<q<p=2N(N-2)$, for a class of open subsets $Ω$ of $\mathbb{R}^N$ lying between two infinite cylinders. We prove the existence of positive and of nodal solutions for $-Δu = |u|^{p-2}u+μ|u|^{q-2}u$, $u\in {\rm H_0^1}(Ω)$, where $μ>0$ and $2<q<p=2N(N-2)$, for a class of open subsets $Ω$ of $\mathbb{R}^N$ lying between two infinite cylinders. △ Less

Submitted 22 July, 2014; originally announced July 2014.

Comments: 13 pages

MSC Class: 35J20; 35J25; 35J65; 35B05

Journal ref: ESAIM Control Optim. Calc. Var. 7 (2002), 407-419

Convergence of a crystalline algorithm for the motion of a simple closed convex curve by weighted curvature

Authors: Pedro M. Girão

Abstract: Motion by weighted mean curvature is a geometric evolution law for surfaces and represents steepest descent with respect to anisotropic surface energy. It has been proposed that this motion could be computed numerically by using a "crystalline" approximation to the surface energy in the evolution law. In this paper we prove the convergence of this numerical method for the case of simple closed con… ▽ More Motion by weighted mean curvature is a geometric evolution law for surfaces and represents steepest descent with respect to anisotropic surface energy. It has been proposed that this motion could be computed numerically by using a "crystalline" approximation to the surface energy in the evolution law. In this paper we prove the convergence of this numerical method for the case of simple closed convex curves in the plane. △ Less

Submitted 22 July, 2014; originally announced July 2014.

Comments: 14 pages, 3 figures

MSC Class: 65M12; 73B30

Journal ref: SIAM J. Numer. Anal. 32 (1995), 886-899

Convergence of a crystalline algorithm for the heat equation in one dimension and for the motion of a graph by weighted curvature

Authors: Pedro M. Girão, Robert V. Kohn

Abstract: Motion by (weighted) mean curvature is a geometric evolution law for surfaces, representing steepest descent with respect to (an)isotropic surface energy. It has been proposed that this motion could be computed by solving the analogous evolution law using a "crystalline" approximation to the surface energy. We present the first convergence analysis for a numerical scheme of this type. Our treatmen… ▽ More Motion by (weighted) mean curvature is a geometric evolution law for surfaces, representing steepest descent with respect to (an)isotropic surface energy. It has been proposed that this motion could be computed by solving the analogous evolution law using a "crystalline" approximation to the surface energy. We present the first convergence analysis for a numerical scheme of this type. Our treatment is restricted to one dimensional surfaces (curves in the plane) which are graphs. In this context, the scheme amounts to a new algorithm for solving quasilinear parabolic equations in one space dimension. △ Less

Submitted 22 July, 2014; originally announced July 2014.

Comments: 28 pages, 4 figures

MSC Class: 65M12; 73B30; 35K20

Journal ref: Numer. Math. 67 (1994), 41-70

Multibump nodal solutions for an indefinite nonhomogeneous elliptic problem

Authors: Pedro M. Girão, José Maria Gomes

Abstract: We construct multibump nodal solutions of the elliptic equation $$ -Δu=a^+[λu+ f(\, \cdot\,, u)]-μa^- g(\, \cdot\,, u) $$ in $H^1_0(Ω)$, when $μ$ is large, under appropriate assumptions, for $f$ superlinear and subcritical and such that the eigenvalues of the associated linearized operator on $H^1_0(\{x\inΩ:\: a(x)>0\})$ at zero, $u\longmapsto u-λ(-Δ)^{-1}(a^+ u)$, are positive. The solutions are… ▽ More We construct multibump nodal solutions of the elliptic equation $$ -Δu=a^+[λu+ f(\, \cdot\,, u)]-μa^- g(\, \cdot\,, u) $$ in $H^1_0(Ω)$, when $μ$ is large, under appropriate assumptions, for $f$ superlinear and subcritical and such that the eigenvalues of the associated linearized operator on $H^1_0(\{x\inΩ:\: a(x)>0\})$ at zero, $u\longmapsto u-λ(-Δ)^{-1}(a^+ u)$, are positive. The solutions are of least energy in some Nehari-type set defined by imposing suitable conditions on orthogonal components of functions in $H^1_0(Ω)$. △ Less

Submitted 4 July, 2014; originally announced July 2014.

MSC Class: 35J65; 35J20

Journal ref: Proceedings of the Royal Society of Edinburgh: Section A Mathematics 139 (2009), 797-817

Multibump nodal solutions for an indefinite superlinear elliptic problem

Authors: Pedro M. Girão, José Maria Gomes

Abstract: We define some Nehari-type constraints using an orthogonal decomposition of the Sobolev space $H^1_0$ and prove the existence of multibump nodal solutions for an indefinite superlinear elliptic problem. We define some Nehari-type constraints using an orthogonal decomposition of the Sobolev space $H^1_0$ and prove the existence of multibump nodal solutions for an indefinite superlinear elliptic problem. △ Less

Submitted 4 July, 2014; originally announced July 2014.

MSC Class: 35J65; 35J20

Journal ref: J. Differential Equations 247 (2009), 1001-1012

The shape of extremal functions for Poincaré-Sobolev-type inequalities in a ball

Authors: Pedro M. Girão, Tobias Weth

Abstract: We study extremal functions for a family of Poincaré-Sobolev-type inequalities. These functions minimize, for subcritical or critical $p\geq 2$, the quotient ${\|\nabla u\|_2}/{\|u\|_p}$ among all $u \in H^1(B)\setminus\{0\}$ with $\int_{B}u=0$. Here $B$ is the unit ball in $\mathbb{R}^N$. We show that the minimizers are axially symmetric with respect to a line passing through the origin. We also… ▽ More We study extremal functions for a family of Poincaré-Sobolev-type inequalities. These functions minimize, for subcritical or critical $p\geq 2$, the quotient ${\|\nabla u\|_2}/{\|u\|_p}$ among all $u \in H^1(B)\setminus\{0\}$ with $\int_{B}u=0$. Here $B$ is the unit ball in $\mathbb{R}^N$. We show that the minimizers are axially symmetric with respect to a line passing through the origin. We also show that they are strictly monotone in the direction of this line. In particular, they take their maximum and minimum precisely at two antipodal points on the boundary of $B$. We also prove that, for $p$ close to $2$, minimizers are antisymmetric with respect to the hyperplane through the origin perpendicular to the symmetry axis, and that, once the symmetry axis is fixed, they are unique (up to multiplication by a constant). In space dimension two, we prove that minimizers are not antisymmetric for large $p$. △ Less

Submitted 1 July, 2014; originally announced July 2014.

MSC Class: 35B06; 35B07; 35J20; 35J61; 35R45; 47J20

Journal ref: J. Funct. Anal. 237 (2006), 194-223

Positive solutions to logistic type equations with harvesting

Authors: Pedro M. Girão, Hossein Tehrani

Abstract: We use comparison principles, variational arguments and a truncation method to obtain positive solutions to logistic type equations with harvesting both in $\mathbb{R}^N$ and in a bounded domain $Ω\subset\mathbb{R}^N$, with $N\geq 3$, when the carrying capacity of the environment is not constant. By relaxing the growth assumption on the coefficients of the differential equation we derive a new equ… ▽ More We use comparison principles, variational arguments and a truncation method to obtain positive solutions to logistic type equations with harvesting both in $\mathbb{R}^N$ and in a bounded domain $Ω\subset\mathbb{R}^N$, with $N\geq 3$, when the carrying capacity of the environment is not constant. By relaxing the growth assumption on the coefficients of the differential equation we derive a new equation which is easily solved. The solution of this new equation is then used to produce a positive solution of our original problem. △ Less

Submitted 1 July, 2014; originally announced July 2014.

MSC Class: 35J65; 35J25; 92D25; 35B05

Journal ref: J. Differential Equations 247 (2009), 574-595

On the Fučik spectrum of the wave operator and an asymptotically linear problem

Authors: Pedro M. Girão, Hossein Tehrani

Abstract: We study generalized solutions of the nonlinear wave equation $$u_{tt}-u_{ss}=au^+-bu^-+p(s,t,u),$$ with periodic conditions in $t$ and homogeneous Dirichlet conditions in $s$, under the assumption that the ratio of the period to the length of the interval is two. When $p\equiv 0$ and $λ$ is a nonzero eigenvalue of the wave operator, we give a proof of the existence of two families of curves (whic… ▽ More We study generalized solutions of the nonlinear wave equation $$u_{tt}-u_{ss}=au^+-bu^-+p(s,t,u),$$ with periodic conditions in $t$ and homogeneous Dirichlet conditions in $s$, under the assumption that the ratio of the period to the length of the interval is two. When $p\equiv 0$ and $λ$ is a nonzero eigenvalue of the wave operator, we give a proof of the existence of two families of curves (which may coincide) in the Fučik spectrum intersecting at $(λ,λ)$. This result is known for some classes of self-adjoint operators (which does not cover the situation we consider here), but in a smaller region than ours. Our approach is based on a dual variational formulation and is also applicable to other operators, such as the Laplacian. In addition, we prove an existence result for the nonhomogeneous situation, when the pair $(a,b)$ is not `between' the Fučik curves passing through $(λ,λ)\neq(0,0)$ and $p$ is a continuous function, sublinear at infinity. △ Less

Submitted 1 July, 2014; originally announced July 2014.

MSC Class: 35L05; 35L70; 35J20

Journal ref: J. Math. Anal. Appl. 366 (2010), 55-66

Bifurcation curves of a diffusive logistic equation with harvesting orthogonal to the first eigenfunction

Authors: Pedro M. Girão, Mayte Pérez-Llanos

Abstract: We study the global bifurcation curves of a diffusive logistic equation, when harvesting is orthogonal to the first eigenfunction of the Laplacian, for values of the linear growth up to $λ_2+δ$, examining in detail their behavior as the linear growth rate crosses the first two eigenvalues. We observe some new behavior with regard to earlier works concerning this equation. Namely, the bifurcation c… ▽ More We study the global bifurcation curves of a diffusive logistic equation, when harvesting is orthogonal to the first eigenfunction of the Laplacian, for values of the linear growth up to $λ_2+δ$, examining in detail their behavior as the linear growth rate crosses the first two eigenvalues. We observe some new behavior with regard to earlier works concerning this equation. Namely, the bifurcation curves suffer a transformation at $λ_1$, they are compact above $λ_1$, there are precisely two families of degenerate solutions with Morse index equal to zero, and the whole set of solutions below $λ_2$ is not a two dimensional manifold. △ Less

Submitted 1 July, 2014; originally announced July 2014.

MSC Class: 35B32; 35J66; 37B30; 92D25

Journal ref: J. Math. Anal. Appl. 403 (2013), 376-390

Bifurcation curves of a logistic equation when the linear growth rate crosses a second eigenvalue

Authors: Pedro M. Girão

Abstract: We construct the global bifurcation curves, solutions versus level of harvesting, for the steady states of a diffusive logistic equation on a bounded domain, under Dirichlet boundary conditions and other appropriate hypotheses, when $a$, the linear growth rate of the population, is below $λ_2+δ$. Here $λ_2$ is the second eigenvalue of the Dirichlet Laplacian on the domain and $δ>0$. Such curves ha… ▽ More We construct the global bifurcation curves, solutions versus level of harvesting, for the steady states of a diffusive logistic equation on a bounded domain, under Dirichlet boundary conditions and other appropriate hypotheses, when $a$, the linear growth rate of the population, is below $λ_2+δ$. Here $λ_2$ is the second eigenvalue of the Dirichlet Laplacian on the domain and $δ>0$. Such curves have been obtained before, but only for $a$ in a right neighborhood of the first eigenvalue. Our analysis provides the exact number of solutions of the equation for $a\leqλ_2$ and new information on the number of solutions for $a>λ_2$. △ Less

Submitted 28 June, 2014; originally announced June 2014.

Comments: This is an extended version of the published paper

MSC Class: 35B32; 35J66; 37B30; 92D25

Journal ref: Nonlinear Analysis: Theory, Methods & Applications 74 (2011), 94-113

On the global uniqueness for the Einstein-Maxwell-scalar field system with a cosmological constant. Part 3: Mass inflation and extendibility of the solutions

Authors: João L. Costa, Pedro M. Girão, José Natário, Jorge Drumond Silva

Abstract: This paper is the third part of a trilogy dedicated to the following problem: given spherically symmetric characteristic initial data for the Einstein-Maxwell-scalar field system with a cosmological constant $Λ$, with the data on the outgoing initial null hypersurface given by a subextremal Reissner-Nordstrom black hole event horizon, study the future extendibility of the corresponding maximal glo… ▽ More This paper is the third part of a trilogy dedicated to the following problem: given spherically symmetric characteristic initial data for the Einstein-Maxwell-scalar field system with a cosmological constant $Λ$, with the data on the outgoing initial null hypersurface given by a subextremal Reissner-Nordstrom black hole event horizon, study the future extendibility of the corresponding maximal globally hyperbolic development as a "suitably regular" Lorentzian manifold. In the first part of this series we established the well posedness of the characteristic problem, whereas in the second part we studied the stability of the radius function at the Cauchy horizon. In this third and final paper we show that, depending on the decay rate of the initial data, mass inflation may or may not occur. When the mass is controlled, it is possible to obtain continuous extensions of the metric across the Cauchy horizon with square integrable Christoffel symbols. Under slightly stronger conditions, we can bound the gradient of the scalar field. This allows the construction of (non-isometric) extensions of the maximal development which are classical solutions of the Einstein equations. Our results provide evidence against the validity of the strong cosmic censorship conjecture when $Λ>0$. △ Less

Submitted 19 May, 2017; v1 submitted 27 June, 2014; originally announced June 2014.

Comments: 48 pages, 5 figures; v2: some presentation changes, mostly in the Introduction; v3: substantial changes in Section 5; v4: expanded Introduction; some presentation changes; matches final published version

MSC Class: 83C05 (Primary); 35Q76 (Secondary); 83C22; 83C57; 83C75

Journal ref: Ann. PDE (2017) 3: 8

On the global uniqueness for the Einstein-Maxwell-scalar field system with a cosmological constant. Part 2: Structure of the solutions and stability of the Cauchy horizon

Authors: João L. Costa, Pedro M. Girão, José Natário, Jorge Drumond Silva

Abstract: This paper is the second part of a trilogy dedicated to the following problem: given spherically symmetric characteristic initial data for the Einstein-Maxwell-scalar field system with a cosmological constant $Λ$, with the data on the outgoing initial null hypersurface given by a subextremal Reissner-Nordstrom black hole event horizon, study the future extendibility of the corresponding maximal gl… ▽ More This paper is the second part of a trilogy dedicated to the following problem: given spherically symmetric characteristic initial data for the Einstein-Maxwell-scalar field system with a cosmological constant $Λ$, with the data on the outgoing initial null hypersurface given by a subextremal Reissner-Nordstrom black hole event horizon, study the future extendibility of the corresponding maximal globally hyperbolic development as a "suitably regular" Lorentzian manifold. In the first paper of this sequence, we established well posedness of the characteristic problem with general initial data. In this second paper, we generalize the results of Dafermos on the stability of the radius function at the Cauchy horizon by including a cosmological constant. This requires a considerable deviation from the strategy followed by Dafermos, focusing on the level sets of the radius function instead of the red-shift and blue-shift regions. We also present new results on the global structure of the solution when the free data is not identically zero in a neighborhood of the origin. In the third and final paper, we will consider the issue of mass inflation and extendibility of solutions beyond the Cauchy horizon. △ Less

Submitted 17 August, 2015; v1 submitted 27 June, 2014; originally announced June 2014.

Comments: 44 pages, 13 figures; v2: a few small changes; v3: a paragraph was added in the Introduction, minor clarifications were made thoughout, the list of references was expanded, matches final published version

MSC Class: Primary 83C05; Secondary 35Q76; 83C22; 83C57; 83C75

On the global uniqueness for the Einstein-Maxwell-scalar field system with a cosmological constant. Part 1: Well posedness and breakdown criterion

Authors: João L. Costa, Pedro M. Girão, José Natário, Jorge Drumond Silva

Abstract: This paper is the first part of a trilogy dedicated to the following problem: given spherically symmetric characteristic initial data for the Einstein-Maxwell-scalar field system with a cosmological constant $Λ$, with the data on the outgoing initial null hypersurface given by a subextremal Reissner-Nordstrom black hole event horizon, study the future extendibility of the corresponding maximal glo… ▽ More This paper is the first part of a trilogy dedicated to the following problem: given spherically symmetric characteristic initial data for the Einstein-Maxwell-scalar field system with a cosmological constant $Λ$, with the data on the outgoing initial null hypersurface given by a subextremal Reissner-Nordstrom black hole event horizon, study the future extendibility of the corresponding maximal globally hyperbolic development (MGHD) as a "suitably regular" Lorentzian manifold. In this first part we establish well posedness of the Einstein equations for characteristic data satisfying the minimal regularity conditions leading to classical solutions. We also identify the appropriate notion of maximal solution, from which the construction of the corresponding MGHD follows, and determine breakdown criteria. This is the unavoidable starting point of the analysis; our main results will depend on the detailed understanding of these fundamentals. In the second part of this series we study the stability of the radius function at the Cauchy horizon. In the third and final paper we show that, depending on the decay rate of the initial data, mass inflation may or may not occur; in fact, it is even possible to have (non-isometric) extensions of the spacetime across the Cauchy horizon as classical solutions of the Einstein equations. △ Less

Submitted 23 October, 2014; v1 submitted 27 June, 2014; originally announced June 2014.

Comments: 33 pages, 4 figures; v2: 2 references added, some presentation changes, mostly in the Introduction; v3: 2 references added, Lemma 4.6 corrected, minor changes (mostly in pages 5 and 6), matches final published version

MSC Class: 83C05 (Primary); 35Q76 (Secondary); 83C22; 83C57; 83C75