Search results for "Infinity"

showing 10 items of 74 documents

Radó-Kneser-Choquet Theorem for simply connected domains (p-harmonic setting)

2018

A remarkable result known as Rad´o-Kneser-Choquet theorem asserts that the harmonic extension of a homeomorphism of the boundary of a Jordan domain ⌦ ⇢ R2 onto the boundary of a convex domain Q ⇢ R2 takes ⌦ di↵eomorphically onto Q . Numerous extensions of this result for linear and nonlinear elliptic PDEs are known, but only when ⌦ is a Jordan domain or, if not, under additional assumptions on the boundary map. On the other hand, the newly developed theory of Sobolev mappings between Euclidean domains and Riemannian manifolds demands to extend this theorem to the setting on simply connected domains. This is the primary goal of our article. The class of the p -harmonic equations is wide enou…

Discrete mathematicsApplied MathematicsGeneral Mathematics010102 general mathematicsta111Semi-locally simply connectedHarmonic (mathematics)01 natural sciences010101 applied mathematicsfunktioteoriap-harmonic equationSimply connected spaceharmonic mappingsmonotone mappings0101 mathematicsCauchy's integral theoremfunktionaalianalyysiSimply connected at infinityMathematicsTransactions of the American Mathematical Society
researchProduct

Embedding finite linear spaces in projective planes, II

1987

Abstract It is shown that a finite linear space with maximal point degree n + 1 can be embedded in a projective plane of order n, provided that the line sizes are big enough.

Discrete mathematicsLine at infinityFano planeTheoretical Computer ScienceCombinatoricsReal projective lineReal projective planeDuality (projective geometry)Finite geometryProjective spaceDiscrete Mathematics and CombinatoricsProjective planeComputer Science::DatabasesMathematicsDiscrete Mathematics
researchProduct

On the best Lipschitz extension problem for a discrete distance and the discrete ∞-Laplacian

2012

Abstract This paper concerns the best Lipschitz extension problem for a discrete distance that counts the number of steps. We relate this absolutely minimizing Lipschitz extension with a discrete ∞-Laplacian problem, which arises as the dynamic programming formula for the value function of some e -tug-of-war games. As in the classical case, we obtain the absolutely minimizing Lipschitz extension of a datum f by taking the limit as p → ∞ in a nonlocal p -Laplacian problem.

Discrete mathematicsMathematics(all)General MathematicsApplied MathematicsMathematics::Analysis of PDEsTug-of-war gamesExtension (predicate logic)Lipschitz continuityDynamic programmingLipschitz domainBellman equationInfinity LaplacianNonlocal p-Laplacian problemLimit (mathematics)Lipschitz extensionLaplacian matrixLaplace operatorMathematicsJournal de Mathématiques Pures et Appliquées
researchProduct

Graphs of stable maps from closed surfaces to the projective plane

2018

Abstract We describe how to attach a weighted graph to each stable map from closed surfaces to projective plane and prove that any weighted graph with non negatively weighted vertices is the graph of some stable map from a closed surface to the projective plane.

Discrete mathematicsPlane curve010102 general mathematicsLine at infinity01 natural sciencesPlanar graph010101 applied mathematicsCombinatoricssymbols.namesakeBlocking setReal projective planesymbolsProjective spaceGeometry and TopologyProjective plane0101 mathematicsPencil (mathematics)MathematicsTopology and its Applications
researchProduct

Embedding linear spaces with two line degrees in finite projective planes

1986

In this paper we shall classify all finite linear spaces with line degrees n and n-k having at most n2+n+1 lines. As a consequence of this classification it follows: If n is large compared with k, then any such linear space can be embedded in a projective plane of order n−1 or n.

Discrete mathematicsPure mathematicsReal projective lineReal projective planeDuality (projective geometry)Finite geometryProjective spaceLine at infinityGeometry and TopologyFano planeProjective planeMathematicsJournal of Geometry
researchProduct

Transformations by diagonal matrices in a normed space

1962

Discrete mathematicsStrictly convex spaceComputational MathematicsNormed algebraBs spaceApplied MathematicsVanish at infinityPseudometric spaceContinuous functions on a compact Hausdorff spaceDual normMathematicsNormed vector spaceNumerische Mathematik
researchProduct

