-
MegaParticles: Range-based 6-DoF Monte Carlo Localization with GPU-Accelerated Stein Particle Filter
Authors:
Kenji Koide,
Shuji Oishi,
Masashi Yokozuka,
Atsuhiko Banno
Abstract:
This paper presents a 6-DoF range-based Monte Carlo localization method with a GPU-accelerated Stein particle filter. To update a massive amount of particles, we propose a Gauss-Newton-based Stein variational gradient descent (SVGD) with iterative neighbor particle search. This method uses SVGD to collectively update particle states with gradient and neighborhood information, which provides effici…
▽ More
This paper presents a 6-DoF range-based Monte Carlo localization method with a GPU-accelerated Stein particle filter. To update a massive amount of particles, we propose a Gauss-Newton-based Stein variational gradient descent (SVGD) with iterative neighbor particle search. This method uses SVGD to collectively update particle states with gradient and neighborhood information, which provides efficient particle sampling. For an efficient neighbor particle search, it uses locality sensitive hashing and iteratively updates the neighbor list of each particle over time. The neighbor list is then used to propagate the posterior probabilities of particles over the neighbor particle graph. The proposed method is capable of evaluating one million particles in real-time on a single GPU and enables robust pose initialization and re-localization without an initial pose estimate. In experiments, the proposed method showed an extreme robustness to complete sensor occlusion (i.e., kidnap**), and enabled pinpoint sensor localization without any prior information.
△ Less
Submitted 25 April, 2024;
originally announced April 2024.
-
The solar dynamo begins near the surface
Authors:
Geoffrey M Vasil,
Daniel Lecoanet,
Kyle Augustson,
Keaton J Burns,
Jeffrey S Oishi,
Benjamin P Brown,
Nicholas Brummell,
Keith Julien
Abstract:
The Sun's magnetic dynamo cycle features a distinct pattern: a propagating region of sunspot emergence appears around 30 degrees latitude and vanishes near the equator every 11 years. Moreover, longitudinal flows called "torsional oscillations" closely shadow sunspot migration, undoubtedly sharing a common cause. Contrary to theories suggesting deep origins for these phenomena, helioseismology pin…
▽ More
The Sun's magnetic dynamo cycle features a distinct pattern: a propagating region of sunspot emergence appears around 30 degrees latitude and vanishes near the equator every 11 years. Moreover, longitudinal flows called "torsional oscillations" closely shadow sunspot migration, undoubtedly sharing a common cause. Contrary to theories suggesting deep origins for these phenomena, helioseismology pinpoints low-latitude torsional oscillations to the Sun's outer 5-10%, the "Near-Surface Shear Layer". Within this zone, inwardly increasing differential rotation coupled with a poloidal magnetic field strongly implicates the Magneto-Rotational Instability prominent in accretion-disk theory and observed in laboratory experiments. Together, these two facts prompt the general question: Is it possible that the solar dynamo is a near-surface instability? Here, we report strong affirmative evidence in stark contrast to traditional paradigms focusing on the deeper tachocline. Simple analytic estimates show that the near-surface magneto-rotational instability better explains the spatiotemporal scales of the torsional oscillations and inferred subsurface magnetic field amplitudes. State-of-the-art numerical simulations corroborate these estimates and, strikingly, reproduce hemispherical magnetic current helicity laws. The dynamo resulting from a well-understood near-surface phenomenon improves prospects for accurate predictions of full magnetic cycles and space weather, impacting Earth's electromagnetic infrastructure.
△ Less
Submitted 13 April, 2024; v1 submitted 11 April, 2024;
originally announced April 2024.
-
Tightly-Coupled LiDAR-IMU-Wheel Odometry with Online Calibration of a Kinematic Model for Skid-Steering Robots
Authors:
Taku Okawara,
Kenji Koide,
Shuji Oishi,
Masashi Yokozuka,
Atsuhiko Banno,
Kentaro Uno,
Kazuya Yoshida
Abstract:
Tunnels and long corridors are challenging environments for mobile robots because a LiDAR point cloud should degenerate in these environments. To tackle point cloud degeneration, this study presents a tightly-coupled LiDAR-IMU-wheel odometry algorithm with an online calibration for skid-steering robots. We propose a full linear wheel odometry factor, which not only serves as a motion constraint bu…
▽ More
Tunnels and long corridors are challenging environments for mobile robots because a LiDAR point cloud should degenerate in these environments. To tackle point cloud degeneration, this study presents a tightly-coupled LiDAR-IMU-wheel odometry algorithm with an online calibration for skid-steering robots. We propose a full linear wheel odometry factor, which not only serves as a motion constraint but also performs the online calibration of kinematic models for skid-steering robots. Despite the dynamically changing kinematic model (e.g., wheel radii changes caused by tire pressures) and terrain conditions, our method can address the model error via online calibration. Moreover, our method enables an accurate localization in cases of degenerated environments, such as long and straight corridors, by calibration while the LiDAR-IMU fusion sufficiently operates. Furthermore, we estimate the uncertainty (i.e., covariance matrix) of the wheel odometry online for creating a reasonable constraint. The proposed method is validated through three experiments. The first indoor experiment shows that the proposed method is robust in severe degeneracy cases (long corridors) and changes in the wheel radii. The second outdoor experiment demonstrates that our method accurately estimates the sensor trajectory despite being in rough outdoor terrain owing to online uncertainty estimation of wheel odometry. The third experiment shows the proposed online calibration enables robust odometry estimation in changing terrains.
△ Less
Submitted 3 April, 2024;
originally announced April 2024.
-
Iterative Methods for Navier--Stokes Inverse Problems
Authors:
Liam O'Connor,
Daniel Lecoanet,
Evan H. Anders,
Kyle C. Augustson,
Keaton J. Burns,
Geoffrey M. Vasil,
Jeffrey S. Oishi,
Benjamin P. Brown
Abstract:
Even when the partial differential equation underlying a physical process can be evolved forward in time, the retrospective (backward in time) inverse problem often has its own challenges and applications. Direct Adjoint Loo** (DAL) is the defacto approach for solving retrospective inverse problems, but it has not been applied to deterministic retrospective Navier--Stokes inverse problems in 2D…
▽ More
Even when the partial differential equation underlying a physical process can be evolved forward in time, the retrospective (backward in time) inverse problem often has its own challenges and applications. Direct Adjoint Loo** (DAL) is the defacto approach for solving retrospective inverse problems, but it has not been applied to deterministic retrospective Navier--Stokes inverse problems in 2D or 3D. In this paper, we demonstrate that DAL is ill-suited for solving retrospective 2D Navier--Stokes inverse problems. Alongside DAL, we study two other iterative methods: Simple Backward Integration (SBI) and the Quasi-Reversible Method (QRM). Our iterative SBI approach is novel while iterative QRM has previously been used. Using these three iterative methods, we solve two retrospective inverse problems: 1D Korteweg--de Vries--Burgers (decaying nonlinear wave) and 2D Navier--Stokes (unstratified Kelvin--Helmholtz vortex). In both cases, SBI and QRM reproduce the target final states more accurately and in fewer iterations than DAL. We attribute this performance gap to additional terms present in SBI and QRM's respective backward integrations which are absent in DAL.
△ Less
Submitted 1 March, 2024;
originally announced March 2024.
-
Tightly Coupled Range Inertial Localization on a 3D Prior Map Based on Sliding Window Factor Graph Optimization
Authors:
Kenji Koide,
Shuji Oishi,
Masashi Yokozuka,
Atsuhiko Banno
Abstract:
This paper presents a range inertial localization algorithm for a 3D prior map. The proposed algorithm tightly couples scan-to-scan and scan-to-map point cloud registration factors along with IMU factors on a sliding window factor graph. The tight coupling of the scan-to-scan and scan-to-map registration factors enables a smooth fusion of sensor ego-motion estimation and map-based trajectory corre…
▽ More
This paper presents a range inertial localization algorithm for a 3D prior map. The proposed algorithm tightly couples scan-to-scan and scan-to-map point cloud registration factors along with IMU factors on a sliding window factor graph. The tight coupling of the scan-to-scan and scan-to-map registration factors enables a smooth fusion of sensor ego-motion estimation and map-based trajectory correction that results in robust tracking of the sensor pose under severe point cloud degeneration and defective regions in a map. We also propose an initial sensor state estimation algorithm that robustly estimates the gravity direction and IMU state and helps perform global localization in 3- or 4-DoF for system initialization without prior position information. Experimental results show that the proposed method outperforms existing state-of-the-art methods in extremely severe situations where the point cloud data becomes degenerate, there are momentary sensor interruptions, or the sensor moves along the map boundary or into unmapped regions.
△ Less
Submitted 8 February, 2024;
originally announced February 2024.
-
Polygonal Sequence-driven Triangulation Validator: An Incremental Approach to 2D Triangulation Verification
Authors:
Sora Sawai,
Kazuaki Tanaka,
Katsuhisa Ozaki,
Shin'ichi Oishi
Abstract:
Two-dimensional Delaunay triangulation is a fundamental aspect of computational geometry. This paper presents a novel algorithm that is specifically designed to ensure the correctness of 2D Delaunay triangulation, namely the Polygonal Sequence-driven Triangulation Validator (PSTV). Our research highlights the paramount importance of proper triangulation and the often overlooked, yet profound, impa…
▽ More
Two-dimensional Delaunay triangulation is a fundamental aspect of computational geometry. This paper presents a novel algorithm that is specifically designed to ensure the correctness of 2D Delaunay triangulation, namely the Polygonal Sequence-driven Triangulation Validator (PSTV). Our research highlights the paramount importance of proper triangulation and the often overlooked, yet profound, impact of rounding errors in numerical computations on the precision of triangulation. The primary objective of the PSTV algorithm is to identify these computational errors and ensure the accuracy of the triangulation output. In addition to validating the correctness of triangulation, this study underscores the significance of the Delaunay property for the quality of finite element methods. Effective strategies are proposed to verify this property for a triangulation and correct it when necessary. While acknowledging the difficulty of rectifying complex triangulation errors such as overlap** triangles, these strategies provide valuable insights on identifying the locations of these errors and remedying them. The unique feature of the PSTV algorithm lies in its adoption of floating-point filters in place of interval arithmetic, striking an effective balance between computational efficiency and precision. This research sets a vital precedent for error reduction and precision enhancement in computational geometry.
△ Less
Submitted 16 January, 2024;
originally announced January 2024.
-
3D-BBS: Global Localization for 3D Point Cloud Scan Matching Using Branch-and-Bound Algorithm
Authors:
Koki Aoki,
Kenji Koide,
Shuji Oishi,
Masashi Yokozuka,
Atsuhiko Banno,
Junichi Meguro
Abstract:
This paper presents an accurate and fast 3D global localization method, 3D-BBS, that extends the existing branch-and-bound (BnB)-based 2D scan matching (BBS) algorithm. To reduce memory consumption, we utilize a sparse hash table for storing hierarchical 3D voxel maps. To improve the processing cost of BBS in 3D space, we propose an efficient roto-translational space branching. Furthermore, we dev…
▽ More
This paper presents an accurate and fast 3D global localization method, 3D-BBS, that extends the existing branch-and-bound (BnB)-based 2D scan matching (BBS) algorithm. To reduce memory consumption, we utilize a sparse hash table for storing hierarchical 3D voxel maps. To improve the processing cost of BBS in 3D space, we propose an efficient roto-translational space branching. Furthermore, we devise a batched BnB algorithm to fully leverage GPU parallel processing. Through experiments in simulated and real environments, we demonstrated that the 3D-BBS enabled accurate global localization with only a 3D LiDAR scan roughly aligned in the gravity direction and a 3D pre-built map. This method required only 878 msec on average to perform global localization and outperformed state-of-the-art global registration methods in terms of accuracy and processing speed.
△ Less
Submitted 5 March, 2024; v1 submitted 15 October, 2023;
originally announced October 2023.
-
Ordering of timescales predicts applicability of quasi-linear theory in unstable flows
Authors:
Curtis J. Saxton,
Brad Marston,
Jeffrey S. Oishi,
Steven M. Tobias
Abstract:
We discuss the applicability of quasilinear-type approximations for a turbulent system with a large range of spatial and temporal scales. We consider a paradigm fluid system of rotating convection with a vertical and horizontal temperature gradients. In particular, the interaction of rotating with the horizontal temperature gradient drives a ``thermal wind'' shear flow whose strength is controlled…
▽ More
We discuss the applicability of quasilinear-type approximations for a turbulent system with a large range of spatial and temporal scales. We consider a paradigm fluid system of rotating convection with a vertical and horizontal temperature gradients. In particular, the interaction of rotating with the horizontal temperature gradient drives a ``thermal wind'' shear flow whose strength is controlled by a horizontal temperature gradient. Varying the parameters systematically alters the ordering of the shearing timescale, the convective timescale, and the correlation timescale. We demonstrate that quasilinear-type approximations work well when the shearing timescale or the correlation timescale is sufficiently short. In all cases, the Generalised Quasilinear approximation (GQL) systematically outperforms the Quasilinear approximation (QL). We discuss the consequences for statistical theories of turbulence interacting with mean gradients. We conclude with comments about the general applicability of these ideas across a wide variety of non-linear physical systems.
△ Less
Submitted 7 July, 2023;
originally announced July 2023.
-
Exact Point Cloud Downsampling for Fast and Accurate Global Trajectory Optimization
Authors:
Kenji Koide,
Shuji Oishi,
Masashi Yokozuka,
Atsuhiko Banno
Abstract:
This paper presents a point cloud downsampling algorithm for fast and accurate trajectory optimization based on global registration error minimization. The proposed algorithm selects a weighted subset of residuals of the input point cloud such that the subset yields exactly the same quadratic point cloud registration error function as that of the original point cloud at the evaluation point. This…
▽ More
This paper presents a point cloud downsampling algorithm for fast and accurate trajectory optimization based on global registration error minimization. The proposed algorithm selects a weighted subset of residuals of the input point cloud such that the subset yields exactly the same quadratic point cloud registration error function as that of the original point cloud at the evaluation point. This method accurately approximates the original registration error function with only a small subset of input points (29 residuals at a minimum). Experimental results using the KITTI dataset demonstrate that the proposed algorithm significantly reduces processing time (by 87\%) and memory consumption (by 99\%) for global registration error minimization while retaining accuracy.
△ Less
Submitted 24 December, 2023; v1 submitted 6 July, 2023;
originally announced July 2023.
-
The photometric variability of massive stars due to gravity waves excited by core convection
Authors:
Evan H. Anders,
Daniel Lecoanet,
Matteo Cantiello,
Keaton J. Burns,
Benjamin A. Hyatt,
Emma Kaufman,
Richard H. D. Townsend,
Benjamin P. Brown,
Geoffrey M. Vasil,
Jeffrey S. Oishi,
Adam S. Jermyn
Abstract:
Massive stars die in catastrophic explosions, which seed the interstellar medium with heavy elements and produce neutron stars and black holes. Predictions of the explosion's character and the remnant mass depend on models of the star's evolutionary history. Models of massive star interiors can be empirically constrained by asteroseismic observations of gravity wave oscillations. Recent photometri…
▽ More
Massive stars die in catastrophic explosions, which seed the interstellar medium with heavy elements and produce neutron stars and black holes. Predictions of the explosion's character and the remnant mass depend on models of the star's evolutionary history. Models of massive star interiors can be empirically constrained by asteroseismic observations of gravity wave oscillations. Recent photometric observations reveal a ubiquitous red noise signal on massive main sequence stars; a hypothesized source of this noise is gravity waves driven by core convection. We present the first 3D simulations of massive star convection extending from the star's center to near its surface, with realistic stellar luminosities. Using these simulations, we make the first prediction of photometric variability due to convectively-driven gravity waves at the surfaces of massive stars, and find that gravity waves produce photometric variability of a lower amplitude and lower characteristic frequency than the observed red noise. We infer that the photometric signal of gravity waves excited by core convection is below the noise limit of current observations, so the red noise must be generated by an alternative process.
△ Less
Submitted 13 June, 2023;
originally announced June 2023.
-
Single-Shot Global Localization via Graph-Theoretic Correspondence Matching
Authors:
Shigemichi Matsuzaki,
Kenji Koide,
Shuji Oishi,
Masashi Yokozuka,
Atsuhiko Banno
Abstract:
This paper describes a method of global localization based on graph-theoretic association of instances between a query and the prior map. The proposed framework employs correspondence matching based on the maximum clique problem (MCP). The framework is potentially applicable to other map and/or query modalities thanks to the graph-based abstraction of the problem, while many of existing global loc…
▽ More
This paper describes a method of global localization based on graph-theoretic association of instances between a query and the prior map. The proposed framework employs correspondence matching based on the maximum clique problem (MCP). The framework is potentially applicable to other map and/or query modalities thanks to the graph-based abstraction of the problem, while many of existing global localization methods rely on a query and the dataset in the same modality. We implement it with a semantically labeled 3D point cloud map, and a semantic segmentation image as a query. Leveraging the graph-theoretic framework, the proposed method realizes global localization exploiting only the map and the query. The method shows promising results on multiple large-scale simulated maps of urban scenes.
△ Less
Submitted 6 June, 2023;
originally announced June 2023.
-
The Puzzling Structure of Solar Convection: Window into the Dynamo
Authors:
Nicholas A. Featherstone,
Kyle C. Augustson,
Jonathan M. Aurnou,
Catherine Blume,
Benjamin P. Brown,
Nicholas Brummell,
Keaton J. Burns,
Michael A. Calkins,
Maria Camisassa,
Mausumi Dikpati,
Yuhong Fan,
J. R. Fuentes,
Gustavo Guerrero,
Bradley W. Hindman,
Keith Julien,
Irina N. Kitiashvili,
Lydia Korre,
Daniel Lecoanet,
Bhishek Manek,
Loren Matilsky,
Mark Miesch,
Nicholas J. Nelson,
Jeffrey S. Oishi,
Whitney T. Powers,
Matthias Rempel
, et al. (3 additional authors not shown)
Abstract:
The operation of the solar dynamo, with all of its remarkable spatio-temporal ordering, remains an outstanding problem of modern solar physics. A number of mechanisms that might plausibly contribute to its operation have been proposed, but the relative role played by each remains unclear. This uncertainty stems from continuing questions concerning the speed and structure of deep-seated convective…
▽ More
The operation of the solar dynamo, with all of its remarkable spatio-temporal ordering, remains an outstanding problem of modern solar physics. A number of mechanisms that might plausibly contribute to its operation have been proposed, but the relative role played by each remains unclear. This uncertainty stems from continuing questions concerning the speed and structure of deep-seated convective flows. Those flows are in-turn thought to sustain both the Sun's turbulent EMF and the large-scale flows of differential rotation and meridional circulation suspected of influencing the dynamo's organization and timing. Continued progress in this area is complicated by (i) inconsistencies between helioseismic measurements of convective and meridional flow made with different techniques and instruments, and (ii) a lack of high-latitude data for convection, differential rotation, and meridional flow. We suggest that the path forward to resolving these difficulties is twofold. First, the acquisition of long-term helioseismic and emissivity measurements obtained from a polar vantage point is vital to complete our picture of the Sun's outer convection zone. Second, sustained and expanded investment in theory-oriented and combined theory/observational research initiatives will be crucial to fully exploit these new observations and to resolve inconsistencies between existing measurements.
△ Less
Submitted 15 May, 2023;
originally announced May 2023.
-
General, Single-shot, Target-less, and Automatic LiDAR-Camera Extrinsic Calibration Toolbox
Authors:
Kenji Koide,
Shuji Oishi,
Masashi Yokozuka,
Atsuhiko Banno
Abstract:
This paper presents an open source LiDAR-camera calibration toolbox that is general to LiDAR and camera projection models, requires only one pairing of LiDAR and camera data without a calibration target, and is fully automatic. For automatic initial guess estimation, we employ the SuperGlue image matching pipeline to find 2D-3D correspondences between LiDAR and camera data and estimate the LiDAR-c…
▽ More
This paper presents an open source LiDAR-camera calibration toolbox that is general to LiDAR and camera projection models, requires only one pairing of LiDAR and camera data without a calibration target, and is fully automatic. For automatic initial guess estimation, we employ the SuperGlue image matching pipeline to find 2D-3D correspondences between LiDAR and camera data and estimate the LiDAR-camera transformation via RANSAC. Given the initial guess, we refine the transformation estimate with direct LiDAR-camera registration based on the normalized information distance, a mutual information-based cross-modal distance metric. For a handy calibration process, we also present several assistance capabilities (e.g., dynamic LiDAR data integration and user interface for making 2D-3D correspondence manually). The experimental results show that the proposed toolbox enables calibration of any combination of spinning and non-repetitive scan LiDARs and pinhole and omnidirectional cameras, and shows better calibration accuracy and robustness than those of the state-of-the-art edge-alignment-based calibration method.
△ Less
Submitted 10 February, 2023;
originally announced February 2023.
-
Prediction of spatial distribution of debris-flow hit probability considering the source-location uncertainty
Authors:
Kazuki Yamanoi,
Satoru Oishi,
Kenji Kawaike
Abstract:
Prediction of the extent and probability of debris flow under rainfall conditions can contribute to precautionary activities through risk quantification. To this end, quantifying the debris-flow risk against rainfall involves three components: predicting the debris-flow initiation locations under rainfall conditions, setting appropriate physical parameters related to debris-flow transportation, an…
▽ More
Prediction of the extent and probability of debris flow under rainfall conditions can contribute to precautionary activities through risk quantification. To this end, quantifying the debris-flow risk against rainfall involves three components: predicting the debris-flow initiation locations under rainfall conditions, setting appropriate physical parameters related to debris-flow transportation, and evaluating the affected area using numerical simulation. In this study, we developed a logistic regression method that includes rainfall and topographic parameters as explanatory variables to quantify the probability of debris-flow initiation in an actual area with disaster record. Moreover, an objective parameter-set selection was introduced by evaluating the agreement between the simulation results with multiple parameters and the erosion/deposition area determined using the aerial light detection and ranging difference data after debris flow. Finally, by combining these results, we conducted a predictive debris-flow transport simulation using the initiation datasets generated by the logistic model. Therefore, the spatial distribution using the probability of the effects of debris-flow, which can be applied for risk quantification and evacuation optimization, was successfully obtained at 1-m resolution. Furthermore, a real-time hazard probability prediction system could be developed based on the presented simulation cost.
△ Less
Submitted 13 November, 2022;
originally announced November 2022.
-
Generalized LOAM: LiDAR Odometry Estimation with Trainable Local Geometric Features
Authors:
Kohei Honda,
Kenji Koide,
Masashi Yokozuka,
Shuji Oishi,
Atsuhiko Banno
Abstract:
This paper presents a LiDAR odometry estimation framework called Generalized LOAM. Our proposed method is generalized in that it can seamlessly fuse various local geometric shapes around points to improve the position estimation accuracy compared to the conventional LiDAR odometry and map** (LOAM) method. To utilize continuous geometric features for LiDAR odometry estimation, we incorporate tiny…
▽ More
This paper presents a LiDAR odometry estimation framework called Generalized LOAM. Our proposed method is generalized in that it can seamlessly fuse various local geometric shapes around points to improve the position estimation accuracy compared to the conventional LiDAR odometry and map** (LOAM) method. To utilize continuous geometric features for LiDAR odometry estimation, we incorporate tiny neural networks into a generalized iterative closest point (GICP) algorithm. These neural networks improve the data association metric and the matching cost function using local geometric features. Experiments with the KITTI benchmark demonstrate that our proposed method reduces relative trajectory errors compared to the other LiDAR odometry estimation methods.
△ Less
Submitted 29 October, 2022;
originally announced October 2022.
-
The Stability of Prendergast Magnetic Fields
Authors:
Emma Kaufman,
Daniel Lecoanet,
Evan H. Anders,
Benjamin P. Brown,
Geoffrey M. Vasil,
Jeffrey S. Oishi,
Keaton J. Burns
Abstract:
Convection in massive main sequence stars generates large scale magnetic fields in their cores which persists as they evolve up the red giant branch. The remnants of these fields may take the form of the Prendergast magnetic field, a combination of poloidal and toroidal field components which are expected to stabilize each other. Previous analytic and numerical calculations did not find any eviden…
▽ More
Convection in massive main sequence stars generates large scale magnetic fields in their cores which persists as they evolve up the red giant branch. The remnants of these fields may take the form of the Prendergast magnetic field, a combination of poloidal and toroidal field components which are expected to stabilize each other. Previous analytic and numerical calculations did not find any evidence for instability of the Prendergast field over short timescales. In this paper, we present numerical simulations which show a long timescale, linear instability of this magnetic field. We find the instability to be robust to changes in boundary conditions and it is not stabilized by strong stable stratification. The instability is a resistive instability, and the growth rate has a power-law dependence on the resistivity, in which the growth rate decreases as the resistivity decreases. We estimate the growth rate of the instability in stars by extrapolating this power-law to stellar values of the resistivity. The instability is sufficiently rapid to destabilize the magnetic field on timescales shorter than the stellar evolution timescale, indicating that the Prendergast field is not a good model to use in studies of magnetic fields in stars.
△ Less
Submitted 28 September, 2022;
originally announced September 2022.
-
Scalable Fiducial Tag Localization on a 3D Prior Map via Graph-Theoretic Global Tag-Map Registration
Authors:
Kenji Koide,
Shuji Oishi,
Masashi Yokozuka,
Atsuhiko Banno
Abstract:
This paper presents an accurate and scalable method for fiducial tag localization on a 3D prior environmental map. The proposed method comprises three steps: 1) visual odometry-based landmark SLAM for estimating the relative poses between fiducial tags, 2) geometrical matching-based global tag-map registration via maximum clique finding, and 3) tag pose refinement based on direct camera-map alignm…
▽ More
This paper presents an accurate and scalable method for fiducial tag localization on a 3D prior environmental map. The proposed method comprises three steps: 1) visual odometry-based landmark SLAM for estimating the relative poses between fiducial tags, 2) geometrical matching-based global tag-map registration via maximum clique finding, and 3) tag pose refinement based on direct camera-map alignment with normalized information distance. Through simulation-based evaluations, the proposed method achieved a 98 \% global tag-map registration success rate and an average tag pose estimation accuracy of a few centimeters. Experimental results in a real environment demonstrated that it enables to localize over 110 fiducial tags placed in an environment in 25 minutes for data recording and post-processing.
△ Less
Submitted 25 July, 2022;
originally announced July 2022.
-
Direct Statistical Simulation of the Busse Annulus
Authors:
Jeffrey S. Oishi,
Keaton J. Burns,
J. B. Marston,
S. M. Tobias
Abstract:
We consider direct statistical simulation (DSS) of a paradigm system of convection interacting with mean flows. In the Busse Annulus model zonal jets are generated through the interaction of convectively driven turbulence and rotation; non-trivial dynamics including the emergence of multiple jets and bursting `predator-prey' type dynamics can be found. We formulate the DSS by expanding around the…
▽ More
We consider direct statistical simulation (DSS) of a paradigm system of convection interacting with mean flows. In the Busse Annulus model zonal jets are generated through the interaction of convectively driven turbulence and rotation; non-trivial dynamics including the emergence of multiple jets and bursting `predator-prey' type dynamics can be found. We formulate the DSS by expanding around the mean flow in terms of equal-time cumulants and arrive at a closed set of equations of motion for the cumulants. Here, we present results using an expansion terminated at the second cumulant (CE2); it is fundamentally a quasi-linear theory. We focus on particular cases including bursting and bistable multiple jets and demonstrate that CE2 can reproduce the results of direct numerical simulation if particular attention is given to symmetry considerations.
△ Less
Submitted 7 March, 2022;
originally announced March 2022.
-
Globally Consistent and Tightly Coupled 3D LiDAR Inertial Map**
Authors:
Kenji Koide,
Masashi Yokozuka,
Shuji Oishi,
Atsuhiko Banno
Abstract:
This paper presents a real-time 3D map** framework based on global matching cost minimization and LiDAR-IMU tight coupling. The proposed framework comprises a preprocessing module and three estimation modules: odometry estimation, local map**, and global map**, which are all based on the tight coupling of the GPU-accelerated voxelized GICP matching cost factor and the IMU preintegration fact…
▽ More
This paper presents a real-time 3D map** framework based on global matching cost minimization and LiDAR-IMU tight coupling. The proposed framework comprises a preprocessing module and three estimation modules: odometry estimation, local map**, and global map**, which are all based on the tight coupling of the GPU-accelerated voxelized GICP matching cost factor and the IMU preintegration factor. The odometry estimation module employs a keyframe-based fixed-lag smoothing approach for efficient and low-drift trajectory estimation, with a bounded computation cost. The global map** module constructs a factor graph that minimizes the global registration error over the entire map with the support of IMU constraints, ensuring robust optimization in feature-less environments. The evaluation results on the Newer College dataset and KAIST urban dataset show that the proposed framework enables accurate and robust localization and map** in challenging environments.
△ Less
Submitted 1 February, 2022; v1 submitted 1 February, 2022;
originally announced February 2022.
-
Globally Consistent 3D LiDAR Map** with GPU-accelerated GICP Matching Cost Factors
Authors:
Kenji Koide,
Masashi Yokozuka,
Shuji Oishi,
Atsuhiko Banno
Abstract:
This paper presents a real-time 3D LiDAR map** framework based on global matching cost minimization. The proposed method constructs a factor graph that directly minimizes matching costs between frames over the entire map, unlike pose graph-based approaches that minimize errors in the pose space. For real-time global matching cost minimization, we use a voxel data association-based GICP matching…
▽ More
This paper presents a real-time 3D LiDAR map** framework based on global matching cost minimization. The proposed method constructs a factor graph that directly minimizes matching costs between frames over the entire map, unlike pose graph-based approaches that minimize errors in the pose space. For real-time global matching cost minimization, we use a voxel data association-based GICP matching cost factor that is able to fully leverage GPU parallel processing. The combination of the matching cost factor and GPU computation enables constraint of the relative pose between frames with a small overlap and creation of a densely connected factor graph. The map** process is managed based on a voxel-based overlap metric that can quickly be evaluated on a GPU. We incorporate the proposed method with an external loop detection method in order to help the voxel-based matching cost factors to avoid convergence in a local solution. The experimental result on the KITTI dataset shows that the proposed approach improves the estimation accuracy of long trajectories.
△ Less
Submitted 24 December, 2023; v1 submitted 15 September, 2021;
originally announced September 2021.
-
4D Attention: Comprehensive Framework for Spatio-Temporal Gaze Map**
Authors:
Shuji Oishi,
Kenji Koide,
Masashi Yokozuka,
Atsuhiko Banno
Abstract:
This study presents a framework for capturing human attention in the spatio-temporal domain using eye-tracking glasses. Attention map** is a key technology for human perceptual activity analysis or Human-Robot Interaction (HRI) to support human visual cognition; however, measuring human attention in dynamic environments is challenging owing to the difficulty in localizing the subject and dealing…
▽ More
This study presents a framework for capturing human attention in the spatio-temporal domain using eye-tracking glasses. Attention map** is a key technology for human perceptual activity analysis or Human-Robot Interaction (HRI) to support human visual cognition; however, measuring human attention in dynamic environments is challenging owing to the difficulty in localizing the subject and dealing with moving objects. To address this, we present a comprehensive framework, 4D Attention, for unified gaze map** onto static and dynamic objects. Specifically, we estimate the glasses pose by leveraging a loose coupling of direct visual localization and Inertial Measurement Unit (IMU) values. Further, by installing reconstruction components into our framework, dynamic objects not captured in the 3D environment map are instantiated based on the input images. Finally, a scene rendering component synthesizes a first-person view with identification (ID) textures and performs direct 2D-3D gaze association. Quantitative evaluations showed the effectiveness of our framework. Additionally, we demonstrated the applications of 4D Attention through experiments in real situations.
△ Less
Submitted 8 July, 2021;
originally announced July 2021.
-
Adaptive Hyperparameter Tuning for Black-box LiDAR Odometry
Authors:
Kenji Koide,
Masashi Yokozuka,
Shuji Oishi,
Atsuhiko Banno
Abstract:
This study proposes an adaptive data-driven hyperparameter tuning framework for black-box 3D LiDAR odometry algorithms. The proposed framework comprises offline parameter-error function modeling and online adaptive parameter selection. In the offline step, we run the odometry estimation algorithm for tuning with different parameters and environments and evaluate the accuracy of the estimated traje…
▽ More
This study proposes an adaptive data-driven hyperparameter tuning framework for black-box 3D LiDAR odometry algorithms. The proposed framework comprises offline parameter-error function modeling and online adaptive parameter selection. In the offline step, we run the odometry estimation algorithm for tuning with different parameters and environments and evaluate the accuracy of the estimated trajectories to build a surrogate function that predicts the trajectory estimation error for the given parameters and environments. Subsequently, we select the parameter set that is expected to result in good accuracy in the given environment based on trajectory error prediction with the surrogate function. The proposed framework does not require detailed information on the inner working of the algorithm to be tuned, and improves its accuracy by adaptively optimizing the parameter set. We first demonstrate the role of the proposed framework in improving the accuracy of odometry estimation across different environments with a simulation-based toy example. Further, an evaluation on the public dataset KITTI shows that the proposed framework can improve the accuracy of several odometry estimation algorithms in practical situations.
△ Less
Submitted 8 July, 2021; v1 submitted 1 July, 2021;
originally announced July 2021.
-
An application of a Si/CdTe Compton camera for the polarization measurement of hard x-rays from highly charged heavy ions
Authors:
Yutaka Tsuzuki,
Shin Watanabe,
Shimpei Oishi,
Nobuyuki Nakamura,
Naoki Numadate,
Hirokazu Odaka,
Yuusuke Uchida,
Hiroki Yoneda,
Tadayuki Takahashi
Abstract:
The methods to measure the polarization of the x-rays from highly charged heavy ions with a significantly higher accuracy than the existing technology is needed to explore relativistic and quantum electrodynamics (QED) effects including the Breit interaction. We developed the Electron Beam Ion Trap Compton Camera (EBIT-CC), a new Compton polarimeter with pixelated multi-layer silicon and cadmium t…
▽ More
The methods to measure the polarization of the x-rays from highly charged heavy ions with a significantly higher accuracy than the existing technology is needed to explore relativistic and quantum electrodynamics (QED) effects including the Breit interaction. We developed the Electron Beam Ion Trap Compton Camera (EBIT-CC), a new Compton polarimeter with pixelated multi-layer silicon and cadmium telluride counters. The EBIT-CC detects the three-dimensional position of Compton scattering and photoelectric absorption, and thus the degree of polarization of incoming x-rays can be evaluated. We attached the EBIT-CC on the Tokyo Electron Beam Ion Trap (Tokyo-EBIT) in the University of Electro-Communications. An experiment was performed to evaluate its polarimetric capability through an observation of radiative recombination x-rays emitted from highly charged krypton ions, which were generated by the Tokyo-EBIT. The Compton camera of the EBIT-CC was calibrated for the 75 keV x-rays. We developed event reconstruction and selection procedures and applied them to every registered event. As a result, we successfully obtained the polarization degree with an absolute uncertainty of 0.02. This uncertainty is small enough to probe the difference between the zero-frequency approximation and full-frequency-dependent calculation for the Breit interaction, which is expected for dielectronic recombination x-rays of highly charged heavy ions.
△ Less
Submitted 29 May, 2021;
originally announced May 2021.
-
LiTAMIN2: Ultra Light LiDAR-based SLAM using Geometric Approximation applied with KL-Divergence
Authors:
Masashi Yokozuka,
Kenji Koide,
Shuji Oishi,
Atsuhiko Banno
Abstract:
In this paper, a three-dimensional light detection and ranging simultaneous localization and map** (SLAM) method is proposed that is available for tracking and map** with 500--1000 Hz processing. The proposed method significantly reduces the number of points used for point cloud registration using a novel ICP metric to speed up the registration process while maintaining accuracy. Point cloud r…
▽ More
In this paper, a three-dimensional light detection and ranging simultaneous localization and map** (SLAM) method is proposed that is available for tracking and map** with 500--1000 Hz processing. The proposed method significantly reduces the number of points used for point cloud registration using a novel ICP metric to speed up the registration process while maintaining accuracy. Point cloud registration with ICP is less accurate when the number of points is reduced because ICP basically minimizes the distance between points. To avoid this problem, symmetric KL-divergence is introduced to the ICP cost that reflects the difference between two probabilistic distributions. The cost includes not only the distance between points but also differences between distribution shapes. The experimental results on the KITTI dataset indicate that the proposed method has high computational efficiency, strongly outperforms other methods, and has similar accuracy to the state-of-the-art SLAM method.
△ Less
Submitted 1 March, 2021;
originally announced March 2021.
-
Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains
Authors:
Xuefeng Liu,
Mitsuhiro T. Nakao,
Shin'ichi Oishi
Abstract:
This paper proposes a computer-assisted solution existence verification method for the stationary Navier-Stokes equation over general 3D domains. The proposed method verifies that the exact solution as the fixed point of the Newton iteration exists around the approximate solution through rigorous computation and error estimation. The explicit values of quantities required by applying the fixed poi…
▽ More
This paper proposes a computer-assisted solution existence verification method for the stationary Navier-Stokes equation over general 3D domains. The proposed method verifies that the exact solution as the fixed point of the Newton iteration exists around the approximate solution through rigorous computation and error estimation. The explicit values of quantities required by applying the fixed point theorem are obtained by utilizing newly developed quantitative error estimation for finite element solutions to boundary value problems and eigenvalue problems of the Stokes equation.
△ Less
Submitted 6 June, 2021; v1 submitted 11 January, 2021;
originally announced January 2021.
-
The Pencil Code, a modular MPI code for partial differential equations and particles: multipurpose and multiuser-maintained
Authors:
A. Brandenburg,
A. Johansen,
P. A. Bourdin,
W. Dobler,
W. Lyra,
M. Rheinhardt,
S. Bingert,
N. E. L. Haugen,
A. Mee,
F. Gent,
N. Babkovskaia,
C. -C. Yang,
T. Heinemann,
B. Dintrans,
D. Mitra,
S. Candelaresi,
J. Warnecke,
P. J. Käpylä,
A. Schreiber,
P. Chatterjee,
M. J. Käpylä,
X. -Y. Li,
J. Krüger,
J. R. Aarnes,
G. R. Sarson
, et al. (12 additional authors not shown)
Abstract:
The Pencil Code is a highly modular physics-oriented simulation code that can be adapted to a wide range of applications. It is primarily designed to solve partial differential equations (PDEs) of compressible hydrodynamics and has lots of add-ons ranging from astrophysical magnetohydrodynamics (MHD) to meteorological cloud microphysics and engineering applications in combustion. Nevertheless, the…
▽ More
The Pencil Code is a highly modular physics-oriented simulation code that can be adapted to a wide range of applications. It is primarily designed to solve partial differential equations (PDEs) of compressible hydrodynamics and has lots of add-ons ranging from astrophysical magnetohydrodynamics (MHD) to meteorological cloud microphysics and engineering applications in combustion. Nevertheless, the framework is general and can also be applied to situations not related to hydrodynamics or even PDEs, for example when just the message passing interface or input/output strategies of the code are to be used. The code can also evolve Lagrangian (inertial and noninertial) particles, their coagulation and condensation, as well as their interaction with the fluid.
△ Less
Submitted 17 September, 2020;
originally announced September 2020.
-
Single-hemisphere dynamos in M-dwarf stars
Authors:
Benjamin P. Brown,
Jeffrey S. Oishi,
Geoffrey M. Vasil,
Daniel Lecoanet,
Keaton J. Burns
Abstract:
M-dwarf stars below a certain mass are convective from their cores to their photospheres. These fully convective objects are extremely numerous, very magnetically active, and the likely hosts of many exoplanets. Here we study, for the first time, dynamo action in simulations of stratified, rotating fully convective M-dwarf stars. Importantly, we use new techniques to capture the correct full ball…
▽ More
M-dwarf stars below a certain mass are convective from their cores to their photospheres. These fully convective objects are extremely numerous, very magnetically active, and the likely hosts of many exoplanets. Here we study, for the first time, dynamo action in simulations of stratified, rotating fully convective M-dwarf stars. Importantly, we use new techniques to capture the correct full ball geometry down to the center of the star. We find surprising dynamo states in these systems, with the global-scale mean fields confined strongly to a single hemisphere, in contrast to prior stellar dynamo solutions. These hemispheric-dynamo stars are likely to have profoundly different interactions with their surroundings, with important implications for exoplanet habitability and stellar spindown.
△ Less
Submitted 5 August, 2020;
originally announced August 2020.
-
Breaking the Limits of Remote Sensing by Simulation and Deep Learning for Flood and Debris Flow Map**
Authors:
Naoto Yokoya,
Kazuki Yamanoi,
Wei He,
Gerald Baier,
Bruno Adriano,
Hiroyuki Miura,
Satoru Oishi
Abstract:
We propose a framework that estimates inundation depth (maximum water level) and debris-flow-induced topographic deformation from remote sensing imagery by integrating deep learning and numerical simulation. A water and debris flow simulator generates training data for various artificial disaster scenarios. We show that regression models based on Attention U-Net and LinkNet architectures trained o…
▽ More
We propose a framework that estimates inundation depth (maximum water level) and debris-flow-induced topographic deformation from remote sensing imagery by integrating deep learning and numerical simulation. A water and debris flow simulator generates training data for various artificial disaster scenarios. We show that regression models based on Attention U-Net and LinkNet architectures trained on such synthetic data can predict the maximum water level and topographic deformation from a remote sensing-derived change detection map and a digital elevation model. The proposed framework has an inpainting capability, thus mitigating the false negatives that are inevitable in remote sensing image analysis. Our framework breaks the limits of remote sensing and enables rapid estimation of inundation depth and topographic deformation, essential information for emergency response, including rescue and relief activities. We conduct experiments with both synthetic and real data for two disaster events that caused simultaneous flooding and debris flows and demonstrate the effectiveness of our approach quantitatively and qualitatively.
△ Less
Submitted 9 June, 2020;
originally announced June 2020.
-
Explicit a posteriori and a priori error estimation for the finite element solution of Stokes equations
Authors:
Xuefeng Liu,
Mitsuhiro Nakao,
Chun'guang You,
Shin'ichi Oishi
Abstract:
For the Stokes equation over 2D and 3D domains, explicit a posteriori and a priori error estimation are novelly developed for the finite element solution. The difficulty in handling the divergence-free condition of the Stokes equation is solved by utilizing the extended hypercircle method along with the Scott-Vogelius finite element scheme. Since all terms in the error estimation have explicit val…
▽ More
For the Stokes equation over 2D and 3D domains, explicit a posteriori and a priori error estimation are novelly developed for the finite element solution. The difficulty in handling the divergence-free condition of the Stokes equation is solved by utilizing the extended hypercircle method along with the Scott-Vogelius finite element scheme. Since all terms in the error estimation have explicit values, by further applying the interval arithmetic and verified computing algorithms, the computed results provide rigorous estimation for the approximation error. As an application of the proposed error estimation, the eigenvalue problem of the Stokes operator is considered and rigorous bounds for the eigenvalues are obtained. The efficiency of proposed error estimation is demonstrated by solving the Stokes equation on both convex and non-convex 3D domains.
△ Less
Submitted 4 June, 2020;
originally announced June 2020.
-
Numerical verification for asymmetric solutions of the Hénon equation on bounded domains
Authors:
Taisei Asai,
Kazuaki Tanaka,
Shin'ichi Oishi
Abstract:
The Hénon equation, a generalized form of the Emden equation, admits symmetry-breaking bifurcation for a certain ratio of the transverse velocity to the radial velocity. Therefore, it has asymmetric solutions on a symmetric domain even though the Emden equation has no asymmetric unidirectional solution on such a domain. We discuss a numerical verification method for proving the existence of soluti…
▽ More
The Hénon equation, a generalized form of the Emden equation, admits symmetry-breaking bifurcation for a certain ratio of the transverse velocity to the radial velocity. Therefore, it has asymmetric solutions on a symmetric domain even though the Emden equation has no asymmetric unidirectional solution on such a domain. We discuss a numerical verification method for proving the existence of solutions of the Hénon equation on a bounded domain. By applying the method to a line-segment domain and a square domain, we numerically prove the existence of solutions of the Hénon equation for several parameters representing the ratio of transverse to radial velocity. As a result, we find a set of undiscovered solutions with three peaks on the square domain.
△ Less
Submitted 28 June, 2021; v1 submitted 6 February, 2020;
originally announced February 2020.
-
Performance of parallel-in-time integration for Rayleigh Bénard Convection
Authors:
Andrew Clarke,
Chris Davies,
Daniel Ruprecht,
Steven Tobias,
Jeffrey S. Oishi
Abstract:
Rayleigh-Bénard convection (RBC) is a fundamental problem of fluid dynamics, with many applications to geophysical, astrophysical, and industrial flows. Understanding RBC at parameter regimes of interest requires complex physical or numerical experiments. Numerical simulations require large amounts of computational resources; in order to more efficiently use the large numbers of processors now ava…
▽ More
Rayleigh-Bénard convection (RBC) is a fundamental problem of fluid dynamics, with many applications to geophysical, astrophysical, and industrial flows. Understanding RBC at parameter regimes of interest requires complex physical or numerical experiments. Numerical simulations require large amounts of computational resources; in order to more efficiently use the large numbers of processors now available in large high performance computing clusters, novel parallelisation strategies are required. To this end, we investigate the performance of the parallel-in-time algorithm Parareal when used in numerical simulations of RBC. We present the first parallel-in-time speedups for RBC simulations at finite Prandtl number. We also investigate the problem of convergence of Parareal with respect to to statistical numerical quantities, such as the Nusselt number, and discuss the importance of reliable online stop** criteria in these cases.
△ Less
Submitted 6 January, 2020;
originally announced January 2020.
-
The Magnetorotational Instability Prefers Three Dimensions
Authors:
Jeffrey S. Oishi,
Geoffrey M. Vasil,
Morgan Baxter,
Andrew Swan,
Keaton J. Burns,
Daniel Lecoanet,
Benjamin P. Brown
Abstract:
The magnetorotational instability (MRI) occurs when a weak magnetic field destabilises a rotating, electrically conducting fluid with inwardly increasing angular velocity. The MRI is essential to astrophysical disk theory where the shear is typically Keplerian. Internal shear layers in stars may also be MRI unstable, and they take a wide range of profiles, including near-critical. We show that the…
▽ More
The magnetorotational instability (MRI) occurs when a weak magnetic field destabilises a rotating, electrically conducting fluid with inwardly increasing angular velocity. The MRI is essential to astrophysical disk theory where the shear is typically Keplerian. Internal shear layers in stars may also be MRI unstable, and they take a wide range of profiles, including near-critical. We show that the fastest growing modes of an ideal magnetofluid are three-dimensional provided the shear rate, $S$, is near the two-dimensional onset value, $S_c$. For a Keplerian shear, three-dimensional modes are unstable above $S\approx0.10S_c$, and dominate the two-dimensional modes until $S\approx2.05S_{c}$. These three-dimensional modes dominate for shear profiles relevant to stars and at magnetic Prandtl numbers relevant to liquid-metal laboratory experiments. Significant numbers of rapidly growing three-dimensional modes remain well past $2.05S_{c}$. These finding are significant in three ways. First, weakly nonlinear theory suggests that the MRI saturates by pushing the shear rate to its critical value. This can happen for systems, like stars and laboratory experiments, that can rearrange their angular velocity profiles. Second, the non-normal character and large transient growth of MRI modes should be important whenever three-dimensionality exists. Finally, three-dimensional growth suggests direct dynamo action driven from the linear instability.
△ Less
Submitted 2 December, 2019;
originally announced December 2019.
-
Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems
Authors:
Kouta Sekine,
Kazuaki Tanaka,
Shin'ichi Oishi
Abstract:
In numerical existence proofs for solutions of the semi-linear elliptic system, evaluating the norm of the inverse of a perturbed Laplace operator plays an important role. We reveal an eigenvalue problem to design a method for verifying the invertibility of the operator and evaluating the norm of its inverse based on Liu's method and the Temple-Lehman-Goerisch method. We apply the inverse-norm's e…
▽ More
In numerical existence proofs for solutions of the semi-linear elliptic system, evaluating the norm of the inverse of a perturbed Laplace operator plays an important role. We reveal an eigenvalue problem to design a method for verifying the invertibility of the operator and evaluating the norm of its inverse based on Liu's method and the Temple-Lehman-Goerisch method. We apply the inverse-norm's estimation to the Dirichlet boundary value problem of the Lotka-Volterra system with diffusion terms and confirm the efficacy of our method.
△ Less
Submitted 30 March, 2021; v1 submitted 4 October, 2019;
originally announced October 2019.
-
A new formulation for the numerical proof of the existence of solutions to elliptic problems
Authors:
Kouta Sekine,
Mitsuhiro T. Nakao,
Shin'ichi Oishi
Abstract:
Infinite-dimensional Newton methods can be effectively used to derive numerical proofs of the existence of solutions to partial differential equations (PDEs). In computer-assisted proofs of PDEs, the original problem is transformed into the infinite Newton-type fixed point equation $w = - {\mathcal L}^{-1} {\mathcal F}(\hat{u}) + {\mathcal L}^{-1} {\mathcal G}(w)$, where ${\mathcal L}$ is a linear…
▽ More
Infinite-dimensional Newton methods can be effectively used to derive numerical proofs of the existence of solutions to partial differential equations (PDEs). In computer-assisted proofs of PDEs, the original problem is transformed into the infinite Newton-type fixed point equation $w = - {\mathcal L}^{-1} {\mathcal F}(\hat{u}) + {\mathcal L}^{-1} {\mathcal G}(w)$, where ${\mathcal L}$ is a linearized operator, ${\mathcal F}(\hat{u})$ is a residual, and ${\mathcal G}(w)$ is a local Lipschitz term. Therefore, the estimations of $\| {\mathcal L}^{-1} {\mathcal F}(\hat{u}) \|$ and $\| {\mathcal L}^{-1}{\mathcal G}(w) \|$ play major roles in the verification procedures. In this paper, using a similar concept as the `Schur complement' for matrix problems, we represent the inverse operator ${\mathcal L}^{-1}$ as an infinite-dimensional operator matrix that can be decomposed into two parts, one finite dimensional and one infinite dimensional. This operator matrix yields a new effective realization of the infinite-dimensional Newton method, enabling a more efficient verification procedure compared with existing methods for the solution of elliptic PDEs. We present some numerical examples that confirm the usefulness of the proposed method. Related results obtained from the representation of the operator matrix as ${\mathcal L}^{-1}$ are presented in the appendix.
△ Less
Submitted 1 October, 2019;
originally announced October 2019.
-
Dedalus: A Flexible Framework for Numerical Simulations with Spectral Methods
Authors:
Keaton J. Burns,
Geoffrey M. Vasil,
Jeffrey S. Oishi,
Daniel Lecoanet,
Benjamin P. Brown
Abstract:
Numerical solutions of partial differential equations enable a broad range of scientific research. The Dedalus Project is a flexible, open-source, parallelized computational framework for solving general partial differential equations using spectral methods. Dedalus translates plain-text strings describing partial differential equations into efficient solvers. This paper details the numerical meth…
▽ More
Numerical solutions of partial differential equations enable a broad range of scientific research. The Dedalus Project is a flexible, open-source, parallelized computational framework for solving general partial differential equations using spectral methods. Dedalus translates plain-text strings describing partial differential equations into efficient solvers. This paper details the numerical method that enables this translation, describes the design and implementation of the codebase, and illustrates its capabilities with a variety of example problems. The numerical method is a first-order generalized tau formulation that discretizes equations into banded matrices. This method is implemented with an object-oriented design. Classes for spectral bases and domains manage the discretization and automatic parallel distribution of variables. Discretized fields and mathematical operators are symbolically manipulated with a basic computer algebra system. Initial value, boundary value, and eigenvalue problems are efficiently solved using high-performance linear algebra, transform, and parallel communication libraries. Custom analysis outputs can also be specified in plain text and stored in self-describing portable formats. The performance of the code is evaluated with a parallel scaling benchmark and a comparison to a finite-volume code. The features and flexibility of the codebase are illustrated by solving several examples: the nonlinear Schrodinger equation on a graph, a supersonic magnetohydrodynamic vortex, quasigeostrophic flow, Stokes flow in a cylindrical annulus, normal modes of a radiative atmosphere, and diamagnetic levitation. The Dedalus code and the example problems are available online at http://dedalus-project.org/.
△ Less
Submitted 2 December, 2019; v1 submitted 24 May, 2019;
originally announced May 2019.
-
VITAMIN-E: VIsual Tracking And MappINg with Extremely Dense Feature Points
Authors:
Masashi Yokozuka,
Shuji Oishi,
Thompson Simon,
Atsuhiko Banno
Abstract:
In this paper, we propose a novel indirect monocular SLAM algorithm called "VITAMIN-E," which is highly accurate and robust as a result of tracking extremely dense feature points. Typical indirect methods have difficulty in reconstructing dense geometry because of their careful feature point selection for accurate matching. Unlike conventional methods, the proposed method processes an enormous num…
▽ More
In this paper, we propose a novel indirect monocular SLAM algorithm called "VITAMIN-E," which is highly accurate and robust as a result of tracking extremely dense feature points. Typical indirect methods have difficulty in reconstructing dense geometry because of their careful feature point selection for accurate matching. Unlike conventional methods, the proposed method processes an enormous number of feature points by tracking the local extrema of curvature informed by dominant flow estimation. Because this may lead to high computational cost during bundle adjustment, we propose a novel optimization technique, the "subspace Gauss--Newton method", that significantly improves the computational efficiency of bundle adjustment by partially updating the variables. We concurrently generate meshes from the reconstructed points and merge them for an entire 3D model. The experimental results on the SLAM benchmark dataset EuRoC demonstrated that the proposed method outperformed state-of-the-art SLAM methods, such as DSO, ORB-SLAM, and LSD-SLAM, both in terms of accuracy and robustness in trajectory estimation. The proposed method simultaneously generated significantly detailed 3D geometry from the dense feature points in real time using only a CPU.
△ Less
Submitted 16 December, 2019; v1 submitted 23 April, 2019;
originally announced April 2019.
-
The "Sphered Cube": A New Method for the Solution of Partial Differential Equations in Cubical Geometry
Authors:
Keaton J. Burns,
Daniel Lecoanet,
Geoffrey M. Vasil,
Jeffrey S. Oishi,
Benjamin P. Brown
Abstract:
A new gridding technique for the solution of partial differential equations in cubical geometry is presented. The method is based on volume penalization, allowing for the imposition of a cubical geometry inside of its circumscribing sphere. By choosing to embed the cube inside of the sphere, one obtains a discretization that is free of any sharp edges or corners. Taking full advantage of the simpl…
▽ More
A new gridding technique for the solution of partial differential equations in cubical geometry is presented. The method is based on volume penalization, allowing for the imposition of a cubical geometry inside of its circumscribing sphere. By choosing to embed the cube inside of the sphere, one obtains a discretization that is free of any sharp edges or corners. Taking full advantage of the simple geometry of the sphere, spectral bases based on spin-weighted spherical harmonics and Jacobi polynomials, which properly capture the regularity of scalar, vector and tensor components in spherical coordinates, can be applied to obtain moderately efficient and accurate numerical solutions of partial differential equations in the cube. This technique demonstrates the advantages of these bases over other methods for solving PDEs in spherical coordinates. We present results for a test case of incompressible hydrodynamics in cubical geometry: Rayleigh-Bénard convection with fully Dirichlet boundary conditions. Analysis of the simulations provides what is, to our knowledge, the first result on the scaling of the heat flux with the thermal forcing for this type of convection in a cube in a sphere.
△ Less
Submitted 29 March, 2019;
originally announced March 2019.
-
Breezing through the space environment of Barnard's Star b
Authors:
Julián D. Alvarado-Gómez,
Cecilia Garraffo,
Jeremy J. Drake,
Benjamin P. Brown,
Jeffrey S. Oishi,
Sofia P. Moschou,
Ofer Cohen
Abstract:
A physically realistic stellar wind model based on Alfvén wave dissipation has been used to simulate the wind from Barnard's Star and to estimate the conditions at the location of its recently discovered planetary companion. Such models require knowledge of the stellar surface magnetic field that is currently unknown for Barnard's Star. We circumvent this by considering the observed field distribu…
▽ More
A physically realistic stellar wind model based on Alfvén wave dissipation has been used to simulate the wind from Barnard's Star and to estimate the conditions at the location of its recently discovered planetary companion. Such models require knowledge of the stellar surface magnetic field that is currently unknown for Barnard's Star. We circumvent this by considering the observed field distributions of three different stars that constitute admissible magnetic proxies of this object. Under these considerations, Barnard's Star b experiences less intense wind pressure than the much more close-in planet Proxima~b and the planets of the TRAPPIST-1 system. The milder wind conditions are more a result of its much greater orbital distance rather than in differences in the surface magnetic field strengths of the host stars. The dynamic pressure experienced by the planet is comparable to present-day Earth values, but it can undergo variations by factors of several during current sheet crossings in each orbit. The magnetospause standoff distance would be $\sim$\,$20 - 40$\,\% smaller than that of the Earth for an equivalent planetary magnetic field strength.
△ Less
Submitted 29 March, 2019; v1 submitted 1 January, 2019;
originally announced January 2019.
-
Predicting the Rossby number in convective experiments
Authors:
Evan H. Anders,
Cathryn M. Manduca,
Benjamin P. Brown,
Jeffrey S. Oishi,
Geoffrey M. Vasil
Abstract:
The Rossby number is a crucial parameter describing the degree of rotational constraint on the convective dynamics in stars and planets. However, it is not an input to computational models of convection but must be measured ex post facto. Here, we report the discovery of a new quantity, the Predictive Rossby number, which is both tightly correlated with the Rossby number and specified in terms of…
▽ More
The Rossby number is a crucial parameter describing the degree of rotational constraint on the convective dynamics in stars and planets. However, it is not an input to computational models of convection but must be measured ex post facto. Here, we report the discovery of a new quantity, the Predictive Rossby number, which is both tightly correlated with the Rossby number and specified in terms of common inputs to numerical models. The Predictive Rossby number can be specified independent of Rayleigh number, allowing suites of numerical solutions to separate the degree of rotational constraint from the strength of the driving of convection. We examine the scaling of convective transport in terms of the Nusselt number and the degree of turbulence in terms of the Reynolds number of the flow, and we find scaling laws nearly identical to those in nonrotational convection at low Rossby number when the Predictive Rossby number is held constant. Finally, we describe the boundary layers as a function of increasing turbulence at constant Rossby number.
△ Less
Submitted 15 January, 2019; v1 submitted 11 December, 2018;
originally announced December 2018.
-
Accelerated evolution of convective simulations
Authors:
Evan H. Anders,
Benjamin P. Brown,
Jeffrey S. Oishi
Abstract:
High Peclet number, turbulent convection is a classic system with a large timescale separation between flow speeds and the thermal relaxation time. In this paper, we present a method of fast-forwarding through the long thermal relaxation of convective simulations, and we test the validity of this method. This accelerated evolution (AE) method involves measuring the dynamics of convection early in…
▽ More
High Peclet number, turbulent convection is a classic system with a large timescale separation between flow speeds and the thermal relaxation time. In this paper, we present a method of fast-forwarding through the long thermal relaxation of convective simulations, and we test the validity of this method. This accelerated evolution (AE) method involves measuring the dynamics of convection early in a simulation and using its characteristics to adjust the mean thermodynamic profile within the domain towards its evolved state. We study Rayleigh-Bénard convection as a test case for AE. Evolved flow properties of AE solutions are measured to be within a few percent of solutions which are reached through standard evolution (SE) over a full thermal timescale. At the highest values of the Rayleigh number at which we compare SE and AE, we find that AE solutions require roughly an order of magnitude fewer computing hours to evolve than SE solutions.
△ Less
Submitted 21 August, 2018; v1 submitted 17 July, 2018;
originally announced July 2018.
-
Tensor calculus in spherical coordinates using Jacobi polynomials, Part-II: Implementation and Examples
Authors:
Daniel Lecoanet,
Geoffrey M. Vasil,
Keaton J. Burns,
Benjamin P. Brown,
Jeffrey S. Oishi
Abstract:
We present a simulation code which can solve broad ranges of partial differential equations in a full sphere. The code expands tensorial variables in a spectral series of spin-weighted spherical harmonics in the angular directions and a scaled Jacobi polynomial basis in the radial direction, as described in Part-I. Nonlinear terms are calculated by transforming from the coefficients in the spectra…
▽ More
We present a simulation code which can solve broad ranges of partial differential equations in a full sphere. The code expands tensorial variables in a spectral series of spin-weighted spherical harmonics in the angular directions and a scaled Jacobi polynomial basis in the radial direction, as described in Part-I. Nonlinear terms are calculated by transforming from the coefficients in the spectral series to the value of each quantity on the physical grid, where it is easy to calculate products and perform other local operations. The expansion makes it straightforward to solve equations in tensor form (i.e., without decomposition into scalars). We propose and study several unit tests which demonstrate the code can accurately solve linear problems, implement boundary conditions, and transform between spectral and physical space. We then run a series of benchmark problems proposed in Marti et al (2014), implementing the hydrodynamic and magnetohydrodynamic equations. We are able to calculate more accurate solutions than reported in Marti et al 2014 by running at higher spatial resolution and using a higher-order timestep** scheme. We find the rotating convection and convective dynamo benchmark problems depend sensitively on details of timestep** and data analysis. We also demonstrate that in low resolution simulations of the dynamo problem, small changes in a numerical scheme can lead to large changes in the solution. To aid future comparison to these benchmarks, we include the source code used to generate the data, as well as the data and analysis scripts used to generate the figures.
△ Less
Submitted 24 April, 2018;
originally announced April 2018.
-
Convective dynamics and disequilibrium chemistry in the atmospheres of giant planets and brown dwarfs
Authors:
Baylee Bordwell,
Benjamin P. Brown,
Jeffrey S. Oishi
Abstract:
Disequilibrium chemical processes have a large effect upon the spectra of substellar objects. To study these effects, dynamical disequilibrium has been parameterized using the quench and eddy diffusion approximations, but little work has been done to explore how these approximations perform under realistic planetary conditions in different dynamical regimes. As a first step in addressing this prob…
▽ More
Disequilibrium chemical processes have a large effect upon the spectra of substellar objects. To study these effects, dynamical disequilibrium has been parameterized using the quench and eddy diffusion approximations, but little work has been done to explore how these approximations perform under realistic planetary conditions in different dynamical regimes. As a first step in addressing this problem, we study the localized, small scale convective dynamics of planetary atmospheres by direct numerical simulation of fully compressible hydrodynamics with reactive tracers using the Dedalus code. Using polytropically-stratified, plane parallel atmospheres in 2- and 3-D, we explore the quenching behavior of different abstract chemical species as a function of the dynamical conditions of the atmosphere as parameterized by the Rayleigh number. We find that in both 2- and 3-D, chemical species quench deeper than would be predicted based on simple mixing length arguments. Instead, it is necessary to employ length scales based on the chemical equilibrium profile of the reacting species in order to predict quench points and perform chemical kinetics modeling in 1-D. Based on the results of our simulations, we provide a new length scale, derived from the chemical scale height, which can be used to perform these calculations. This length scale is simple to calculate from known chemical data and makes reasonable predictions for our dynamical simulations.
△ Less
Submitted 8 February, 2018;
originally announced February 2018.
-
Perspectives on Reproducibility and Sustainability of Open-Source Scientific Software from Seven Years of the Dedalus Project
Authors:
Jeffrey S. Oishi,
Benjamin P. Brown,
Keaton J. Burns,
Daniel Lecoanet,
Geoffrey M. Vasil
Abstract:
As the Science Mission Directorate contemplates establishing an open code policy, we consider it timely to share our experiences as the developers of the open-source partial differential equation solver Dedalus. Dedalus is a flexible framework for solving partial differential equations. Its development team primarily uses it for studying stellar and planetary astrophysics. Dedalus was developed or…
▽ More
As the Science Mission Directorate contemplates establishing an open code policy, we consider it timely to share our experiences as the developers of the open-source partial differential equation solver Dedalus. Dedalus is a flexible framework for solving partial differential equations. Its development team primarily uses it for studying stellar and planetary astrophysics. Dedalus was developed originally for astrophysical fluid dynamics (AFD), though it has found a much broader user base, including applied mathematicians, plasma physicists, and oceanographers. Here, we will focus on issues related to open-source software from the perspective of AFD. We use the term AFD with the understanding that astrophysics simulations are inherently multi-physics: fluid dynamics coupled with some combination of gravitational dynamics, radiation transfer, relativity, and magnetic fields. In practice, a few well-known open-source simulation packages represent a large fraction of published work in the field. However, we will argue that an open-code policy should encompass not just these large simulation codes, but also the input files and analysis scripts. It is our interest that NASA adopt an open-code policy because without it, reproducibility in computational science is needlessly hampered.
△ Less
Submitted 24 January, 2018;
originally announced January 2018.
-
Accurate method of verified computing for solutions of semilinear heat equations
Authors:
Akitoshi Takayasu,
Makoto Mizuguchi,
Takayuki Kubo,
Shin'ichi Oishi
Abstract:
We provide an accurate verification method for solutions of heat equations with a superlinear nonlinearity. The verification method numerically proves the existence and local uniqueness of the exact solution in a neighborhood of a numerically computed approximate solution. Our method is based on a fixed-point formulation using the evolution operator, an iterative numerical verification scheme to e…
▽ More
We provide an accurate verification method for solutions of heat equations with a superlinear nonlinearity. The verification method numerically proves the existence and local uniqueness of the exact solution in a neighborhood of a numerically computed approximate solution. Our method is based on a fixed-point formulation using the evolution operator, an iterative numerical verification scheme to extend a time interval in which the validity of the solution can be verified, and rearranged error estimates for avoiding the propagation of an overestimate. As a result, compared with the previous verification method using the analytic semigroup, our method can enclose the solution for a longer time. Some numerical examples are presented to illustrate the efficiency of our verification method.
△ Less
Submitted 30 July, 2017; v1 submitted 30 November, 2016;
originally announced November 2016.
-
The weakly nonlinear magnetorotational instability in a local geometry
Authors:
S. E. Clark,
Jeffrey S. Oishi
Abstract:
The magnetorotational instability (MRI) is a fundamental process of accretion disk physics, but its saturation mechanism remains poorly understood despite considerable theoretical and computational effort. We present a multiple scales analysis of the non-ideal MRI in the weakly nonlinear regime -- that is, when the most unstable MRI mode has a growth rate asymptotically approaching zero from above…
▽ More
The magnetorotational instability (MRI) is a fundamental process of accretion disk physics, but its saturation mechanism remains poorly understood despite considerable theoretical and computational effort. We present a multiple scales analysis of the non-ideal MRI in the weakly nonlinear regime -- that is, when the most unstable MRI mode has a growth rate asymptotically approaching zero from above. Here, we develop our theory in a local, Cartesian channel. Our results confirm the finding by Umurhan et al. (2007) that the perturbation amplitude follows a Ginzburg-Landau equation. We further find that the Ginzburg-Landau equation will arise for the local MRI system with shear-periodic boundary conditions when the effects of ambipolar diffusion are considered. A detailed force balance for the saturated azimuthal velocity and vertical magnetic field demonstrates that even when diffusive effects are important, the bulk flow saturates via the combined processes of reducing the background shear and rearranging and strengthening the background vertical magnetic field. We directly simulate the Ginzburg-Landau amplitude evolution for our system and demonstrate the pattern formation our model predicts on long length and time scales. We compare the weakly nonlinear theory results to a direct numerical simulation of the MRI in a thin-gap Taylor Couette flow.
△ Less
Submitted 28 April, 2017; v1 submitted 5 October, 2016;
originally announced October 2016.
-
The weakly nonlinear magnetorotational instability in a global, cylindrical Taylor-Couette flow
Authors:
S. E. Clark,
Jeffrey S. Oishi
Abstract:
We conduct a global, weakly nonlinear analysis of the magnetorotational instability (MRI) in a Taylor-Couette flow. This is a multiscale perturbative treatment of the nonideal, axisymmetric MRI near threshold, subject to realistic radial boundary conditions and cylindrical geometry. We analyze both the standard MRI, initialized by a constant vertical background magnetic field, and the helical MRI,…
▽ More
We conduct a global, weakly nonlinear analysis of the magnetorotational instability (MRI) in a Taylor-Couette flow. This is a multiscale perturbative treatment of the nonideal, axisymmetric MRI near threshold, subject to realistic radial boundary conditions and cylindrical geometry. We analyze both the standard MRI, initialized by a constant vertical background magnetic field, and the helical MRI, with an azimuthal background field component. This is the first weakly nonlinear analysis of the MRI in a global Taylor-Couette geometry, as well as the first weakly nonlinear analysis of the helical MRI. We find that the evolution of the amplitude of the standard MRI is described by a real Ginzburg-Landau equation (GLE), while the amplitude of the helical MRI takes the form of a complex GLE. This suggests that the saturated state of the helical MRI may itself be unstable on long spatial and temporal scales.
△ Less
Submitted 28 April, 2017; v1 submitted 5 October, 2016;
originally announced October 2016.
-
Estimation of Sobolev embedding constant on a domain dividable into bounded convex domains
Authors:
Makoto Mizuguchi,
Kazuaki Tanaka,
Kouta Sekine,
Shin'ichi Oishi
Abstract:
This paper is concerned with an explicit value of the embedding constant from $W^{1,q}(Ω)$ to $L^{p}(Ω)$ for a bounded domain $Ω\subset\mathbb{R}^N~(N\in\mathbb{N})$, where $1\leq q\leq p\leq \infty$. To obtain this value, we previously proposed a formula for estimating the embedding constant on bounded and unbounded Lipschitz domains by estimating the norm of Stein's extension operator, in the ar…
▽ More
This paper is concerned with an explicit value of the embedding constant from $W^{1,q}(Ω)$ to $L^{p}(Ω)$ for a bounded domain $Ω\subset\mathbb{R}^N~(N\in\mathbb{N})$, where $1\leq q\leq p\leq \infty$. To obtain this value, we previously proposed a formula for estimating the embedding constant on bounded and unbounded Lipschitz domains by estimating the norm of Stein's extension operator, in the article (K. Tanaka, K. Sekine, M. Mizuguchi, and S. Oishi, Estimation of Sobolev-type embedding constant on domains with minimally smooth boundary using extension operator, Journal of Inequalities and Applications, Vol. 389, pp. 1-23, 2015). This formula is also applicable to a domain that can be divided into Lipschitz domains. However, the values computed by the previous formula are very large. In this paper, we propose several sharper estimations of the embedding constant on a bounded domain that can be divided into convex domains.
△ Less
Submitted 16 September, 2016;
originally announced September 2016.
-
Rigorous numerical enclosures for positive solutions of Lane-Emden's equation with sub-square exponents
Authors:
Kazuaki Tanaka,
Michael Plum,
Kouta Sekine,
Masahide Kashiwagi,
Shin'ichi Oishi
Abstract:
The purpose of this paper is to obtain rigorous numerical enclosures for solutions of Lane-Emden's equation $-Δu=|u|^{p-1} u$ with homogeneous Dirichlet boundary conditions. We prove the existence of a nondegenerate solution $u$ nearby a numerically computed approximation $\hat{u}$ together with an explicit error bound, i.e., a bound for the difference between $ u $ and $\hat{u}$. In particular, w…
▽ More
The purpose of this paper is to obtain rigorous numerical enclosures for solutions of Lane-Emden's equation $-Δu=|u|^{p-1} u$ with homogeneous Dirichlet boundary conditions. We prove the existence of a nondegenerate solution $u$ nearby a numerically computed approximation $\hat{u}$ together with an explicit error bound, i.e., a bound for the difference between $ u $ and $\hat{u}$. In particular, we focus on the sub-square case in which $1<p<2$ so that the derivative $p|u|^{p-1}$ of the nonlinearity $|u|^{p-1} u$ is not Lipschitz continuous. In this case, it is problematic to apply the classical Newton-Kantorovich theorem for obtaining the existence proof, and moreover several difficulties arise in the procedures to obtain numerical integrations rigorously. We design a method for enclosing the required integrations explicitly, proving the existence of a desired solution based on a generalized Newton-Kantorovich theorem. A numerical example is presented where an explicit solution-enclosure is obtained for $ p=3/2 $ on the unit square domain $Ω=(0,1)^2$.
△ Less
Submitted 7 September, 2021; v1 submitted 15 July, 2016;
originally announced July 2016.
-
Hybrid Adaptive Ray-Moment Method (HARM$^2$): A Highly Parallel Method for Radiation Hydrodynamics on Adaptive Grids
Authors:
Anna L. Rosen,
Mark R. Krumholz,
Jeffrey S. Oishi,
Aaron T. Lee,
Richard I. Klein
Abstract:
We present a highly-parallel multi-frequency hybrid radiation hydrodynamics algorithm that combines a spatially-adaptive long characteristics method for the radiation field from point sources with a moment method that handles the diffuse radiation field produced by a volume-filling fluid. Our Hybrid Adaptive Ray-Moment Method (HARM$^2$) operates on patch-based adaptive grids, is compatible with as…
▽ More
We present a highly-parallel multi-frequency hybrid radiation hydrodynamics algorithm that combines a spatially-adaptive long characteristics method for the radiation field from point sources with a moment method that handles the diffuse radiation field produced by a volume-filling fluid. Our Hybrid Adaptive Ray-Moment Method (HARM$^2$) operates on patch-based adaptive grids, is compatible with asynchronous time step**, and works with any moment method. In comparison to previous long characteristics methods, we have greatly improved the parallel performance of the adaptive long-characteristics method by develo** a new completely asynchronous and non-blocking communication algorithm. As a result of this improvement, our implementation achieves near-perfect scaling up to $\mathcal{O}(10^3)$ processors on distributed memory machines. We present a series of tests to demonstrate the accuracy and performance of the method.
△ Less
Submitted 6 July, 2016;
originally announced July 2016.
-
Numerical verification method for positiveness of solutions to elliptic equations
Authors:
Kazuaki Tanaka,
Kouta Sekine,
Shin'ichi Oishi
Abstract:
In this paper, we propose a numerical method for verifying the positiveness of solutions to semilinear elliptic equations. We provide a sufficient condition for a solution to an elliptic equation to be positive in the domain of the equation, which can be checked numerically without requiring a complicated computation. We present some numerical examples.
In this paper, we propose a numerical method for verifying the positiveness of solutions to semilinear elliptic equations. We provide a sufficient condition for a solution to an elliptic equation to be positive in the domain of the equation, which can be checked numerically without requiring a complicated computation. We present some numerical examples.
△ Less
Submitted 3 July, 2016; v1 submitted 13 June, 2016;
originally announced June 2016.