Search results for "FOS: Mathematics"

showing 10 items of 1448 documents

Positive solutions for singular double phase problems

2021

Abstract We study the existence of positive solutions for a class of double phase Dirichlet equations which have the combined effects of a singular term and of a parametric superlinear term. The differential operator of the equation is the sum of a p-Laplacian and of a weighted q-Laplacian ( q p ) with discontinuous weight. Using the Nehari method, we show that for all small values of the parameter λ > 0 , the equation has at least two positive solutions.

Class (set theory)Double phase problemNehari manifold01 natural sciencesDirichlet distributionsymbols.namesakeMathematics - Analysis of PDEsSettore MAT/05 - Analisi MatematicaFOS: MathematicsApplied mathematics0101 mathematics35J60 35D05Positive solutionsParametric statisticsMathematicsApplied Mathematics010102 general mathematicsSingular termSingular termMathematics::Spectral TheoryDifferential operatorTerm (time)010101 applied mathematicsDouble phaseDiscontinuous weightsymbolsAnalysisAnalysis of PDEs (math.AP)
researchProduct

A two-phase problem with Robin conditions on the free boundary

2020

We study for the first time a two-phase free boundary problem in which the solution satisfies a Robin boundary condition. We consider the case in which the solution is continuous across the free boundary and we prove an existence and a regularity result for minimizers of the associated variational problem. Finally, in the appendix, we give an example of a class of Steiner symmetric minimizers. peerReviewed

Class (set theory)General MathematicsBoundary (topology)variaatiolaskentaRobin boundary conditionsPhase problemRobin boundary condition01 natural sciencesFree boundary problemsRegularityMathematics - Analysis of PDEsFOS: MathematicsFree boundary problemApplied mathematics0101 mathematicsMathematicsosittaisdifferentiaaliyhtälöt010102 general mathematicsFree boundary problemFree boundary problems; Regularity; Robin boundary conditions; Two-phasematemaattinen optimointi16. Peace & justiceRobin boundary condition010101 applied mathematicsTwo-phaseAnalysis of PDEs (math.AP)
researchProduct

Separation conditions on controlled Moran constructions

2017

It is well known that the open set condition and the positivity of the $t$-dimensional Hausdorff measure are equivalent on self-similar sets, where $t$ is the zero of the topological pressure. We prove an analogous result for a class of Moran constructions and we study different kinds of Moran constructions with this respect.

Class (set theory)Pure mathematicsAlgebra and Number Theory010102 general mathematicsSeparation (statistics)Zero (complex analysis)Open setDynamical Systems (math.DS)01 natural sciencesTopological pressure0103 physical sciencesFOS: MathematicsQuantitative Biology::Populations and EvolutionHausdorff measure010307 mathematical physicsMathematics - Dynamical Systems0101 mathematicsMathematicsFundamenta Mathematicae
researchProduct

Are locally finite MV-algebras a variety?

2021

We answer Mundici's problem number 3 (D. Mundici. Advanced {\L}ukasiewicz calculus. Trends in Logic Vol. 35. Springer 2011, p. 235): Is the category of locally finite MV-algebras equivalent to an equational class? We prove: (i) The category of locally finite MV-algebras is not equivalent to any finitary variety. (ii) More is true: the category of locally finite MV-algebras is not equivalent to any finitely-sorted finitary quasi-variety. (iii) The category of locally finite MV-algebras is equivalent to an infinitary variety; with operations of at most countable arity. (iv) The category of locally finite MV-algebras is equivalent to a countably-sorted finitary variety. Our proofs rest upon th…

Class (set theory)Pure mathematicsAlgebra and Number Theory06D35 (Primary) 18C05 (Secondary)Duality (mathematics)Mathematics - Category TheoryMathematics - LogicArityMathematical proofComputer Science::Logic in Computer ScienceMathematics::Category TheoryFOS: MathematicsCountable setFinitaryCategory Theory (math.CT)Variety (universal algebra)Logic (math.LO)Categorical variableMathematics
researchProduct

A Multiplicity result for a class of strongly indefinite asymptotically linear second order systems

2010

We prove a multiplicity result for a class of strongly indefinite nonlinear second order asymptotically linear systems with Dirichlet boundary conditions. The key idea for the proof is to bring together the classical shooting method and the Maslov index of the linear Hamiltonian systems associated to the asymptotic limits of the given nonlinearity.

Class (set theory)Pure mathematicsApplied MathematicsMathematical analysisLinear systemMultiplicity (mathematics)34B15 37J05 53C50Functional Analysis (math.FA)Hamiltonian systemMathematics - Functional AnalysisNonlinear systemsymbols.namesakeShooting methodMathematics - Classical Analysis and ODEsSettore MAT/05 - Analisi MatematicaDirichlet boundary conditionClassical Analysis and ODEs (math.CA)FOS: MathematicssymbolsOrder (group theory)Multiplicity Asymptotically linear BVP Maslov index Phase angleAnalysisMathematics
researchProduct

Local minimizers and gamma-convergence for nonlocal perimeters in Carnot groups

2020

We prove the local minimality of halfspaces in Carnot groups for a class of nonlocal functionals usually addressed as nonlocal perimeters. Moreover, in a class of Carnot groups in which the De Giorgi's rectifiability Theorem holds, we provide a lower bound for the $\Gamma$-liminf of the rescaled energy in terms of the horizontal perimeter.