A RADIATION CONDITION FOR UNIQUENESS IN A WAVE PROPAGATION PROBLEM FOR 2-D OPEN WAVEGUIDES

2009

We study the uniqueness of solutions of Helmholtz equation for a problem that concerns wave propagation in waveguides. The classical radiation condition does not apply to our problem because the inhomogeneity of the index of refraction extends to infinity in one direction. Also, because of the presence of a waveguide, some waves propagate in one direction with different propagation constants and without decaying in amplitude. Our main result provides an explicit condition for uniqueness which takes into account the physically significant components, corresponding to guided and non-guided waves; this condition reduces to the classical Sommerfeld-Rellich condition in the relevant cases. Final…

Electromagnetic fieldAsymptotic analysisHelmholtz equationWave propagationGeneral Mathematicsmedia_common.quotation_subject78A40 35J05 78A50 35A05Mathematical analysisGeneral Engineeringelectromagnetic fields • wave propagation • Helmholtz equation • optical waveguides • uniqueness of solutions • radiation conditionInfinitylaw.inventionAmplitudeMathematics - Analysis of PDEslawFOS: Mathematicswave propagation; Helmholtz equation; optical waveguides; radiation condition; uniqueness theoremsUniquenessWaveguidemedia_commonMathematicsAnalysis of PDEs (math.AP)
researchProduct

H∞ static output-feedback control design with constrained information for offshore wind turbine system

2013

Abstract This paper deals with H ∞ static output-feedback control design with constrained information for offshore wind turbines. Constrained information indicates that a special zero–nonzero structure is imposed on the static output-feedback gain matrix. A practical use of such an approach is to design a decentralized controller for a wind turbine. This will also benefit the controller in such a way that it is more tolerant to sensor failure. Furthermore, the model under consideration is obtained by using the wind turbine simulation software FAST. Sufficient conditions to design an H ∞ controller are given in terms of Linear Matrix Inequalities ( LMI s ). Simulation results are given to il…

EngineeringComputer Networks and Communicationsbusiness.industryApplied MathematicsControl (management)Structure (category theory)Control engineeringcomputer.software_genreTurbineSimulation softwareOffshore wind powerMatrix (mathematics)H-infinity methods in control theoryControl and Systems EngineeringControl theorySignal ProcessingbusinesscomputerJournal of the Franklin Institute
researchProduct

Planar systems with critical points: multiple solutions of two-point nonlinear boundary value problems

2005

Abstract Two-point boundary value problems for the second-order ordinary nonlinear differential equations are considered. First, we consider the planar systems equivalent to equation x ″ = f ( x ) , where f ( x ) has multiple zeros and the respective system has centers and saddle points in various combinations. Estimations of the number of solutions are given. Then results are extended to nonautonomous equations which have superlinear behavior at infinity.

Equilibrium pointApplied Mathematicsmedia_common.quotation_subjectMathematical analysisMixed boundary conditionInfinityPlanarSaddle pointFree boundary problemPoint (geometry)Boundary value problemAnalysisMathematicsmedia_commonNonlinear Analysis: Theory, Methods & Applications
researchProduct

Finite Model Reasoning in Expressive Fragments of First-Order Logic

2017

Over the past two decades several fragments of first-order logic have been identified and shown to have good computational and algorithmic properties, to a great extent as a result of appropriately describing the image of the standard translation of modal logic to first-order logic. This applies most notably to the guarded fragment, where quantifiers are appropriately relativized by atoms, and the fragment defined by restricting the number of variables to two. The aim of this talk is to review recent work concerning these fragments and their popular extensions. When presenting the material special attention is given to decision procedures for the finite satisfiability problems, as many of t…

FOS: Computer and information sciencesComputer Science - Logic in Computer ScienceTheoretical computer scienceComputer sciencelcsh:Mathematicsmedia_common.quotation_subjectModal logicContext (language use)lcsh:QA1-939InfinityTranslation (geometry)lcsh:QA75.5-76.95Logic in Computer Science (cs.LO)First-order logicImage (mathematics)TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESFragment (logic)F.4.1lcsh:Electronic computers. Computer scienceAxiommedia_commonElectronic Proceedings in Theoretical Computer Science
researchProduct