Search results for " Regular"

showing 10 items of 197 documents

Formations of finite monoids and formal languages: Eilenberg’s variety theorem revisited

2014

International audience; We present an extension of Eilenberg's variety theorem, a well-known result connecting algebra to formal languages. We prove that there is a bijective correspondence between formations of finite monoids and certain classes of languages, the formations of languages. Our result permits to treat classes of finite monoids which are not necessarily closed under taking submonoids, contrary to the original theory. We also prove a similar result for ordered monoids.; Nous présentons une extension du théorème des variétés d'Eilenberg, un résultat célèbre reliant l'algèbre à la théorie des langages formels. Nous montrons qu'il existe une correspondance bijective entre les form…

Pure mathematicsApplied MathematicsGeneral MathematicsACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages[INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]Abstract family of languagesFormationRegular languagesCone (formal languages)regular languagePumping lemma for regular languagesAlgebravarietyRegular languageÁlgebraMSC 68Q70 20D10 20F17 20M25Mathematics::Category TheoryFormal languageVariety (universal algebra)SemigroupsGroup formationsAutomata theoryMathematics
researchProduct

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

Fourier analysis of periodic Radon transforms

2019

We study reconstruction of an unknown function from its $d$-plane Radon transform on the flat $n$-torus when $1 \leq d \leq n-1$. We prove new reconstruction formulas and stability results with respect to weighted Bessel potential norms. We solve the associated Tikhonov minimization problem on $H^s$ Sobolev spaces using the properties of the adjoint and normal operators. One of the inversion formulas implies that a compactly supported distribution on the plane with zero average is a weighted sum of its X-ray data.

Pure mathematicsGeneral MathematicsBessel potential01 natural sciencesTikhonov regularizationsymbols.namesakeFOS: Mathematics0101 mathematicsperiodic distributionsMathematicsRadon transformRadon transformApplied Mathematics44A12 42B05 46F12 45Q05010102 general mathematicsZero (complex analysis)Function (mathematics)Fourier analysisFunctional Analysis (math.FA)010101 applied mathematicsSobolev spaceregularizationMathematics - Functional AnalysisDistribution (mathematics)Fourier analysissymbolsAnalysis
researchProduct

On the interior regularity of weak solutions to the 2-D incompressible Euler equations

2016

We study whether some of the non-physical properties observed for weak solutions of the incompressible Euler equations can be ruled out by studying the vorticity formulation. Our main contribution is in developing an interior regularity method in the spirit of De Giorgi–Nash–Moser, showing that local weak solutions are exponentially integrable, uniformly in time, under minimal integrability conditions. This is a Serrin-type interior regularity result $$\begin{aligned} u \in L_\mathrm{loc}^{2+\varepsilon }(\Omega _T) \implies \mathrm{local\ regularity} \end{aligned}$$ for weak solutions in the energy space $$L_t^\infty L_x^2$$ , satisfying appropriate vorticity estimates. We also obtain impr…

Pure mathematicsIntegrable systemDimension (graph theory)Mathematics::Analysis of PDEsContext (language use)yhtälötSpace (mathematics)01 natural sciencessymbols.namesakeMathematics - Analysis of PDEs35Q31 (Primary) 76B03 35B65 35Q30 (Secondary)weak solutions0103 physical sciencesinterior regularityBoundary value problem0101 mathematicsMathematicsmatematiikkaApplied Mathematics010102 general mathematicsVorticityEuler equationsEuler equationssymbols010307 mathematical physicsAnalysisEnergy (signal processing)Calculus of Variations and Partial Differential Equations
researchProduct

Nonlinear balayage on metric spaces

2009

We develop a theory of balayage on complete doubling metric measure spaces supporting a Poincaré inequality. In particular, we are interested in continuity and p-harmonicity of the balayage. We also study connections to the obstacle problem. As applications, we characterize regular boundary points and polar sets in terms of balayage. Original Publication:Anders Björn, Jana Björn, Tero Mäkäläinen and Mikko Parviainen, Nonlinear balayage on metric spaces, 2009, Nonlinear Analysis, (71), 5-6, 2153-2171.http://dx.doi.org/10.1016/j.na.2009.01.051Copyright: Elsevier Science B.V., Amsterdam.http://www.elsevier.com/

Pure mathematicsMatematikBalayageApplied MathematicsMathematical analysisPoincaré inequalityBoundary (topology)Measure (mathematics)symbols.namesakeMetric spaceMetric (mathematics)Obstacle problemsymbolsBalayage; Boundary regularity; Continuity; Doubling measure; Metric space; Nonlinear; Obstacle problem; Perron solution; p-harmonic; Polar set; Poincaré inequality; Potential theory; SuperharmonicAnalysisMathematicsMathematicsPolar set (potential theory)
researchProduct