Class (set theory)Pure mathematicsControl and OptimizationCarnot groups calibrations nonlocal perimeters/ Γ-convergence sets of finite perimeter rectifiabilityMathematics::Analysis of PDEssets of finite perimetervariaatiolaskentaComputer Science::Computational Geometry01 natural sciencesUpper and lower boundsdifferentiaaligeometriasymbols.namesakeMathematics - Analysis of PDEs510 MathematicsMathematics - Metric GeometryComputer Science::Logic in Computer ScienceConvergence (routing)FOS: MathematicsMathematics::Metric Geometry0101 mathematicscalibrationsMathematicsnonlocal perimeters010102 general mathematicsrectifiabilityryhmäteoriaMetric Geometry (math.MG)matemaattinen optimointi010101 applied mathematicsComputational MathematicsΓ-convergenceΓ-convergenceCarnot groupsControl and Systems EngineeringsymbolsCarnot cycleAnalysis of PDEs (math.AP)ESAIM: Control, Optimisation and Calculus of Variations
researchProduct

Positivity, complex FIOs, and Toeplitz operators

2018

International audience; We establish a characterization of complex linear canonical transformations that are positive with respect to a pair of strictly plurisubharmonic quadratic weights. As an application, we show that the boundedness of a class of Toeplitz operators on the Bargmann space is implied by the boundedness of their Weyl symbols.

Class (set theory)Pure mathematicsFourier integral operator in the complex domainPrimary: 32U05 32W25 35S30 47B35 70H1570H15Mathematics::Classical Analysis and ODEsOcean EngineeringCharacterization (mathematics)32U05 32W25 35S30 47B35 70H15Space (mathematics)01 natural sciencesMathematics - Analysis of PDEsQuadratic equation0103 physical sciencesFOS: Mathematics0101 mathematics[MATH]Mathematics [math]MathematicsMathematics::Functional Analysispositive canonical transformationMathematics::Complex Variables32U0532W25010102 general mathematicsToeplitz matrixFunctional Analysis (math.FA)Mathematics - Functional Analysis35S30Toeplitz operatorpositive Lagrangian plane010307 mathematical physicsstrictly plurisubharmonic quadratic form47B35Analysis of PDEs (math.AP)Toeplitz operator
researchProduct

The identity type weak factorisation system

2008

We show that the classifying category C(T) of a dependent type theory T with axioms for identity types admits a non-trivial weak factorisation system. We provide an explicit characterisation of the elements of both the left class and the right class of the weak factorisation system. This characterisation is applied to relate identity types and the homotopy theory of groupoids.

Class (set theory)Pure mathematicsGeneral Computer ScienceDependent type theoryHomotopiaType (model theory)Identity (music)Theoretical Computer Science510 - Consideracions fonamentals i generals de les matemàtiquesCombinatorics18C50Mathematics::Category TheoryFOS: MathematicsCategory Theory (math.CT)Univalent foundationsAxiomMathematicsHomotopy03B15; 18C50; 18B40Mathematics - Category TheoryIdentity type weak factorisation systemMathematics - LogicTipus Teoria dels03B15Type theory18B40Homotopy type theoryLogic (math.LO)Weak factorisation systemIdentity typeComputer Science(all)
researchProduct

Rigidity of quasisymmetric mappings on self-affine carpets

2016

We show that the class of quasisymmetric maps between horizontal self-affine carpets is rigid. Such maps can only exist when the dimensions of the carpets coincide, and in this case, the quasisymmetric maps are quasi-Lipschitz. We also show that horizontal self-affine carpets are minimal for the conformal Assouad dimension.

Class (set theory)Pure mathematicsMathematics::Dynamical SystemsGeneral Mathematicsquasisymmetric mapsMathematics::General TopologyPhysics::OpticsConformal mapRigidity (psychology)01 natural sciencesDimension (vector space)0103 physical sciencesClassical Analysis and ODEs (math.CA)FOS: MathematicsMathematics::Metric Geometry0101 mathematicsself-affine carpetsMathematicsta111010102 general mathematicsPhysics::Classical PhysicsMathematics - Classical Analysis and ODEs010307 mathematical physicsAffine transformation28A80 37F35 30C62 30L10
researchProduct

Roots in the mapping class groups

2006

The purpose of this paper is the study of the roots in the mapping class groups. Let $\Sigma$ be a compact oriented surface, possibly with boundary, let $\PP$ be a finite set of punctures in the interior of $\Sigma$, and let $\MM (\Sigma, \PP)$ denote the mapping class group of $(\Sigma, \PP)$. We prove that, if $\Sigma$ is of genus 0, then each $f \in \MM (\Sigma)$ has at most one $m$-root for all $m \ge 1$. We prove that, if $\Sigma$ is of genus 1 and has non-empty boundary, then each $f \in \MM (\Sigma)$ has at most one $m$-root up to conjugation for all $m \ge 1$. We prove that, however, if $\Sigma$ is of genus $\ge 2$, then there exist $f,g \in \MM (\Sigma, \PP)$ such that $f^2=g^2$, $…

Class (set theory)Pure subgroupGeneral MathematicsBoundary (topology)SigmaGeometric Topology (math.GT)Group Theory (math.GR)Surface (topology)Mapping class groupCombinatoricsMathematics - Geometric Topology57M99Genus (mathematics)FOS: MathematicsMathematics - Group TheoryFinite setMathematicsProceedings of the London Mathematical Society
researchProduct