-
Velocity-Based Monte Carlo Fluids
Authors:
Ryusuke Sugimoto,
Christopher Batty,
Toshiya Hachisuka
Abstract:
We present a velocity-based Monte Carlo fluid solver that overcomes the limitations of its existing vorticity-based counterpart. Because the velocity-based formulation is more commonly used in graphics, our Monte Carlo solver can be readily extended with various techniques from the fluid simulation literature. We derive our method by solving the Navier-Stokes equations via operator splitting and d…
▽ More
We present a velocity-based Monte Carlo fluid solver that overcomes the limitations of its existing vorticity-based counterpart. Because the velocity-based formulation is more commonly used in graphics, our Monte Carlo solver can be readily extended with various techniques from the fluid simulation literature. We derive our method by solving the Navier-Stokes equations via operator splitting and designing a pointwise Monte Carlo estimator for each substep. We reformulate the projection and diffusion steps as integration problems based on the recently introduced walk-on-boundary technique [Sugimoto et al. 2023]. We transform the volume integral arising from the source term of the pressure Poisson equation into a form more amenable to practical numerical evaluation. Our resulting velocity-based formulation allows for the proper simulation of scenes that the prior vorticity-based Monte Carlo method [Rioux-Lavoie and Sugimoto et al. 2022] either simulates incorrectly or cannot support. We demonstrate that our method can easily incorporate advancements drawn from conventional non-Monte Carlo methods by showing how one can straightforwardly add buoyancy effects, divergence control capabilities, and numerical dissipation reduction methods, such as advection-reflection and PIC/FLIP methods.
△ Less
Submitted 24 April, 2024;
originally announced April 2024.
-
Rational approximation of holomorphic semigroups revisited
Authors:
Charles Batty,
Alexander Gomilko,
Yuri Tomilov
Abstract:
Using a recently developed $\mathcal H$-calculus we propose a unified approach to the study of rational approximations of holomorphic semigroups on Banach spaces. We provide unified and simple proofs to a number of basic results on semigroup approximations and substantially improve some of them. We show that many of our estimates are essentially optimal, thus complementing the existing literature.
Using a recently developed $\mathcal H$-calculus we propose a unified approach to the study of rational approximations of holomorphic semigroups on Banach spaces. We provide unified and simple proofs to a number of basic results on semigroup approximations and substantially improve some of them. We show that many of our estimates are essentially optimal, thus complementing the existing literature.
△ Less
Submitted 23 March, 2024;
originally announced March 2024.
-
Analytic Besov functional calculus for several commuting operators
Authors:
Charles Batty,
Alexander Gomilko,
Dominik Kobos,
Yuri Tomilov
Abstract:
This paper investigates when analytic Besov functions of $n$ variables act on the generators of $n$ commuting $C_0$-semigroups on a Banach space. The theory for $n=1$ has already been published, and the present paper uses a different approach to that case as well as extending to the cases when $n\ge2$. It also clarifies some spectral map** properties and provides some operator norm estimates.
This paper investigates when analytic Besov functions of $n$ variables act on the generators of $n$ commuting $C_0$-semigroups on a Banach space. The theory for $n=1$ has already been published, and the present paper uses a different approach to that case as well as extending to the cases when $n\ge2$. It also clarifies some spectral map** properties and provides some operator norm estimates.
△ Less
Submitted 26 March, 2024; v1 submitted 30 November, 2023;
originally announced November 2023.
-
Reach For the Spheres: Tangency-Aware Surface Reconstruction of SDFs
Authors:
Silvia Sellán,
Christopher Batty,
Oded Stein
Abstract:
Signed distance fields (SDFs) are a widely used implicit surface representation, with broad applications in computer graphics, computer vision, and applied mathematics. To reconstruct an explicit triangle mesh surface corresponding to an SDF, traditional isosurfacing methods, such as Marching Cubes and and its variants, are typically used. However, these methods overlook fundamental properties of…
▽ More
Signed distance fields (SDFs) are a widely used implicit surface representation, with broad applications in computer graphics, computer vision, and applied mathematics. To reconstruct an explicit triangle mesh surface corresponding to an SDF, traditional isosurfacing methods, such as Marching Cubes and and its variants, are typically used. However, these methods overlook fundamental properties of SDFs, resulting in reconstructions that exhibit severe oversmoothing and feature loss. To address this shortcoming, we propose a novel method based on a key insight: each SDF sample corresponds to a spherical region that must lie fully inside or outside the surface, depending on its sign, and that must be tangent to the surface at some point. Leveraging this understanding, we formulate an energy that gauges the degree of violation of tangency constraints by a proposed surface. We then employ a gradient flow that minimizes our energy, starting from an initial triangle mesh that encapsulates the surface. This algorithm yields superior reconstructions to previous methods, even with sparsely sampled SDFs. Our approach provides a more nuanced understanding of SDFs and offers significant improvements in surface reconstruction.
△ Less
Submitted 18 August, 2023;
originally announced August 2023.
-
A Closest Point Method for Surface PDEs with Interior Boundary Conditions for Geometry Processing
Authors:
Nathan King,
Haozhe Su,
Mridul Aanjaneya,
Steven Ruuth,
Christopher Batty
Abstract:
Many geometry processing techniques require the solution of partial differential equations (PDEs) on surfaces. Such surface PDEs often involve boundary conditions prescribed on the surface, at points or curves on its interior or along the geometric (exterior) boundary of an open surface. However, input surfaces can take many forms (e.g., meshes, parametric surfaces, point clouds, level sets, neura…
▽ More
Many geometry processing techniques require the solution of partial differential equations (PDEs) on surfaces. Such surface PDEs often involve boundary conditions prescribed on the surface, at points or curves on its interior or along the geometric (exterior) boundary of an open surface. However, input surfaces can take many forms (e.g., meshes, parametric surfaces, point clouds, level sets, neural implicits). One must therefore generate a mesh to apply finite element-type techniques or derive specialized discretization procedures for each surface representation.
We propose instead to address such problems through a novel extension of the closest point method (CPM) to handle interior boundary conditions specified at surface points or curves. CPM solves the surface PDE by solving a volumetric PDE defined over the Cartesian embedding space containing the surface; only a closest point function is required to represent the surface. As such, CPM supports surfaces that are open or closed, orientable or not, and of any codimension or even mixed-codimension. To enable support for interior boundary conditions, we develop a method to implicitly partition the embedding space across interior boundaries. CPM's finite difference and interpolation stencils are adapted to respect this partition while preserving second-order accuracy. Furthermore, an efficient sparse-grid implementation and numerical solver is developed that can scale to tens of millions of degrees of freedom, allowing PDEs to be solved on more complex surfaces. We demonstrate our method's convergence behaviour on selected model PDEs. Several geometry processing problems are explored: diffusion curves on surfaces, geodesic distance, tangent vector field design, and harmonic map construction. Our proposed approach thus offers a powerful and flexible new tool for a range of geometry processing tasks on general surface representations.
△ Less
Submitted 8 May, 2023;
originally announced May 2023.
-
A Practical Walk-on-Boundary Method for Boundary Value Problems
Authors:
Ryusuke Sugimoto,
Terry Chen,
Yiti Jiang,
Christopher Batty,
Toshiya Hachisuka
Abstract:
We introduce the walk-on-boundary (WoB) method for solving boundary value problems to computer graphics. WoB is a grid-free Monte Carlo solver for certain classes of second order partial differential equations. A similar Monte Carlo solver, the walk-on-spheres (WoS) method, has been recently popularized in computer graphics due to its advantages over traditional spatial discretization-based altern…
▽ More
We introduce the walk-on-boundary (WoB) method for solving boundary value problems to computer graphics. WoB is a grid-free Monte Carlo solver for certain classes of second order partial differential equations. A similar Monte Carlo solver, the walk-on-spheres (WoS) method, has been recently popularized in computer graphics due to its advantages over traditional spatial discretization-based alternatives. We show that WoB's intrinsic properties yield further advantages beyond those of WoS. Unlike WoS, WoB naturally supports various boundary conditions (Dirichlet, Neumann, Robin, and mixed) for both interior and exterior domains. WoB builds upon boundary integral formulations, and it is mathematically more similar to light transport simulation in rendering than the random walk formulation of WoS. This similarity between WoB and rendering allows us to implement WoB on top of Monte Carlo ray tracing, and to incorporate advanced rendering techniques (e.g., bidirectional estimators with multiple importance sampling, the virtual point lights method, and Markov chain Monte Carlo) into WoB. WoB does not suffer from the intrinsic bias of WoS near the boundary and can estimate solutions precisely on the boundary. Our numerical results highlight the advantages of WoB over WoS as an attractive alternative to solve boundary value problems based on Monte Carlo.
△ Less
Submitted 19 May, 2023; v1 submitted 7 May, 2023;
originally announced May 2023.
-
A continuous-parameter Katznelson-Tzafriri theorem for algebras of analytic functions
Authors:
Charles Batty,
David Seifert
Abstract:
We prove a continuous-parameter version of the recent theorem of Katznelson-Tzafiri type for power-bounded operators which have a bounded calculus for analytic Besov functions. We also show that the result can be extended to some operators which have functional calculi with respect to some larger algebras.
We prove a continuous-parameter version of the recent theorem of Katznelson-Tzafiri type for power-bounded operators which have a bounded calculus for analytic Besov functions. We also show that the result can be extended to some operators which have functional calculi with respect to some larger algebras.
△ Less
Submitted 29 September, 2022; v1 submitted 28 April, 2022;
originally announced April 2022.
-
Some developments around the Katznelson-Tzafriri theorem
Authors:
Charles Batty,
David Seifert
Abstract:
This paper is a survey article on developments arising from a theorem proved by Katznelson and Tzafriri in 1986 showing that $\lim_{n\to\infty} \|T^n(I-T)\| =0$ if $T$ is a power-bounded operator on a Banach space and $σ(T) \cap \T \subseteq \{1\}$. Many variations and consequences of the original theorem have been proved subsequently, and we provide an account of this branch of operator theory.
This paper is a survey article on developments arising from a theorem proved by Katznelson and Tzafriri in 1986 showing that $\lim_{n\to\infty} \|T^n(I-T)\| =0$ if $T$ is a power-bounded operator on a Banach space and $σ(T) \cap \T \subseteq \{1\}$. Many variations and consequences of the original theorem have been proved subsequently, and we provide an account of this branch of operator theory.
△ Less
Submitted 28 April, 2022;
originally announced April 2022.
-
Bounded functional calculi for unbounded operators
Authors:
Charles Batty,
Alexander Gomilko,
Yuri Tomilov
Abstract:
This article summarises the theory of several bounded functional calculi for unbounded operators that have recently been discovered. The extend the Hille--Phillips calculus for (negative) generators $A$ of certain bounded $C_0$-semigroups, in particular for bounded semigroups on Hilbert spaces and bounded holomorphic semigroups on Banach spaces. They include functions outside the Hille-Phillips cl…
▽ More
This article summarises the theory of several bounded functional calculi for unbounded operators that have recently been discovered. The extend the Hille--Phillips calculus for (negative) generators $A$ of certain bounded $C_0$-semigroups, in particular for bounded semigroups on Hilbert spaces and bounded holomorphic semigroups on Banach spaces. They include functions outside the Hille-Phillips class, and they generally give sharper bounds for the norms of the resulting operators $f(A)$. The calculi are mostly based on appropriate reproducing formulas for the relevant classes of functions, and they rely on significant and interesting developments of function theory. They are compatible with standard functional calculi and they admit appropriate convergence lemmas and spectral map** theorems. They can also be used to derive several well-known operator norm-estimates, provide generalisations of some of them, and extend the general theory of operator semigroups. Our aim is to help readers to make use of these calculi without having to understand the details of their construction.
△ Less
Submitted 7 February, 2022;
originally announced February 2022.
-
A Katznelson-Tzafriri theorem for analytic Besov functions of operators
Authors:
Charles Batty,
David Seifert
Abstract:
Let $T$ be a power-bounded operator on a Banach space $X$, $\mathcal{A}$ be a Banach algebra of bounded holomorphic functions on the unit disc $\mathbb{D}$, and assume that there is a bounded functional calculus for the operator $T$, so there is a bounded algebra homomorphism map** functions $f \in \mathcal{A}$ to bounded operators $f(T)$ on $X$. Theorems of Katznelson-Tzafriri type establish th…
▽ More
Let $T$ be a power-bounded operator on a Banach space $X$, $\mathcal{A}$ be a Banach algebra of bounded holomorphic functions on the unit disc $\mathbb{D}$, and assume that there is a bounded functional calculus for the operator $T$, so there is a bounded algebra homomorphism map** functions $f \in \mathcal{A}$ to bounded operators $f(T)$ on $X$. Theorems of Katznelson-Tzafriri type establish that $\lim_{n\to\infty} \|T^n f(T)\| = 0$ for functions $f \in \mathcal{A}$ whose boundary functions vanish on the unitary spectrum $σ(T)\cap \mathbb{T}$ of $T$, or sometimes satisfy a stronger assumption of spectral synthesis. We consider the case when $\mathcal{A}$ is the Banach algebra $\mathcal{B}(\mathbb{D})$ of analytic Besov functions on $\mathbb{D}$. We prove a Katznelson-Tzafriri theorem for the $\mathcal{B}(\mathbb{D})$-calculus which extends several previous results.
△ Less
Submitted 20 March, 2024; v1 submitted 28 January, 2022;
originally announced January 2022.
-
Curl-Flow: Boundary-Respecting Pointwise Incompressible Velocity Interpolation for Grid-Based Fluids
Authors:
Jumyung Chang,
Ruben Partono,
Vinicius C. Azevedo,
Christopher Batty
Abstract:
We propose to augment standard grid-based fluid solvers with pointwise divergence-free velocity interpolation, thereby ensuring exact incompressibility down to the sub-cell level. Our method takes as input a discretely divergence-free velocity field generated by a staggered grid pressure projection, and first recovers a corresponding discrete vector potential. Instead of solving a costly vector Po…
▽ More
We propose to augment standard grid-based fluid solvers with pointwise divergence-free velocity interpolation, thereby ensuring exact incompressibility down to the sub-cell level. Our method takes as input a discretely divergence-free velocity field generated by a staggered grid pressure projection, and first recovers a corresponding discrete vector potential. Instead of solving a costly vector Poisson problem for the potential, we develop a fast parallel swee** strategy to find a candidate potential and apply a gauge transformation to enforce the Coulomb gauge condition and thereby make it numerically smooth. Interpolating this discrete potential generates a pointwise vector potential whose analytical curl is a pointwise incompressible velocity field. Our method further supports irregular solid geometry through the use of level set-based cut-cells and a novel Curl-Noise-inspired potential ram** procedure that simultaneously offers strictly non-penetrating velocities and incompressibility. Experimental comparisons demonstrate that the vector potential reconstruction procedure at the heart of our approach is consistently faster than prior such reconstruction schemes, especially those that solve vector Poisson problems. Moreover, in exchange for its modest extra cost, our overall Curl-Flow framework produces significantly improved particle trajectories that closely respect irregular obstacles, do not suffer from spurious sources or sinks, and yield superior particle distributions over time.
△ Less
Submitted 26 November, 2023; v1 submitted 1 April, 2021;
originally announced April 2021.
-
Functional calculi for sectorial operators and related function theory
Authors:
Charles Batty,
Alexander Gomilko,
Yuri Tomilov
Abstract:
We construct two bounded functional calculi for sectorial operators on Banach spaces, which enhance the functional calculus for analytic Besov functions, by extending the class of functions, generalizing and sharpening estimates, and adapting the calculus to the angle of sectoriality. The calculi are based on appropriate reproducing formulas, they are compatible with standard functional calculi an…
▽ More
We construct two bounded functional calculi for sectorial operators on Banach spaces, which enhance the functional calculus for analytic Besov functions, by extending the class of functions, generalizing and sharpening estimates, and adapting the calculus to the angle of sectoriality. The calculi are based on appropriate reproducing formulas, they are compatible with standard functional calculi and they admit appropriate convergence lemmas and spectral map** theorems. To achieve this, we develop the theory of associated function spaces in ways which are interesting and significant. As consequences of our calculi, we derive several well-known operator norm-estimates and provide generalizations of some of them.
△ Less
Submitted 1 August, 2021; v1 submitted 13 January, 2021;
originally announced January 2021.
-
Asynchronous Liquids: Regional Time Step** for Faster SPH and PCISPH
Authors:
Prashant Goswami,
Christopher Batty
Abstract:
This paper presents novel and efficient strategies to spatially adapt the amount of computational effort applied based on the local dynamics of a free surface flow, for both classic weakly compressible SPH (WCSPH) and predictive-corrective incompressible SPH (PCISPH). Using a convenient and readily parallelizable block-based approach, different regions of the fluid are assigned differing time step…
▽ More
This paper presents novel and efficient strategies to spatially adapt the amount of computational effort applied based on the local dynamics of a free surface flow, for both classic weakly compressible SPH (WCSPH) and predictive-corrective incompressible SPH (PCISPH). Using a convenient and readily parallelizable block-based approach, different regions of the fluid are assigned differing time steps and solved at different rates to minimize computational cost. Our approach for WCSPH scheme extends an asynchronous SPH technique from compressible flow of astrophysical phenomena to the incompressible free surface setting, and further accelerates it by entirely decoupling the time steps of widely spaced particles. Similarly, our approach to PCISPH adjusts the the number of iterations of density correction applied to different regions, and asynchronously updates the neighborhood regions used to perform these corrections; this sharply reduces the computational cost of slowly deforming regions while preserving the standard density invariant. We demonstrate our approaches on a number of highly dynamic scenarios, demonstrating that they can typically double the speed of a simulation compared to standard methods while achieving visually consistent results.
△ Less
Submitted 30 September, 2020;
originally announced September 2020.
-
Besov spaces associated with non-negative operators on Banach spaces
Authors:
Charles Batty,
Chuang Chen
Abstract:
Motivated by a variety of representations of fractional powers of operators, we develop the theory of abstract Besov spaces $B^{ s, A }_{ q, X }$ for non-negative operators $A$ on Banach spaces $X$ with a full range of indices $s \in \mathbb{R}$ and $0 < q \leq \infty$. The approach we use is the dyadic decomposition of resolvents for non-negative operators, an analogue of the Littlewood-Paley dec…
▽ More
Motivated by a variety of representations of fractional powers of operators, we develop the theory of abstract Besov spaces $B^{ s, A }_{ q, X }$ for non-negative operators $A$ on Banach spaces $X$ with a full range of indices $s \in \mathbb{R}$ and $0 < q \leq \infty$. The approach we use is the dyadic decomposition of resolvents for non-negative operators, an analogue of the Littlewood-Paley decomposition in the construction of the classical Besov spaces. In particular, by using the reproducing formulas for fractional powers of operators and explicit quasi-norms estimates for Besov spaces we discuss the connections between the smoothness of Besov spaces associated with operators and the boundedness of fractional powers of the underlying operators.
△ Less
Submitted 12 June, 2020;
originally announced June 2020.
-
On the dimensional indeterminacy of one-wave factor analysis under causal effects
Authors:
Tyler J. VanderWeele,
Charles J. K. Batty
Abstract:
It is shown, with two sets of indicators that separately load on two distinct factors, independent of one another conditional on the past, that if it is the case that at least one of the factors causally affects the other, then, in many settings, the process will converge to a factor model in which a single factor will suffice to capture the covariance structure among the indicators. Factor analys…
▽ More
It is shown, with two sets of indicators that separately load on two distinct factors, independent of one another conditional on the past, that if it is the case that at least one of the factors causally affects the other, then, in many settings, the process will converge to a factor model in which a single factor will suffice to capture the covariance structure among the indicators. Factor analysis with one wave of data can then not distinguish between factor models with a single factor versus those with two factors that are causally related. Therefore, unless causal relations between factors can be ruled out a priori, alleged empirical evidence from one-wave factor analysis for a single factor still leaves open the possibilities of a single factor or of two factors that causally affect one another. The implications for interpreting the factor structure of psychological scales, such as self-report scales for anxiety and depression, or for happiness and purpose, are discussed. The results are further illustrated through simulations to gain insight into the practical implications of the results in more realistic settings prior to the convergence of the processes. Some further generalizations to an arbitrary number of underlying factors are noted.
△ Less
Submitted 14 April, 2022; v1 submitted 28 January, 2020;
originally announced January 2020.
-
Addressing Troubles with Double Bubbles: Convergence and Stability at Multi-Bubble Junctions
Authors:
Yun Fei,
Christopher Batty,
Eitan Grinspun
Abstract:
In this report we discuss and propose a correction to a convergence and stability issue occurring in the work of Da et al.[2015], in which they proposed a numerical model to simulate soap bubbles.
In this report we discuss and propose a correction to a convergence and stability issue occurring in the work of Da et al.[2015], in which they proposed a numerical model to simulate soap bubbles.
△ Less
Submitted 11 June, 2020; v1 submitted 14 October, 2019;
originally announced October 2019.
-
The theory of Besov functional calculus: developments and applications to semigroups
Authors:
Charles Batty,
Alexander Gomilko,
Yuri Tomilov
Abstract:
We extend and deepen the theory of functional calculus for semigroup generators, based on the algebra $\mathcal B$ of analytic Besov functions, which we initiated in a previous paper. In particular, we show that our construction of the calculus is optimal in several natural senses. Moreover, we clarify the structure of $\mathcal B$ and identify several important subspaces in practical terms. This…
▽ More
We extend and deepen the theory of functional calculus for semigroup generators, based on the algebra $\mathcal B$ of analytic Besov functions, which we initiated in a previous paper. In particular, we show that our construction of the calculus is optimal in several natural senses. Moreover, we clarify the structure of $\mathcal B$ and identify several important subspaces in practical terms. This leads to new spectral map** theorems for operator semigroups and to wide generalisations of a number of basic results from semigroup theory.
△ Less
Submitted 10 May, 2021; v1 submitted 14 October, 2019;
originally announced October 2019.
-
A Besov algebra calculus for generators of operator semigroups and related norm-estimates
Authors:
Charles Batty,
Alexander Gomilko,
Yuri Tomilov
Abstract:
We construct a new bounded functional calculus for the generators of bounded semigroups on Hilbert spaces and generators of bounded holomorphic semigroups on Banach spaces. The calculus is a natural (and strict) extension of the classical Hille-Phillips functional calculus, and it is compatible with the other well-known functional calculi. It satisfies the standard properties of functional calculi…
▽ More
We construct a new bounded functional calculus for the generators of bounded semigroups on Hilbert spaces and generators of bounded holomorphic semigroups on Banach spaces. The calculus is a natural (and strict) extension of the classical Hille-Phillips functional calculus, and it is compatible with the other well-known functional calculi. It satisfies the standard properties of functional calculi, provides a unified and direct approach to a number of norm-estimates in the literature, and allows improvements of some of them.
△ Less
Submitted 17 October, 2019; v1 submitted 28 October, 2018;
originally announced October 2018.
-
Optimal energy decay for the wave-heat system on a rectangular domain
Authors:
Charles Batty,
Lassi Paunonen,
David Seifert
Abstract:
We study the rate of energy decay for solutions of a coupled wave-heat system on a rectangular domain. Using techniques from the theory of $C_0$-semigroups, and in particular a well-known result due to Borichev and Tomilov, we prove that the energy of classical solutions decays like $t^{-2/3}$ as $t\to\infty$. This rate is moreover shown to be sharp. Our result implies in particular that a general…
▽ More
We study the rate of energy decay for solutions of a coupled wave-heat system on a rectangular domain. Using techniques from the theory of $C_0$-semigroups, and in particular a well-known result due to Borichev and Tomilov, we prove that the energy of classical solutions decays like $t^{-2/3}$ as $t\to\infty$. This rate is moreover shown to be sharp. Our result implies in particular that a general estimate in the literature, which predicts at least logarithmic decay and is known to be best possible in general, is suboptimal in the special case under consideration here. Our strategy of proof involves direct estimates based on separation of variables and a refined version of the technique developed in our earlier paper for a one-dimensional wave-heat system.
△ Less
Submitted 8 November, 2018; v1 submitted 14 March, 2018;
originally announced March 2018.
-
Constraint Bubbles: Adding Efficient Zero-Density Bubbles to Incompressible Free Surface Flow
Authors:
Ryan Goldade,
Christopher Batty
Abstract:
Liquid simulations for computer animation often avoid simulating the air phase to reduce computational costs and ensure good conditioning of the linear systems required to enforce incompressibility. However, this free surface assumption leads to an inability to realistically treat bubbles: submerged gaps in the liquid are interpreted as empty voids that immediately collapse. To address this shortc…
▽ More
Liquid simulations for computer animation often avoid simulating the air phase to reduce computational costs and ensure good conditioning of the linear systems required to enforce incompressibility. However, this free surface assumption leads to an inability to realistically treat bubbles: submerged gaps in the liquid are interpreted as empty voids that immediately collapse. To address this shortcoming, we present an efficient, practical, and conceptually simple approach to augment free surface flows with negligible density bubbles. Our method adds a new constraint to each disconnected air region that guarantees zero net flux across its entire surface, and requires neither simulating both phases nor reformulating into stream function variables. Implementation of the method requires only minor modifications to the pressure solve of a standard grid-based fluid solver, and yields linear systems that remain sparse and symmetric positive definite. In our evaluations, solving the modified pressure projection system took no more than 10% longer than the corresponding free surface solve. We demonstrate the method's effectiveness and flexibility by incorporating it into commercial fluid animation software and using it to generate a variety of dynamic bubble scenarios showcasing glugging effects, viscous and inviscid bubbles, interactions with irregularly-shaped and moving solid boundaries, and surface tension effects.
△ Less
Submitted 30 November, 2017;
originally announced November 2017.
-
Lower bounds for unbounded operators and semigroups
Authors:
Charles J. K. Batty,
Felix Geyer
Abstract:
Let $A$ be an unbounded operator on a Banach space $X$. It is sometimes useful to improve the operator $A$ by extending it to an operator $B$ on a larger Banach space $Y$ with smaller spectrum. It would be preferable to do this with some estimates for the resolvent of $B$, and also to extend bounded operators related to $A$, for example a semigroup generated by $A$. When $X$ is a Hilbert space, on…
▽ More
Let $A$ be an unbounded operator on a Banach space $X$. It is sometimes useful to improve the operator $A$ by extending it to an operator $B$ on a larger Banach space $Y$ with smaller spectrum. It would be preferable to do this with some estimates for the resolvent of $B$, and also to extend bounded operators related to $A$, for example a semigroup generated by $A$. When $X$ is a Hilbert space, one may also want $Y$ to be Hilbert space. Results of this type for bounded operators have been given by Arens, Read, Müller and Badea, and we give some extensions of their results to unbounded operators and we raise some open questions. A related problem is to improve properties of a $C_0$-semigroup satisfying lower bounds by extending it to a $C_0$-group on a larger space or by finding left-inverses. Results of this type for Hilbert spaces have been obtained by Louis and Wexler, and by Zwart, and we give some additional results.
△ Less
Submitted 12 April, 2017; v1 submitted 22 December, 2016;
originally announced December 2016.
-
Resolvent representations for functions of sectorial operators
Authors:
Charles Batty,
Alexander Gomilko,
Yuri Tomilov
Abstract:
We obtain integral representations for the resolvent of $ψ(A)$, where $ψ$ is a holomorphic function map** the right half-plane and the right half-axis into themselves, and $A$ is a sectorial operator on a Banach space. As a corollary, for a wide class of functions $ψ$, we show that the operator $-ψ(A)$ generates a sectorially bounded holomorphic $C_0$-semigroup on a Banach space whenever $-A$ do…
▽ More
We obtain integral representations for the resolvent of $ψ(A)$, where $ψ$ is a holomorphic function map** the right half-plane and the right half-axis into themselves, and $A$ is a sectorial operator on a Banach space. As a corollary, for a wide class of functions $ψ$, we show that the operator $-ψ(A)$ generates a sectorially bounded holomorphic $C_0$-semigroup on a Banach space whenever $-A$ does, and the sectorial angle of $A$ is preserved. When $ψ$ is a Bernstein function, this was recently proved by Gomilko and Tomilov, but the proof here is more direct. Moreover, we prove that such a permanence property for $A$ can be described, at least on Hilbert spaces, in terms of the existence of a bounded $H^{\infty}$-calculus for $A$. As byproducts of our approach, we also obtain new results on functions map** generators of bounded semigroups into generators of holomorphic semigroups and on subordination for Ritt operators.
△ Less
Submitted 22 December, 2016; v1 submitted 1 February, 2016;
originally announced February 2016.
-
Optimal energy decay in a one-dimensional coupled wave-heat system
Authors:
C. J. K. Batty,
L. Paunonen,
D. Seifert
Abstract:
We study a simple one-dimensional coupled wave-heat system and obtain a sharp estimate for the rate of energy decay of classical solutions. Our approach is based on the asymptotic theory of $C_0$-semigroups and in particular on a result due to Borichev and Tomilov (Math. Ann., 2010), which reduces the problem of estimating the rate of energy decay to finding a growth bound for the resolvent of the…
▽ More
We study a simple one-dimensional coupled wave-heat system and obtain a sharp estimate for the rate of energy decay of classical solutions. Our approach is based on the asymptotic theory of $C_0$-semigroups and in particular on a result due to Borichev and Tomilov (Math. Ann., 2010), which reduces the problem of estimating the rate of energy decay to finding a growth bound for the resolvent of the semigroup generator. This technique not only leads to an optimal result, it is also simpler than the methods used by other authors in similar situations.
△ Less
Submitted 19 November, 2015; v1 submitted 19 May, 2015;
originally announced May 2015.
-
Maximal regularity in interpolation spaces for second order Cauchy problems
Authors:
Charles J. K. Batty,
Ralph Chill,
Sachi Srivastava
Abstract:
We study maximal regularity in interpolation spaces for the sum of three closed linear operators on a Banach space, and we apply the abstract results to obtain Besov and Hölder maximal regularity for complete second order Cauchy problems under natural parabolicity assumptions. We discuss applications to partial differential equations.
We study maximal regularity in interpolation spaces for the sum of three closed linear operators on a Banach space, and we apply the abstract results to obtain Besov and Hölder maximal regularity for complete second order Cauchy problems under natural parabolicity assumptions. We discuss applications to partial differential equations.
△ Less
Submitted 10 April, 2014;
originally announced April 2014.
-
L^p-tauberian theorems and L^p-rates for energy decay
Authors:
Charles Batty,
Alexander Borichev,
Yuri Tomilov
Abstract:
We prove $L^p$-analogues of the classical tauberian theorem of Ingham and Karamata, and its variations giving rates of decay. These results are applied to derive $L^p$-decay of operator families arising in the study of the decay of energy for damped wave equations and local energy for wave equations in exterior domains. By constructing some examples of critical behaviour we show that the $L^p$-rat…
▽ More
We prove $L^p$-analogues of the classical tauberian theorem of Ingham and Karamata, and its variations giving rates of decay. These results are applied to derive $L^p$-decay of operator families arising in the study of the decay of energy for damped wave equations and local energy for wave equations in exterior domains. By constructing some examples of critical behaviour we show that the $L^p$-rates of decay obtained in this way are best possible under our assumptions.
△ Less
Submitted 2 February, 2016; v1 submitted 24 March, 2014;
originally announced March 2014.
-
Product formulas in functional calculi for sectorial operators
Authors:
Charles Batty,
Alexander Gomilko,
Yuri Tomilov
Abstract:
We study the product formula $(fg)(A) = f(A)g(A)$ in the framework of (unbounded) functional calculus of sectorial operators $A$. We give an abstract result, and, as corollaries, we obtain new product formulas for the holomorphic functional calculus, an extended Stieltjes functional calculus and an extended Hille-Phillips functional calculus. Our results generalise previous work of Hirsch, Martine…
▽ More
We study the product formula $(fg)(A) = f(A)g(A)$ in the framework of (unbounded) functional calculus of sectorial operators $A$. We give an abstract result, and, as corollaries, we obtain new product formulas for the holomorphic functional calculus, an extended Stieltjes functional calculus and an extended Hille-Phillips functional calculus. Our results generalise previous work of Hirsch, Martinez and Sanz, and Schilling.
△ Less
Submitted 29 September, 2014; v1 submitted 2 September, 2013;
originally announced September 2013.
-
On series of sectorial forms
Authors:
C. J. K. Batty,
A. F. M. ter Elst
Abstract:
We prove a convergence theorem for partial sums of sectorial forms with vertex zero and a common semi-angle. As an example we prove an absorption theorem for sectorial forms.
We prove a convergence theorem for partial sums of sectorial forms with vertex zero and a common semi-angle. As an example we prove an absorption theorem for sectorial forms.
△ Less
Submitted 19 June, 2013;
originally announced June 2013.
-
Multimaterial Front Tracking
Authors:
Fang Da,
Christopher Batty,
Eitan Grinspun
Abstract:
We present the first triangle mesh-based technique for tracking the evolution of general three-dimensional multimaterial interfaces undergoing complex topology changes induced by deformations and collisions. Our core representation is a non-manifold triangle surface mesh with material labels assigned to each half-face to distinguish volumetric regions. We advect the vertices of the mesh in a Lagra…
▽ More
We present the first triangle mesh-based technique for tracking the evolution of general three-dimensional multimaterial interfaces undergoing complex topology changes induced by deformations and collisions. Our core representation is a non-manifold triangle surface mesh with material labels assigned to each half-face to distinguish volumetric regions. We advect the vertices of the mesh in a Lagrangian manner, and employ a complete set of collision-safe mesh improvement and topological operations that track and update material labels. In particular, we develop a unified, collision-safe strategy for handling complex topological operations acting on evolving triple- and higher-valence junctions, and a flexible method to merge colliding multimaterial meshes. We demonstrate our approach with a number of challenging geometric flows, including passive advection, normal flow, and mean curvature flow.
△ Less
Submitted 20 January, 2014; v1 submitted 13 June, 2013;
originally announced June 2013.
-
Fine scales of decay of operator semigroups
Authors:
Charles Batty,
Ralph Chill,
Yuri Tomilov
Abstract:
Motivated by potential applications to partial differential equations, we develop a theory of fine scales of decay rates for operator semigroups. The theory contains, unifies, and extends several notable results in the literature on decay of operator semigroups and yields a number of new ones. Its core is a new operator-theoretical method of deriving rates of decay combining ingredients from funct…
▽ More
Motivated by potential applications to partial differential equations, we develop a theory of fine scales of decay rates for operator semigroups. The theory contains, unifies, and extends several notable results in the literature on decay of operator semigroups and yields a number of new ones. Its core is a new operator-theoretical method of deriving rates of decay combining ingredients from functional calculus, and complex, real and harmonic analysis. It also leads to several results of independent interest.
△ Less
Submitted 12 March, 2016; v1 submitted 23 May, 2013;
originally announced May 2013.
-
Partial wave analysis of pbar-p annihilation channels in flight with I=1, C=+1
Authors:
A. V. Anisovich,
C. A. Baker,
C. J. Batty,
D. V. Bugg,
V. A. Nikonov,
A. V. Sarantsev,
V. V. Sarantsev,
B. S. Zou
Abstract:
A combined analysis is reported of 3pizero, pizero-eta and pizero-etaprime data in the mass range 1960 to 2410 MeV. This analysis is made consistent also with eta-eta-pizero data, reported separately. The analysis requires s-channel resonances with a spectrum close to that published earlier for C = +1 states with I = 0; masses for I=1 states are lower on average by 20 MeV. Two alternative solution…
▽ More
A combined analysis is reported of 3pizero, pizero-eta and pizero-etaprime data in the mass range 1960 to 2410 MeV. This analysis is made consistent also with eta-eta-pizero data, reported separately. The analysis requires s-channel resonances with a spectrum close to that published earlier for C = +1 states with I = 0; masses for I=1 states are lower on average by 20 MeV. Two alternative solutions are found, differing only for J^P = 2^+ and 4^+ states by small amounts in masses and widths. Both 3pizero and eta-pizero data prefer one of these two solutions. For this preferred solution, observed states have J^PC, masses and widths (M,Gamma) in MeV as follows: 4^-+: (2250+-15, 215+-25), 4^++: (2255+-40, 330 ^{+110}_{-50}) and (2005 ^{+25}_{-45}, 180+-30), 3^++: (2275+-35, 350 ^{+100}_{-50}) and (2031+-12, 150 \pm 18), 2^-+: (2245+-60, 320 ^{+100}_{-40}) and (2005+-15, 200+-40, 2^++: (2255+-20, 230+-15), (2175+-40, 310^{+90}_{-45}) and (2030+-20, 205+-30), and 1^++: (2270 ^{+55}_{-40}, 305 ^{+70}_{-35}). There are indications of further 2^-+, 2^++ and 1^++ contributions just below the available mass range, and also a 0^++ state at ~2025 MeV.
△ Less
Submitted 3 October, 2011;
originally announced October 2011.
-
A partial wave analysis of pbar-p -> eta-eta-pizero
Authors:
A. V. Anisovich,
C. A. Baker,
C. J. Batty,
D. V. Bugg,
V. A. Nikonov,
A. V. Sarantsev,
V. V. Sarantsev,
B. S. Zou
Abstract:
A partial wave analysis of pbar-p -> eta-eta-pizero data from the Crystal Barrel experiment is made in terms of s-channel resonances. The decay channels a_0(980)-eta, f_0(1770)-pi and f_0(2105)-pi provide evidence for two I = 1 J^{PC} = 0^{-+} resonances. The first has mass M =2360 +- 25 MeV and width Gamma = 300^{+100}_{-50} MeV, and the second M =2070 \pm 35 MeV, Gamma = 310^{+100}_{-50} MeV. Th…
▽ More
A partial wave analysis of pbar-p -> eta-eta-pizero data from the Crystal Barrel experiment is made in terms of s-channel resonances. The decay channels a_0(980)-eta, f_0(1770)-pi and f_0(2105)-pi provide evidence for two I = 1 J^{PC} = 0^{-+} resonances. The first has mass M =2360 +- 25 MeV and width Gamma = 300^{+100}_{-50} MeV, and the second M =2070 \pm 35 MeV, Gamma = 310^{+100}_{-50} MeV. There is also evidence for a J^{PC} = 2^{-+} state with M = 2005 +- 15 MeV and Gamma = 200 +- 40 MeV, decaying strongly to a_0(980)-pi.
△ Less
Submitted 30 September, 2011;
originally announced September 2011.
-
Study of pbar-p -> eta-eta-pizero-pizero in flight
Authors:
A. V. Anisovich,
C. A. Baker. C. J. Batty,
D. V. Bugg,
V. A. Nikonov,
A. V. Sarantsev,
V. V. Sarantsev,
B. S. Zou
Abstract:
An analysis of data on pbar-p -> eta-eta-pizero-pizero is presented at pbar beam momenta 600 to 1940 MeV/c. There is evidence for an I = 1, J^PC = 2^-+ resonance in eta-eta-pizero with mass M = 1880 +- 20 MeV and width 255 +- 45 MeV, decaying strongly a2(1320)-eta; it is too strong to be explained as the high mass tail of π_2(1670) -> a2(1320)-eta. There is tentative evidence also for weak decays…
▽ More
An analysis of data on pbar-p -> eta-eta-pizero-pizero is presented at pbar beam momenta 600 to 1940 MeV/c. There is evidence for an I = 1, J^PC = 2^-+ resonance in eta-eta-pizero with mass M = 1880 +- 20 MeV and width 255 +- 45 MeV, decaying strongly a2(1320)-eta; it is too strong to be explained as the high mass tail of π_2(1670) -> a2(1320)-eta. There is tentative evidence also for weak decays to f_0(1500)π. It makes a natural partner to the eta 2(1860).
△ Less
Submitted 29 September, 2011;
originally announced September 2011.
-
I=0, C=-1 mesons from 1940 to 2410 MeV
Authors:
A. V. Anisovich,
C. A. Baker,
C. J. Batty,
D. V. Bugg,
L. Montanet,
V. A. Nikonov,
A. V. Sarantsev,
V. V. Sarantsev,
B. S. Zou
Abstract:
New Crystal Barrel data are reported for pbar-p -> omega-eta and pbar-p -> omega-pizero-pizero with omega decaying to piplus-piminus-pizero. The omega-eta data confirm angular distributions obtained earlier from data where omega -> pizero-gamma. The new omega-eta data provide accurate measurements of vector and tensor polarisations of the omega and lead to considerable improvements in masses and w…
▽ More
New Crystal Barrel data are reported for pbar-p -> omega-eta and pbar-p -> omega-pizero-pizero with omega decaying to piplus-piminus-pizero. The omega-eta data confirm angular distributions obtained earlier from data where omega -> pizero-gamma. The new omega-eta data provide accurate measurements of vector and tensor polarisations of the omega and lead to considerable improvements in masses and widths of s-channel resonances. A new J^PC = 3^+- I = 0 resonance is observed with mass M = 2025+-20 MeV and width Gamma = 145+-30 MeV. Polarisation is close to zero everywhere and tensor polarisations are large, as is the case also for pbar-p -> omega-pizero.
△ Less
Submitted 27 September, 2011;
originally announced September 2011.
-
Combined analysis of meson channels with I=1, C = -1 from 1940 to 2410 MeV
Authors:
A. V. Anisovich,
C. A. Baker,
C. J. Batty,
D. V. Bugg,
L. Montanet,
V. A. Nikonov,
A. V. Sarantsev,
V. V. Sarantsev,
B. S. Zou
Abstract:
New Crystal Barrel data are reported for pbar-p -> omega-pizero and pbar-p -> omega eta-pizero with omega decaying to piplus-piminus-pizero. The shapes of angular distributions agree well with those for data where omega -> pizero-gamma; this is a valuable cross-check on systematic errors. The new data provide good measurements of vector and tensor polarisations P_y, T20, T21 and T22 of the omega.…
▽ More
New Crystal Barrel data are reported for pbar-p -> omega-pizero and pbar-p -> omega eta-pizero with omega decaying to piplus-piminus-pizero. The shapes of angular distributions agree well with those for data where omega -> pizero-gamma; this is a valuable cross-check on systematic errors. The new data provide good measurements of vector and tensor polarisations P_y, T20, T21 and T22 of the omega. These lead to significant improvements in parameters of several resonances reported earlier. New values of masses and widths (in Mev) are: J^PC = 5^-- (2300+-45, 260+-75), J^PC = 3^-- (2260+-20, 160+-25), J^PC = 1^+- (2240+-35, 320+-85), and J^PC = 1^-- (2110+-35, 230+-50). A remarkable feature of the data is that vector polarisation P_y is close to zero everywhere. It follows that all interfering amplitudes have relative phases close to 0 or 180 deg. Tensor polarisations are large.
△ Less
Submitted 24 September, 2011;
originally announced September 2011.
-
Observation of f0(1770) -> eta-eta in pbar-p -> eta-eta-pizero reactions from 600 to 1200 MeV/c
Authors:
A. V. Anisovich,
C. A. Baker,
C. J. Batty,
D. V. Bugg,
R. P. Haddock,
C. Hodd,
V. A. Nikonov,
A. V. Sarantsev,
V. V. Sarantsev,
I. Scott,
B. S. Zou
Abstract:
We present data on pbar-p -> eta-eta-pizero at beam momenta of 600, 900, 1050, and 1200 MeV/c. At the higher three momenta, a signal is clearly visible due to pbar-p -> f_0(1770)-pizero, f_0(1770) -> eta-eta. It has mass 1770+-12 MeV and width 220+-40 MeV, where errors cover systematic uncertainties as well as statistics.
We present data on pbar-p -> eta-eta-pizero at beam momenta of 600, 900, 1050, and 1200 MeV/c. At the higher three momenta, a signal is clearly visible due to pbar-p -> f_0(1770)-pizero, f_0(1770) -> eta-eta. It has mass 1770+-12 MeV and width 220+-40 MeV, where errors cover systematic uncertainties as well as statistics.
△ Less
Submitted 22 September, 2011;
originally announced September 2011.
-
A study of pbar-p -> eta-eta-eta for masses 1960 to 2410 MeV
Authors:
A. V. Anisovich,
C. A. Baker,
C. J Batty,
D. V. Bugg,
V. A. Nikonov,
A. V. Sarantsev. V. V. Sarantsev,
B. S. Zou
Abstract:
Data on pbar-p -> 3eta for beam momenta 600--1940 MeV/c are presented. The strongest channel is f_0(1500)-eta from the initial pbar-p state 1S0. Together with eta-pizero-pizero data, the 3eta data determine the branching ratio BR[f_0(1500) -> eta-eta]/BR[f_0(1500) -> pizero-pizero] = 0.42+-0.09. They are consistent with a dominant contribution from an I=0, C=+1 J^{PC} = 0^{-+} resonance observed e…
▽ More
Data on pbar-p -> 3eta for beam momenta 600--1940 MeV/c are presented. The strongest channel is f_0(1500)-eta from the initial pbar-p state 1S0. Together with eta-pizero-pizero data, the 3eta data determine the branching ratio BR[f_0(1500) -> eta-eta]/BR[f_0(1500) -> pizero-pizero] = 0.42+-0.09. They are consistent with a dominant contribution from an I=0, C=+1 J^{PC} = 0^{-+} resonance observed earlier in the eta-pizero-pizero data; from the combined eta-pizero-pizero and 3eta data, its mass is M = 2320 \pm 15 MeV and its width Gamma = 230+-35 MeV.
△ Less
Submitted 19 September, 2011;
originally announced September 2011.
-
The f2(1565) in pbar-p -> (omega-omega)pizero interactions at rest
Authors:
C. A. Baker,
B. M. Barnett,
C. J. Batty,
K. Braune,
D. V. Bugg,
O. Cramer,
V. Crede,
N. Djaoshvili,
W. Dunnweber,
M. A. Faessler,
N. P. Hessey,
P. Hidas,
C. Hodd,
D. Jamnik,
H. Kalinowsky,
J. Kisiel,
E. Klempt,
C. Kolo,
L. Montanet,
B. Pick,
W. Roethel,
A. Sarantsev,
I. Scott,
C. Strassburger,
U. Thoma
, et al. (5 additional authors not shown)
Abstract:
Data are presented on the reaction pbar-p -> omega-omega-pizero at rest from the Crystal Barrel detector. These data identify a strong signal due to f2(1565) -> omega-omega. The relative production from initial pbar-p states 3P2, 3P1 and 1S0 is well determined from omega-omega decay angular correlations; P-state annihilation dominates strongly. A combined fit is made with data on pbar-p -> 3pizero…
▽ More
Data are presented on the reaction pbar-p -> omega-omega-pizero at rest from the Crystal Barrel detector. These data identify a strong signal due to f2(1565) -> omega-omega. The relative production from initial pbar-p states 3P2, 3P1 and 1S0 is well determined from omega-omega decay angular correlations; P-state annihilation dominates strongly. A combined fit is made with data on pbar-p -> 3pizero at rest, where f2(1565) -> pizero-pizero is observed.
△ Less
Submitted 11 September, 2011;
originally announced September 2011.
-
Data on pbar-p -> etaprime-pizero-pizero for masses 1960 to 2410 MeV/c^2
Authors:
A. V. Anisovich,
C. A. Baker,
C. J. Batty,
D. V. Bugg,
C. Hodd,
V. A. Nikonov,
A. V. Sarantsev,
V. V. Sarantsev,
B. S. Zou
Abstract:
Data on pbar-p -> etaprime(958)-pizero-pizero are presented at nine pbar momenta from 600 to 1940 MeV/c. Strong S-wave production of f_2(1270)-etaprime is observed, requiring a J^{PC} = 2^{-+} resonance with mass M = 2248+-20 MeV, Gamma = 280+-20 MeV.
Data on pbar-p -> etaprime(958)-pizero-pizero are presented at nine pbar momenta from 600 to 1940 MeV/c. Strong S-wave production of f_2(1270)-etaprime is observed, requiring a J^{PC} = 2^{-+} resonance with mass M = 2248+-20 MeV, Gamma = 280+-20 MeV.
△ Less
Submitted 9 September, 2011;
originally announced September 2011.
-
Resonances formed by pbar-p and decaying into pizero-pizero-eta for masses 1960 to 2410 MeV
Authors:
A. V. Anisovich,
C. A. Baker,
C. J. Batty,
D. V. Bugg,
C. Hodd,
J. Kisiel,
V. A. Nikonov,
A. V. Sarantsev,
V. V. Sarantsev,
I. Scott,
B. S. Zou
Abstract:
Data on pbar-b annihilation in flight into pizero-pizero-eta are presented for nine beam momenta 600 to 1940 MeV/c. The strongest four intermediate states are found to be f_2(1270)-eta, a_2(1320)-pi, sigma-eta and a_0(980)-pi. Partial wave analysis is performed mainly to look for resonances formed by pbar-p and decaying into pizero-pizero-eta through these intermediate states. There is evidence fo…
▽ More
Data on pbar-b annihilation in flight into pizero-pizero-eta are presented for nine beam momenta 600 to 1940 MeV/c. The strongest four intermediate states are found to be f_2(1270)-eta, a_2(1320)-pi, sigma-eta and a_0(980)-pi. Partial wave analysis is performed mainly to look for resonances formed by pbar-p and decaying into pizero-pizero-eta through these intermediate states. There is evidence for the following s-channel I = 0 resonances : two 4^{++} resonances with mass and width (M,Gamma) at (2044, 208) MeV and (2320+-30, 220+-30) MeV; three 2^{++} resonances at (2020+-50, 200+-70) MeV, (2240+-40, 170+-50) MeV and (2370+-50, 320+-50) MeV; two 3^{++} resonances at (2000+-40, 250+-40) MeV and (2280+-30, 210+-30) MeV; a 1^{++} resonance at (2340+-40, 340+-40) MeV; and two 2^{-+} resonances at (2040+-40, 190+-40) MeV and (2300+-40, 270+-40) MeV.
△ Less
Submitted 9 September, 2011;
originally announced September 2011.
-
Partial wave analysiss of pbar-p -> piminus-piplus, pizero-pizero, eta-eta and eta-etaprime
Authors:
A. V. Anisovich,
C. A. Baker,
C. J. Batty,
D. V. Bugg,
A. Hasan,
C. Hodd,
J. Kisiel,
V. A. Nikonov,
A. V. Sarantsev,
V. V. Sarantsev,
B. S. Zou
Abstract:
A partial wave analysis is presented of Crystal Barrel data on pbar-p -> pizero-pizero, eta-eta and eta-etaprime from 600 to 1940 MeV/c, combined with earlier data on dσ/dΩand P for pbar-p->piminus-piplus. The following s-channel I=0 resonances are identified: (i) J^{PC} = 5^{--} with mass and width (M,Γ) at (2295+-30,235^{+65}_{-40}) MeV, (ii) J^{PC} = 4^{++} at (2020+-12, 170+-15) MeV and (2300+…
▽ More
A partial wave analysis is presented of Crystal Barrel data on pbar-p -> pizero-pizero, eta-eta and eta-etaprime from 600 to 1940 MeV/c, combined with earlier data on dσ/dΩand P for pbar-p->piminus-piplus. The following s-channel I=0 resonances are identified: (i) J^{PC} = 5^{--} with mass and width (M,Γ) at (2295+-30,235^{+65}_{-40}) MeV, (ii) J^{PC} = 4^{++} at (2020+-12, 170+-15) MeV and (2300+-25, 270+-50) MeV, (iii) 3D3 JPC = 3^{--} at (1960+-15, 150+-25) MeV and (2210+-4$, 360+-55) MeV, and a 3G3 state at (2300 ^{+50}_{-80}, 340+-150) MeV, (iv) JPC = 2^{++} at (1910+-30, 260+-40) MeV, (2020+-30, 275+-35) MeV, (2230+-30, 245+-45) MeV, and (2300+-35, 290+-50) MeV, (v) JPC = 1^{--} at (2005+-40, 275+-75) MeV, and (2165+-40, 160 ^{+140}_{-70}) MeV, and (vi) JPC = 0^{++} at (2005+-30, 305+-50) MeV, (2105+-15, 200+-25) MeV, and (2320+-30, 175+-45) MeV. In addition, there is a less well defined 6^{++} resonance at 2485+-40 MeV, with Gamma = 410+-90 MeV. For every JP, almost all these resonances lie on well defined linear trajectories of mass squared v. excitation number. The slope is 1.10+-0.03 Gev^2 per excitation. The f_0(2105) has strong coupling to eta-η, but much weaker coupling to pizero-pizero. Its flavour mixing angle between q-qbar and s-sbar is (59-71.6)deg, i.e. dominant decays to s-sbar. Such decays and its strong production in pbar-p interactions strongly suggest exotic character.
△ Less
Submitted 6 September, 2011;
originally announced September 2011.
-
I = 0 C = +1 mesons from 1920 to 2410 MeV
Authors:
A. V. Anisovich,
C. A. Baker,
C. J. Batty,
D. V. Bugg,
C. Hodd,
H. C. Lu,
V. A. Nikonov,
A. V. Sarantsev,
V. V. Sarantsev,
B. S. Zou
Abstract:
A combined fit is presented to data on pbar-p annihilation in flight to final states eta-pizero-pizero, pizero-pizero, eta-eta, eta-etaprime and piminus-piplus. The emphasis lies in improving an earlier study of eta-pizero-pizero by fitting data at nine pbar momenta simultaneously and with parameters consistent with the two-body channels. There is evidence for all of the I=0, C=+ q-qbar states exp…
▽ More
A combined fit is presented to data on pbar-p annihilation in flight to final states eta-pizero-pizero, pizero-pizero, eta-eta, eta-etaprime and piminus-piplus. The emphasis lies in improving an earlier study of eta-pizero-pizero by fitting data at nine pbar momenta simultaneously and with parameters consistent with the two-body channels. There is evidence for all of the I=0, C=+ q-qbar states expected in this mass range. New resonances are reported with masses and widths M,Gamma as follows: JPC = 4^{-+} (2328+-38, Gamma=240+-90) MeV, 1^{++} (1971+-15, 240+-45) MeV, 0^{-+} (2285+-20, 325+-30) MeV, and 0^{-+} (2010 ^{+35}_{-60}, 270+-60) MeV. Errors on the masses and widths of other resonances are also reduced substantially. All states lie close to parallel straight line trajectories of excitation number v. mass squared.
△ Less
Submitted 5 September, 2011;
originally announced September 2011.
-
SEREN - A new SPH code for star and planet formation simulations
Authors:
D. A. Hubber,
C. P. Batty,
A. McLeod,
A. P. Whitworth
Abstract:
We present SEREN, a new hybrid Smoothed Particle Hydrodynamics and N-body code designed to simulate astrophysical processes such as star and planet formation. It is written in Fortran 95/2003 and has been parallelised using OpenMP. SEREN is designed in a flexible, modular style, thereby allowing a large number of options to be selected or disabled easily and without compromising performance. SEREN…
▽ More
We present SEREN, a new hybrid Smoothed Particle Hydrodynamics and N-body code designed to simulate astrophysical processes such as star and planet formation. It is written in Fortran 95/2003 and has been parallelised using OpenMP. SEREN is designed in a flexible, modular style, thereby allowing a large number of options to be selected or disabled easily and without compromising performance. SEREN uses the conservative `grad-h' formulation of SPH, but can easily be configured to use traditional SPH or Godunov SPH. Thermal physics is treated either with a barotropic equation of state, or by solving the energy equation and modelling the transport of cooling radiation. A Barnes-Hut tree is used to obtain neighbour lists and compute gravitational accelerations efficiently, and an hierarchical time-step** scheme is used to reduce the number of computations per timestep. Dense gravitationally bound objects are replaced by sink particles, to allow the simulation to be evolved longer, and to facilitate the identification of protostars and the compilation of stellar and binary properties. At the termination of a hydrodynamical simulation, SEREN has the option of switching to a pure N-body simulation, using a 4th-order Hermite integrator, and following the ballistic evolution of the sink particles (e.g. to determine the final binary statistics once a star cluster has relaxed). We describe in detail all the algorithms implemented in SEREN and we present the results of a suite of tests designed to demonstrate the fidelity of SEREN and its performance and scalability. Further information and additional tests of SEREN can be found at the web-page http://www.astro.group.shef.ac.uk/seren.
△ Less
Submitted 3 February, 2011;
originally announced February 2011.
-
A simple finite difference method for time-dependent, variable coefficient Stokes flow on irregular domains
Authors:
Christopher Batty,
Robert Bridson
Abstract:
We present a simple and efficient variational finite difference method for simulating time-dependent Stokes flow in the presence of irregular free surfaces and moving solid boundaries. The method uses an embedded boundary approach on staggered Cartesian grids, avoiding the need for expensive remeshing operations, and can be applied to flows in both two and three dimensions. It uses fully implicit…
▽ More
We present a simple and efficient variational finite difference method for simulating time-dependent Stokes flow in the presence of irregular free surfaces and moving solid boundaries. The method uses an embedded boundary approach on staggered Cartesian grids, avoiding the need for expensive remeshing operations, and can be applied to flows in both two and three dimensions. It uses fully implicit backwards Euler integration to provide stability and supports spatially varying density and viscosity, while requiring the solution of just a single sparse, symmetric positive-definite linear system per time step. By expressing the problem in a variational form, challenging irregular domains are supported implicitly through the use of natural boundary conditions. In practice, the discretization requires only centred finite difference stencils and per-cell volume fractions, and is straightforward to implement. The variational form further permits generalizations to coupling other mechanics, all the while reducing to a sparse symmetric positive definite matrix. We demonstrate consistent first order convergence of velocity in L1 and Linf norms on a range of analytical test cases in two dimensions. Furthermore, we apply our method as part of a simple Navier-Stokes solver to illustrate that it can reproduce the characteristic jet buckling phenomenon of Newtonian liquids at moderate viscosities, in both two and three dimensions.
△ Less
Submitted 12 May, 2011; v1 submitted 14 October, 2010;
originally announced October 2010.
-
A fresh look at eta2(1645), eta2(1870), eta2(2030) and f2(1910) in pbar-p -> eta + 3pizero
Authors:
A. V. Anisovich,
C. J. Batty,
D. V. Bugg,
V. A. Nikonov,
A. V. Sarantsev
Abstract:
There is a large discrepancy between results of Crystal Barrel and WA102 for the branching ratio R = BR[eta2(1870)->a2(1320)pi]/ BR[eta2(1870)->f2(1270)eta]. An extensive re-analysis of the Crystal Barrel data redetermines branching ratios for decays of eta2(1870), eta2(1645), eta2(2030) and f2(1910). This re-analysis confirms a small value for R of 1.60+-0.39, inconsistent with the value 32.6+-12…
▽ More
There is a large discrepancy between results of Crystal Barrel and WA102 for the branching ratio R = BR[eta2(1870)->a2(1320)pi]/ BR[eta2(1870)->f2(1270)eta]. An extensive re-analysis of the Crystal Barrel data redetermines branching ratios for decays of eta2(1870), eta2(1645), eta2(2030) and f2(1910). This re-analysis confirms a small value for R of 1.60+-0.39, inconsistent with the value 32.6+-12.6 of WA102. The likely origin of the discrepancy is that the WA102 data contain a strong f2(1910)->a2-pi signal as well as eta2(1870). There is strong evidence that the eta2(1870) has resonant phase variation. A peak in f2(1270)a0(980) confirms closely the parameters of the a2(2255) resonance observed previously. A peak in eta2(2030)-pi is interpreted naturally in terms of pi2(2245) with reduced errors for mass and width M=2285+-20(stat)+-25(syst) MeV, Gamma=250+-20(stat)+-25(syst) MeV.
△ Less
Submitted 23 November, 2010; v1 submitted 9 September, 2010;
originally announced September 2010.
-
The antinucleon-nucleon interaction at low energy : annihilation dynamics
Authors:
E. Klempt,
C. Batty,
J. -M. Richard
Abstract:
The general properties of antiproton-proton annihilation at rest are presented, with special focus on the two-meson final states. The data exhibit remarkable dynamical selection rules : some allowed annihilation modes are suppressed by one order of magnitude with respect to modes of comparable phase-space. Various phenomenological analyses are reviewed, based on microscopic quark dynamics or sym…
▽ More
The general properties of antiproton-proton annihilation at rest are presented, with special focus on the two-meson final states. The data exhibit remarkable dynamical selection rules : some allowed annihilation modes are suppressed by one order of magnitude with respect to modes of comparable phase-space. Various phenomenological analyses are reviewed, based on microscopic quark dynamics or symmetry considerations. The role of initial- and final-state interaction is also examined.
△ Less
Submitted 10 January, 2005;
originally announced January 2005.
-
Unified optical-model approach to low-energy antiproton annihilation on nuclei and to antiprotonic atoms
Authors:
C. J. Batty,
E. Friedman,
A. Gal
Abstract:
A successful unified description of $\bar p$ nuclear interactions near E=0 is achieved using a $\bar p$ optical potential within a folding model, $V_{\rm opt} \sim \bar v * ρ$, where a $\bar p p$ potential $\bar v$ is folded with the nuclear density $ρ$. The potential $\bar v$ fits very well the measured $\bar p p$ annihilation cross sections at low energies ($p_L < 200$ MeV/c) and the $1s$ and…
▽ More
A successful unified description of $\bar p$ nuclear interactions near E=0 is achieved using a $\bar p$ optical potential within a folding model, $V_{\rm opt} \sim \bar v * ρ$, where a $\bar p p$ potential $\bar v$ is folded with the nuclear density $ρ$. The potential $\bar v$ fits very well the measured $\bar p p$ annihilation cross sections at low energies ($p_L < 200$ MeV/c) and the $1s$ and $2p$ spin-averaged level shifts and widths for the $\bar p$H atom. The density-folded optical potential $V_{\rm opt}$ reproduces satisfactorily the strong-interaction level shifts and widths over the entire periodic table, for $A > 10$, as well as the few low energy $\bar p$ annihilation cross sections measured on Ne. Both $\bar v$ and $V_{\rm opt}$ are found to be highly absorptive, which leads to a saturation of reaction cross sections in hydrogen and on nuclei. Predictions are made for $\bar p$ annihilation cross sections over the entire periodic table at these very low energies and the systematics of the calculated cross sections as function of $A$, $Z$ and $E$ is discussed and explained in terms of a Coulomb-modified strong-absorption model. Finally, optical potentials which fit simultaneously low-energy $\bar p - ^4$He observables for $E < 0$ as well as for $E > 0$ are used to assess the reliability of extracting Coulomb modified $\bar p$ nuclear scattering lengths directly from the data. The relationship between different kinds of scattering lengths is discussed and previously published systematics of the $\bar p$ nuclear scattering lengths is updated.
△ Less
Submitted 29 November, 2000; v1 submitted 2 October, 2000;
originally announced October 2000.
-
Saturation of low-energy antiproton annihilation on nuclei
Authors:
A. Gal,
E. Friedman,
C. J. Batty
Abstract:
Recent measurements of very low-energy ($p_{L}<100$ MeV/c) $\bar p$ annihilation on light nuclei reveal apparent suppression of annihilation upon increasing the atomic charge $Z$ and mass number $A$. Using $\bar p$-nucleus optical potentials $V_{\rm opt}$, fitted to $\bar p$-atom energy-shifts and -widths, we resolve this suppression as due to the strong effective repulsion produced by the very…
▽ More
Recent measurements of very low-energy ($p_{L}<100$ MeV/c) $\bar p$ annihilation on light nuclei reveal apparent suppression of annihilation upon increasing the atomic charge $Z$ and mass number $A$. Using $\bar p$-nucleus optical potentials $V_{\rm opt}$, fitted to $\bar p$-atom energy-shifts and -widths, we resolve this suppression as due to the strong effective repulsion produced by the very absorptive $V_{\rm opt}$. The low-energy $\bar p$-nucleus wavefunction is kept substantially outside the nuclear surface and the resulting reaction cross section saturates as function of the strength of Im $V_{\rm opt}$. This feature, for $E >0$, parallels the recent prediction, for $E < 0$, that the level widths of $\bar p$ atoms saturate and, hence, that $\bar p$ deeply bound atomic states are relatively narrow. Antiproton annihilation cross sections are calculated at $p_{L}=57$ MeV/c across the periodic table, and their dependence on $Z$ and $A$ is classified and discussed with respect to the Coulomb focussing effect at very low energies.
△ Less
Submitted 31 August, 2000; v1 submitted 13 July, 2000;
originally announced July 2000.
-
Experiments with $Ξ^-$ atoms
Authors:
C. J. Batty,
E. Friedman,
A. Gal
Abstract:
Experiments with $Ξ^-$ atoms are proposed in order to study the nuclear interaction of $Ξ$ hyperons. The production of $Ξ^-$ in the ($K^{-}$, $K^{+}$) reaction, the $Ξ^-$ stop** in matter, and its atomic cascade are incorporated within a realistic evaluation of the results expected for $Ξ^-$ X-ray spectra across the periodic table, using an assumed $Ξ$-nucleus optical potential $V_{opt}$. Seve…
▽ More
Experiments with $Ξ^-$ atoms are proposed in order to study the nuclear interaction of $Ξ$ hyperons. The production of $Ξ^-$ in the ($K^{-}$, $K^{+}$) reaction, the $Ξ^-$ stop** in matter, and its atomic cascade are incorporated within a realistic evaluation of the results expected for $Ξ^-$ X-ray spectra across the periodic table, using an assumed $Ξ$-nucleus optical potential $V_{opt}$. Several optimal targets for measuring the strong-interaction shift and width of the X-ray transition to the `last' atomic level observed are singled out: F, Cl, I, Pb. The sensitivity of these observables to the parameters of $V_{opt}$ is considered. The relevance of such experiments is discussed in the context of strangeness -2 nuclear physics and multistrange nuclear matter. Finally, with particular reference to searches for the $H$ dibaryon, the properties of $Ξ^-d$ atoms are also discussed. The role of Stark mixing, its effect on $S$ and $P$ state capture of $Ξ^-$ by the deuteron, together with estimates of the resulting probability for producing the $H$ dibaryon are considered in detail.
△ Less
Submitted 14 September, 1998;
originally announced September 1998.