Lipschitz continuity of Cheeger-harmonic functions in metric measure spaces

2003

Abstract We use the heat equation to establish the Lipschitz continuity of Cheeger-harmonic functions in certain metric spaces. The metric spaces under consideration are those that are endowed with a doubling measure supporting a (1,2)-Poincare inequality and in addition supporting a corresponding Sobolev–Poincare-type inequality for the modification of the measure obtained via the heat kernel. Examples are given to illustrate the necessity of our assumptions on these spaces. We also provide an example to show that in the general setting the best possible regularity for the Cheeger-harmonic functions is Lipschitz continuity.

Pure mathematicsMathematical analysisLipschitz continuityModulus of continuityCheeger-harmonicConvex metric spaceUniform continuityMetric spaceLipschitz domainPoincaré inequalityheat kerneldoubling measureMetric mapLipschitz regularitylogarithmic Sobolev inequalityMetric differentialhypercontractivityAnalysisNewtonian spaceMathematicsJournal of Functional Analysis
researchProduct

Positive solutions for the Neumann p-Laplacian

2017

We examine parametric nonlinear Neumann problems driven by the p-Laplacian with asymptotically ( $$p-1$$ )-linear reaction term f(z, x) (as $$x\rightarrow +\infty $$ ). We determine the existence, nonexistence and minimality of positive solutions as the parameter $$\lambda >0$$ varies.

Pure mathematicsPositive solutions Nonlinear regularity Nonlinear maximum principle Nonlinear Picone’s identityGeneral Mathematics010102 general mathematicsMathematical analysisLambda01 natural sciencesTerm (time)010101 applied mathematicsNonlinear systemSettore MAT/05 - Analisi Matematicap-Laplacian0101 mathematicsParametric statisticsMathematics
researchProduct

Rings with algebraic n-engel elements

1994

(1994). Rings with algebraic n-engel elements. Communications in Algebra: Vol. 22, No. 5, pp. 1685-1701.

Pure mathematicsRing theoryAlgebra and Number TheoryDerived algebraic geometryFunction field of an algebraic varietyScheme (mathematics)Local ringVon Neumann regular ringCommutative algebraAlgebraic numberANÉIS E ÁLGEBRAS ASSOCIATIVOSMathematics
researchProduct

Qualitative analysis of matrix splitting methods

2001

Abstract Qualitative properties of matrix splitting methods for linear systems with tridiagonal and block tridiagonal Stieltjes-Toeplitz matrices are studied. Two particular splittings, the so-called symmetric tridiagonal splittings and the bidiagonal splittings, are considered, and conditions for qualitative properties like nonnegativity and shape preservation are shown for them. Special attention is paid to their close relation to the well-known splitting techniques like regular and weak regular splitting methods. Extensions to block tridiagonal matrices are given, and their relation to algebraic representations of domain decomposition methods is discussed. The paper is concluded with ill…

Pure mathematicsSOR methodTridiagonal matrixLinear systemBlock (permutation group theory)Tridiagonal matrix algorithmDomain decomposition methodsComputer Science::Numerical AnalysisStieltjes-Toeplitz matricesMathematics::Numerical AnalysisAlgebraComputational MathematicsQualitative analysisComputational Theory and MathematicsMatrix splittingModeling and SimulationModelling and SimulationMatrix splitting methodsRegular and weak regular splittingsDomain decompositionAlgebraic numberQualitative analysisMathematicsComputers & Mathematics with Applications
researchProduct

Fibered aspects of Yoneda's regular span

2018

In this paper we start by pointing out that Yoneda's notion of a regular span $S \colon \mathcal{X} \to \mathcal{A} \times \mathcal{B}$ can be interpreted as a special kind of morphism, that we call fiberwise opfibration, in the 2-category $\mathsf{Fib}(\mathcal{A})$. We study the relationship between these notions and those of internal opfibration and two-sided fibration. This fibrational point of view makes it possible to interpret Yoneda's Classification Theorem given in his 1960 paper as the result of a canonical factorization, and to extend it to a non-symmetric situation, where the fibration given by the product projection $Pr_0 \colon \mathcal{A} \times \mathcal{B} \to \mathcal{A}$ i…

Pure mathematicsSpan (category theory)FibrationAlgebraic structureGeneral MathematicsCohomology; Crossed extension; Fibration; Regular spanFibered knot01 natural sciencesCohomologyMorphismMathematics::Category Theory0103 physical sciencesFOS: MathematicsClassification theoremCategory Theory (math.CT)0101 mathematicsMathematicsCrossed extension010102 general mathematicsFibrationMathematics - Category TheoryMathematics - Rings and AlgebrasSettore MAT/02 - AlgebraTransfer (group theory)Regular spanRings and Algebras (math.RA)Product (mathematics)010307 mathematical physics
researchProduct