Search results for "Jacobian"

showing 10 items of 60 documents

Approximation of W1, Sobolev homeomorphism by diffeomorphisms and the signs of the Jacobian

2018

Abstract Let Ω ⊂ R n , n ≥ 4 , be a domain and 1 ≤ p [ n / 2 ] , where [ a ] stands for the integer part of a. We construct a homeomorphism f ∈ W 1 , p ( ( − 1 , 1 ) n , R n ) such that J f = det ⁡ D f > 0 on a set of positive measure and J f 0 on a set of positive measure. It follows that there are no diffeomorphisms (or piecewise affine homeomorphisms) f k such that f k → f in W 1 , p .

Sobolev homeomorphismGeneral Mathematicsta111010102 general mathematicsA domain01 natural sciencesMeasure (mathematics)Homeomorphism010101 applied mathematicsSobolev spaceCombinatoricssymbols.namesakeIntegerJacobian matrix and determinantsymbolsPiecewise affine0101 mathematicsapproximationJacobianMathematicsAdvances in Mathematics
researchProduct

Approximation of W1,p Sobolev homeomorphism by diffeomorphisms and the signs of the Jacobian

2018

Let Ω ⊂ R n, n ≥ 4, be a domain and 1 ≤ p 0 on a set of positive measure and Jf < 0 on a set of positive measure. It follows that there are no diffeomorphisms (or piecewise affine homeomorphisms) fk such that fk → f in W1,p . peerReviewed

Sobolev homeomorphismapproksimointiJacobian
researchProduct

Mappings of finite distortion: Monotonicity and continuity

2001

We study mappings f = ( f1, ..., fn) : Ω → Rn in the Sobolev space W loc (Ω,R n), where Ω is a connected, open subset of Rn with n ≥ 2. Thus, for almost every x ∈ Ω, we can speak of the linear transformation D f(x) : Rn → Rn, called differential of f at x. Its norm is defined by |D f(x)| = sup{|D f(x)h| : h ∈ Sn−1}. We shall often identify D f(x) with its matrix, and denote by J(x, f ) = det D f(x) the Jacobian determinant. Thus, using the language of differential forms, we can write

Sobolev spaceDiscrete mathematicsLinear mapsymbols.namesakeDifferential formGeneral MathematicsNorm (mathematics)Jacobian matrix and determinantsymbolsMonotonic functionMathematicsInventiones Mathematicae
researchProduct

Abelian varieties and theta functions associated to compact Riemannian manifolds; constructions inspired by superstring theory

2012

We look into a construction of principal abelian varieties attached to certain spin manifolds, due to Witten and Moore-Witten around 2000 and try to place it in a broader framework. This is related to Weil intermediate Jacobians but it also suggests to associate abelian varieties to polarized even weight Hodge structures. The latter construction can also be explained in terms of algebraic groups which might be useful from the point of view of Tannakian categories. The constructions depend on moduli much as in Teichm\"uller theory although the period maps in general are only real analytic. One of the nice features is how the index for certain differential operators canonically associated to …

Teichmüller spaceMathematics - Differential GeometryPure mathematicsMathematics(all)Intermediate JacobianGeneral MathematicsFOS: Physical sciencesTheta functionDirac operatorModulisymbols.namesakeMathematics - Algebraic GeometryMathematics::Algebraic Geometry14K10 14C30 19K56FOS: MathematicsAbelian groupAlgebraic Geometry (math.AG)Mathematical PhysicsMathematicsApplied MathematicsSuperstring theoryMathematical Physics (math-ph)AlgebraDifferential Geometry (math.DG)symbolsAtiyah–Singer index theoremJournal de Mathématiques Pures et Appliquées
researchProduct

Extensions of the witness method to characterize under-, over- and well-constrained geometric constraint systems

2011

International audience; This paper describes new ways to tackle several important problems encountered in geometric constraint solving, in the context of CAD, and which are linked to the handling of under- and over-constrained systems. It presents a powerful decomposition algorithm of such systems. Our methods are based on the witness principle whose theoretical background is recalled in a first step. A method to generate a witness is then explained. We show that having a witness can be used to incrementally detect over-constrainedness and thus to compute a well-constrained boundary system. An algorithm is introduced to check if anchoring a given subset of the coordinates brings the number …

[ INFO.INFO-MO ] Computer Science [cs]/Modeling and SimulationBoundary (topology)Witness configuration020207 software engineeringContext (language use)CAD02 engineering and technologyW-decompositionComputer Graphics and Computer-Aided DesignWitness[INFO.INFO-MO]Computer Science [cs]/Modeling and SimulationIndustrial and Manufacturing EngineeringComputer Science ApplicationsConstraint (information theory)symbols.namesakeTransformation groupJacobian matrix and determinant0202 electrical engineering electronic engineering information engineeringsymbolsGeometric constraints solving020201 artificial intelligence & image processingFinite setAlgorithmAlgorithmsMathematics
researchProduct

