Search results for "FOS: Mathematics"

showing 10 items of 1448 documents

A coupled discontinuous Galerkin-Finite Volume framework for solving gas dynamics over embedded geometries

2021

Author(s): Gulizzi, Vincenzo; Almgren, Ann S; Bell, John B | Abstract: We present a computational framework for solving the equations of inviscid gas dynamics using structured grids with embedded geometries. The novelty of the proposed approach is the use of high-order discontinuous Galerkin (dG) schemes and a shock-capturing Finite Volume (FV) scheme coupled via an $hp$ adaptive mesh refinement ($hp$-AMR) strategy that offers high-order accurate resolution of the embedded geometries. The $hp$-AMR strategy is based on a multi-level block-structured domain partition in which each level is represented by block-structured Cartesian grids and the embedded geometry is represented implicitly by a…

math.NAPhysics and Astronomy (miscellaneous)Computer scienceEmbedded boundariesDiscontinuous Galerkin methodsBasis functionClassification of discontinuitiesShock-capturing schemeslaw.inventionDiscontinuous Galerkin methodInviscid flowlawFOS: MathematicsApplied mathematicsCartesian coordinate systemMathematics - Numerical Analysiscs.NANumerical AnalysisFinite volume methodAdaptive mesh refinementhp-AMRApplied MathematicsNumerical Analysis (math.NA)Finite Volume methodsIdeal gasComputer Science ApplicationsComputational MathematicsModeling and SimulationSettore ING-IND/06 - Fluidodinamica
researchProduct

Analysis of a viscoelastic phase separation model

2020

A new model for viscoelastic phase separation is proposed, based on a systematically derived conservative two-fluid model. Dissipative effects are included by phenomenological viscoelastic terms. By construction, the model is consistent with the second law of thermodynamics, and we study well-posedness of the model, i.e., existence of weak solutions, a weak-strong uniqueness principle, and stability with respect to perturbations, which are proven by means of relative energy estimates. A good qualitative agreement with mesoscopic simulations is observed in numerical tests.

media_common.quotation_subjectFOS: Physical sciencesSecond law of thermodynamics02 engineering and technologySpace (mathematics)01 natural sciencesStability (probability)ViscoelasticityMathematics - Analysis of PDEs0103 physical sciencesFOS: MathematicsGeneral Materials ScienceStatistical physicsUniqueness010306 general physicsMathematical Physicsmedia_commonPhysicsMesoscopic physicsDynamic structure factorMathematical Physics (math-ph)021001 nanoscience & nanotechnologyCondensed Matter PhysicsDissipative system0210 nano-technologyAnalysis of PDEs (math.AP)
researchProduct

Quadrature domains for the Helmholtz equation with applications to non-scattering phenomena

2022

In this paper, we introduce quadrature domains for the Helmholtz equation. We show existence results for such domains and implement the so-called partial balayage procedure. We also give an application to inverse scattering problems, and show that there are non-scattering domains for the Helmholtz equation at any positive frequency that have inward cusps.

metaharmonic functionsmatematiikkapartial balayageyhtälötmean value theoremMathematics::Numerical Analysis35J05 35J15 35J20 35R30 35R35quadrature domainnon-scattering phenomenaMathematics - Analysis of PDEsFOS: MathematicsHelmholtz equationacoustic equationAnalysisAnalysis of PDEs (math.AP)
researchProduct

On one-dimensionality of metric measure spaces

2019

In this paper, we prove that a metric measure space which has at least one open set isometric to an interval, and for which the (possibly non-unique) optimal transport map exists from any absolutely continuous measure to an arbitrary measure, is a one-dimensional manifold (possibly with boundary). As an immediate corollary we obtain that if a metric measure space is a very strict $CD(K,N)$ -space or an essentially non-branching $MCP(K,N)$-space with some open set isometric to an interval, then it is a one-dimensional manifold. We also obtain the same conclusion for a metric measure space which has a point in which the Gromov-Hausdorff tangent is unique and isometric to the real line, and fo…

metric measure spacesMathematics - Differential GeometryApplied MathematicsGeneral MathematicsOpen setBoundary (topology)Metric Geometry (math.MG)Space (mathematics)53C23Measure (mathematics)metriset avaruudetManifoldCombinatoricsdifferentiaaligeometriaRicci curvatureDifferential Geometry (math.DG)optimal transportMathematics - Metric GeometryMetric (mathematics)FOS: MathematicsmittateoriaGromov--Hausdorff tangentsReal lineRicci curvatureMathematics
researchProduct

Differential of metric valued Sobolev maps

2020

We introduce a notion of differential of a Sobolev map between metric spaces. The differential is given in the framework of tangent and cotangent modules of metric measure spaces, developed by the first author. We prove that our notion is consistent with Kirchheim's metric differential when the source is a Euclidean space, and with the abstract differential provided by the first author when the target is $\mathbb{R}$.

metric measure spacesPure mathematicsFunction spaces; Metric measure spaces; Sobolev spaces01 natural sciencesMetric measure spacesfunction spacesSettore MAT/05 - Analisi Matematica0103 physical sciencesFOS: MathematicsTrigonometric functions0101 mathematicsMathematicsEuclidean space010102 general mathematicsTangentmetriset avaruudetFunctional Analysis (math.FA)Mathematics - Functional AnalysisSobolev spaceMetric spaceSobolev spacesFunction spaces010307 mathematical physicsfunktionaalianalyysiMetric differentialAnalysisJournal of Functional Analysis
researchProduct

Uniformization of two-dimensional metric surfaces

2014

