Search results for "FOS: Mathematics"

showing 10 items of 1448 documents

Boundary Regularity for the Porous Medium Equation

2018

We study the boundary regularity of solutions to the porous medium equation $u_t = \Delta u^m$ in the degenerate range $m>1$. In particular, we show that in cylinders the Dirichlet problem with positive continuous boundary data on the parabolic boundary has a solution which attains the boundary values, provided that the spatial domain satisfies the elliptic Wiener criterion. This condition is known to be optimal, and it is a consequence of our main theorem which establishes a barrier characterization of regular boundary points for general -- not necessarily cylindrical -- domains in ${\bf R}^{n+1}$. One of our fundamental tools is a new strict comparison principle between sub- and superpara…

Pure mathematicsComplex systemBoundary (topology)Mathematical AnalysisCharacterization (mathematics)01 natural sciencesMathematics - Analysis of PDEsMathematics (miscellaneous)Matematisk analysporous medium equationFOS: Mathematics0101 mathematicsSpatial domainMathematicsosittaisdifferentiaaliyhtälötDirichlet problemMechanical Engineering010102 general mathematicsDegenerate energy levels35K20 (Primary) 35B51 35B65 35K10 35K55 35K65 (Secondary)010101 applied mathematicsRange (mathematics)boundary regularityPorous mediumAnalysisAnalysis of PDEs (math.AP)Archive for Rational Mechanics and Analysis
researchProduct

Positive linear maps on normal matrices

2018

For a positive linear map [Formula: see text] and a normal matrix [Formula: see text], we show that [Formula: see text] is bounded by some simple linear combinations in the unitary orbit of [Formula: see text]. Several elegant sharp inequalities are derived, for instance for the Schur product of two normal matrices [Formula: see text], [Formula: see text] for some unitary [Formula: see text], where the constant [Formula: see text] is optimal.

Pure mathematicsComputer Science::Information RetrievalGeneral Mathematics010102 general mathematicsAstrophysics::Instrumentation and Methods for AstrophysicsComputer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)010103 numerical & computational mathematics01 natural sciencesUnitary stateNormal matrixFunctional Analysis (math.FA)Mathematics - Functional AnalysisLinear mapSimple (abstract algebra)Bounded functionFOS: MathematicsComputer Science::General Literature0101 mathematicsOrbit (control theory)Linear combinationMathematicsInternational Journal of Mathematics
researchProduct

Dominated polynomials on infinite dimensional spaces

2008

The aim of this paper is to prove a stronger version of a conjecture on the existence of non-dominated scalar-valued m-homogeneous polynomials (m>=3) on arbitrary infinite dimensional Banach spaces.

Pure mathematicsConjectureApplied MathematicsGeneral Mathematics46B15; 46G25Eberlein–Šmulian theoremMathematical analysisBanach spaceBanach manifoldFunctional Analysis (math.FA)Mathematics - Functional AnalysisFOS: Mathematics46G2546B15Mathematics
researchProduct

The Oort conjecture on Shimura curves in the Torelli locus of curves

2014

Oort has conjectured that there do not exist Shimura curves contained generically in the Torelli locus of genus-$g$ curves when $g$ is large enough. In this paper we prove the Oort conjecture for Shimura curves of Mumford type and Shimura curves parameterizing principally polarized $g$-dimensional abelian varieties isogenous to $g$-fold self-products of elliptic curves for $g>11$. We also prove that there do not exist Shimura curves contained generically in the Torelli locus of hyperelliptic curves of genus $g>7$. As a consequence, we obtain a finiteness result regarding smooth genus-$g$ curves with completely decomposable Jacobians, which is related to a question of Ekedahl and Serre.

Pure mathematicsConjectureApplied MathematicsGeneral MathematicsMathematics::Number Theory010102 general mathematics05 social sciences01 natural sciencesElliptic curveMathematics - Algebraic GeometryMathematics::Algebraic Geometry0502 economics and businessFOS: Mathematics0101 mathematicsAbelian groupLocus (mathematics)Algebraic Geometry (math.AG)050203 business & managementMathematics
researchProduct

Local Gromov-Witten invariants are log invariants

2019

We prove a simple equivalence between the virtual count of rational curves in the total space of an anti-nef line bundle and the virtual count of rational curves maximally tangent to a smooth section of the dual line bundle. We conjecture a generalization to direct sums of line bundles.

Pure mathematicsConjectureGeneral Mathematics010102 general mathematicsTangent01 natural sciencesMathematics - Algebraic GeometryMathematics::Algebraic Geometry14N35 14D06 53D45Line bundle0103 physical sciencesFOS: Mathematics010307 mathematical physics0101 mathematicsEquivalence (formal languages)QAAlgebraic Geometry (math.AG)Mathematics::Symplectic GeometryMathematics
researchProduct