The Radó–Kneser–Choquet theorem for $p$-harmonic mappings between Riemannian surfaces

2020

In the planar setting the Rad\'o-Kneser-Choquet theorem states that a harmonic map from the unit disk onto a Jordan domain bounded by a convex curve is a diffeomorphism provided that the boundary mapping is a homeomorphism. We prove the injectivity criterion of Rad\'o-Kneser-Choquet for $p$-harmonic mappings between Riemannian surfaces. In our proof of the injecticity criterion we approximate the $p$-harmonic map with auxiliary mappings that solve uniformly elliptic systems. We prove that each auxiliary mapping has a positive Jacobian by a homotopy argument. We keep the maps injective all the way through the homotopy with the help of the minimum principle for a certain subharmonic expressio…

subharmonicityPure mathematicsFUNCTIONALSMINIMIZERSGeneral Mathematicsp-harmonic mappings01 natural sciencesJacobin matriisitMathematics - Analysis of PDEsMaximum principleBOUNDARY-REGULARITYSYSTEMSMAPSRiemannian surface111 MathematicsFOS: MathematicsComplex Variables (math.CV)0101 mathematicsMathematicsCurvatureMathematics - Complex VariablesHomotopy010102 general mathematicsConvex curveHarmonic mapUnit diskHomeomorphismInjective functionEXISTENCEUNIQUENESSmaximum principlecurvature35J47 (Primary) 58E20 35J70 35J92 (Secondary)ELLIPTIC PROBLEMSDiffeomorphismJacobianunivalentAnalysis of PDEs (math.AP)Revista Matemática Iberoamericana
researchProduct

The Two-Jacobian Scheme for Systems of Conservation Laws

2006

symbols.namesakeConservation lawRiemann problemScheme (mathematics)Jacobian matrix and determinantsymbolsCalculusApplied mathematicsRiemann solverMathematics
researchProduct

New Types of Jacobian-Free Approximate Riemann Solvers for Hyperbolic Systems

2017

We present recent advances in PVM (Polynomial Viscosity Matrix) methods based on internal approximations to the absolute value function. These solvers only require a bound on the maximum wave speed, so no spectral decomposition is needed. Moreover, they can be written in Jacobian-free form, in which only evaluations of the physical flux are used. This is particularly interesting when considering systems with complex Jacobians, as the relativistic magnetohydrodynamics (RMHD) equations. The proposed solvers have also been extended to the case of approximate DOT (Dumbser-Osher-Toro) methods, which can be regarded as simple and efficient approximations to the classical Osher-Solomon method. Som…

symbols.namesakePolynomialRiemann hypothesisMatrix (mathematics)Riemann problemSimple (abstract algebra)Jacobian matrix and determinantsymbolsApplied mathematicsRiemann solverMathematicsMatrix decomposition
researchProduct

Mappings of finite distortion: Reverse inequalities for the Jacobian

2007

Let f be a nonconstant mapping of finite distortion. We establish integrability results on 1/Jf by studying weights that satisfy a weak reverse Holder inequality where the associated constant can depend on the ball in question. Here Jf is the Jacobian determinant of f.

symbols.namesakePure mathematicsDifferential geometryFourier analysisMathematical analysisJacobian matrix and determinantsymbolsGeometry and TopologyBall (mathematics)Reverse holder inequalityMathematicsJournal of Geometric Analysis
researchProduct

Computing variations of entropy and redundancy under nonlinear mappings not preserving the signal dimension: quantifying the efficiency of V1 cortex

2021

In computational neuroscience, the Efficient Coding Hypothesis argues that the neural organization comes from the optimization of information-theoretic goals [Barlow Proc.Nat.Phys.Lab.59]. A way to confirm this requires the analysis of the statistical performance of biological systems that have not been statistically optimized [Renart et al. Science10, Malo&Laparra Neur.Comp.10, Foster JOSA18, Gomez-Villa&Malo J.Neurophysiol.19]. However, when analyzing the information-theoretic performance, cortical magnification in the retina-cortex pathway poses a theoretical problem. Cortical magnification stands for the increase the signal dimensionality [Cowey&Rolls Exp. Brain Res.74]. Conventional mo…

symbols.namesakeWaveletRedundancy (information theory)Dimension (vector space)Computer scienceJacobian matrix and determinantsymbolsEntropy (information theory)Total correlationEfficient coding hypothesisAlgorithmCurse of dimensionalityProceedings of Entropy 2021: The Scientific Tool of the 21st Century
researchProduct