We establish uniformization results for metric spaces that are homeomorphic to the Euclidean plane or sphere and have locally finite Hausdorff 2-measure. Applying the geometric definition of quasiconformality, we give a necessary and sufficient condition for such spaces to be QC equivalent to the Euclidean plane, disk, or sphere. Moreover, we show that if such a QC parametrization exists, then the dilatation can be bounded by 2. As an application, we show that the Euclidean upper bound for measures of balls is a sufficient condition for the existence of a 2-QC parametrization. This result gives a new approach to the Bonk-Kleiner theorem on parametrizations of Ahlfors 2-regular spheres by qu…

metric surfacesPure mathematicsMathematics - Complex VariablesGeneral Mathematics010102 general mathematicsPrimary 30L10 Secondary 30C65 28A75 51F99 52A38Hausdorff spaceMetric Geometry (math.MG)01 natural sciencesUpper and lower boundsMetric spaceMathematics - Metric GeometryBounded function0103 physical sciencesMetric (mathematics)Euclidean geometryFOS: MathematicsMathematics::Metric Geometry010307 mathematical physicsComplex Variables (math.CV)0101 mathematicsUniformization (set theory)ParametrizationMathematicsInventiones mathematicae
researchProduct

Recovering a variable exponent

2021

We consider an inverse problem of recovering the non-linearity in the one dimensional variable exponent $p(x)$-Laplace equation from the Dirichlet-to-Neumann map. The variable exponent can be recovered up to the natural obstruction of rearrangements. The main technique is using the properties of a moment problem after reducing the inverse problem to determining a function from its $L^p$-norms.

non-standard growthvariable exponentelliptic equationGeneral Mathematicsquasilinear equationinversio-ongelmatCalderón's problemMathematics - Analysis of PDEsapproximation by polynomialsFOS: Mathematics34A55 (Primary) 41A10 34B15 28A25 (Secondary)inverse problemapproksimointiMüntz-Szász theoremdifferentiaaliyhtälötAnalysis of PDEs (math.AP)Documenta Mathematica
researchProduct

On the CAT(0) dimension of 2-dimensional Bestvina-Brady groups

2002

Let K be a 2-dimensional finite flag complex. We study the CAT(0) dimension of the `Bestvina-Brady group', or `Artin kernel', Gamma_K. We show that Gamma_K has CAT(0) dimension 3 unless K admits a piecewise Euclidean metric of non-positive curvature. We give an example to show that this implication cannot be reversed. Different choices of K lead to examples where the CAT(0) dimension is 3, and either (i) the geometric dimension is 2, or (ii) the cohomological dimension is 2 and the geometric dimension is not known.

nonpositive curvatureGroup (mathematics)20F6720F67 57M20Geometric Topology (math.GT)Group Theory (math.GR)Cohomological dimensionEuclidean distanceCombinatoricsKernel (algebra)Mathematics::Group TheoryMathematics - Geometric Topologydimension57M20Dimension (vector space)FOS: MathematicsArtin groupflag complexGeometry and TopologyArtin groupMathematics - Group TheoryZero-dimensional spaceMathematicsFlag (geometry)
researchProduct

Biharmonic obstacle problem: guaranteed and computable error bounds for approximate solutions

2020

The paper is concerned with a free boundary problem generated by the biharmonic operator and an obstacle. The main goal is to deduce a fully guaranteed upper bound of the difference between the exact minimizer u and any function (approximation) from the corresponding energy class (which consists of the functions in $H^2$ satisfying the prescribed boundary conditions and the restrictions stipulated by the obstacle). For this purpose we use the duality method of the calculus of variations and general type error identities earlier derived for a wide class of convex variational problems. By this method, we define a combined primal--dual measure of error. It contains four terms of different natu…

osittaisdifferentiaaliyhtälöt010102 general mathematicsestimates of the distance to the exact solutionBoundary (topology)Function (mathematics)01 natural sciences010101 applied mathematicsComputational MathematicsIdentity (mathematics)aposteriori estimatesMathematics - Analysis of PDEsVariational inequalityObstacle problemFOS: MathematicsBiharmonic equationApplied mathematicsBoundary value problemapproksimointi0101 mathematics35J87 35J35epäyhtälötvariational inequalitiesAnalysis of PDEs (math.AP)MathematicsVariable (mathematics)
researchProduct

Quantitative Approximation Properties for the Fractional Heat Equation

2017

In this note we analyse \emph{quantitative} approximation properties of a certain class of \emph{nonlocal} equations: Viewing the fractional heat equation as a model problem, which involves both \emph{local} and \emph{nonlocal} pseudodifferential operators, we study quantitative approximation properties of solutions to it. First, relying on Runge type arguments, we give an alternative proof of certain \emph{qualitative} approximation results from \cite{DSV16}. Using propagation of smallness arguments, we then provide bounds on the \emph{cost} of approximate controllability and thus quantify the approximation properties of solutions to the fractional heat equation. Finally, we discuss genera…

osittaisdifferentiaaliyhtälöt0209 industrial biotechnologyClass (set theory)Control and Optimizationfractional parabolic Calderón problemPseudodifferential operatorsApplied Mathematics010102 general mathematics02 engineering and technologyType (model theory)nonlocal operators [cost of approximation]01 natural sciencesinversio-ongelmatControllabilityMathematics - Analysis of PDEsweak unique continuation [Runge approximation]020901 industrial engineering & automationFOS: MathematicsApplied mathematicsHeat equationapproksimointi0101 mathematicsMathematicsAnalysis of PDEs (math.AP)
researchProduct