Existence of common zeros for commuting vector fields on 3‐manifolds II. Solving global difficulties

2020

We address the following conjecture about the existence of common zeros for commuting vector fields in dimension three: if $X,Y$ are two $C^1$ commuting vector fields on a $3$-manifold $M$, and $U$ is a relatively compact open such that $X$ does not vanish on the boundary of $U$ and has a non vanishing Poincar\'e-Hopf index in $U$, then $X$ and $Y$ have a common zero inside $U$. We prove this conjecture when $X$ and $Y$ are of class $C^3$ and every periodic orbit of $Y$ along which $X$ and $Y$ are collinear is partially hyperbolic. We also prove the conjecture, still in the $C^3$ setting, assuming that the flow $Y$ leaves invariant a transverse plane field. These results shed new light on t…

Pure mathematicsConjectureGeneral Mathematics37C85010102 general mathematicsZero (complex analysis)Boundary (topology)Field (mathematics)Dynamical Systems (math.DS)01 natural sciences37C25Flow (mathematics)Relatively compact subspace0103 physical sciences58C30 (primary)FOS: MathematicsVector field010307 mathematical physics0101 mathematicsInvariant (mathematics)Mathematics - Dynamical Systems[MATH]Mathematics [math]57S05Mathematics
researchProduct

Modular Calabi-Yau threefolds of level eight

2005

In the studies on the modularity conjecture for rigid Calabi-Yau threefolds several examples with the unique level 8 cusp form were constructed. According to the Tate Conjecture correspondences inducing isomorphisms on the middle cohomologies should exist between these varieties. In the paper we construct several examples of such correspondences. In the constructions elliptic fibrations play a crucial role. In fact we show that all but three examples are in some sense built upon two modular curves from the Beauville list.

Pure mathematicsConjectureMathematics - Number Theory14G1014J32General MathematicsModular formModular invariancemodular forms14G10; 14J32Cusp formModular curveAlgebraMathematics - Algebraic GeometryMathematics::Algebraic GeometryModular elliptic curveCalabi-YauFOS: MathematicsCalabi–Yau manifoldNumber Theory (math.NT)Tate conjectureAlgebraic Geometry (math.AG)MathematicsTate conjecturedouble coverings
researchProduct

Arithmetic hyperbolicity and a stacky Chevalley-Weil theorem

2020

We prove an analogue for algebraic stacks of Hermite-Minkowski's finiteness theorem from algebraic number theory, and establish a Chevalley-Weil type theorem for integral points on stacks. As an application of our results, we prove analogues of the Shafarevich conjecture for some surfaces of general type.

Pure mathematicsConjectureMathematics - Number TheoryGeneral MathematicsAlgebraic number theory010102 general mathematicsType (model theory)01 natural sciencesMathematics - Algebraic Geometry0103 physical sciencesFOS: MathematicsNumber Theory (math.NT)010307 mathematical physics0101 mathematicsAlgebraic numberAlgebraic Geometry (math.AG)Mathematics
researchProduct

Effectively Computing Integral Points on the Moduli of Smooth Quartic Curves

2016

We prove an effective version of the Shafarevich conjecture (as proven by Faltings) for smooth quartic curves. To do so, we establish an effective version of Scholl's finiteness result for smooth del Pezzo surfaces of degree at most four.

Pure mathematicsConjectureMathematics - Number TheoryMathematics::Commutative AlgebraDegree (graph theory)Mathematics::Number TheoryGeneral Mathematics010102 general mathematics01 natural sciencesModuliMathematics - Algebraic GeometryMathematics::Algebraic GeometryQuartic function0103 physical sciencesFOS: MathematicsNumber Theory (math.NT)010307 mathematical physics0101 mathematicsAlgebraic Geometry (math.AG)MathematicsThe Quarterly Journal of Mathematics
researchProduct

A proof of Carleson's $\varepsilon^2$-conjecture

2019

In this paper we provide a proof of the Carleson $\varepsilon^2$-conjecture. This result yields a characterization (up to exceptional sets of zero length) of the tangent points of a Jordan curve in terms of the finiteness of the associated Carleson $\varepsilon^2$-square function.

Pure mathematicsConjectureMathematics::Classical Analysis and ODEsTangentMetric Geometry (math.MG)Jordan curve theoremsymbols.namesakeMathematics (miscellaneous)Mathematics - Analysis of PDEsMathematics - Metric GeometryMathematics - Classical Analysis and ODEssymbolsClassical Analysis and ODEs (math.CA)FOS: MathematicsStatistics Probability and Uncertainty28A75 42B20MathematicsAnalysis of PDEs (math.AP)
researchProduct