Search results for "nonlinear"

showing 10 items of 3684 documents

A fractal set from the binary reflected Gray code

2005

The permutation associated with the decimal expression of the binary reflected Gray code with $N$ bits is considered. Its cycle structure is studied. Considered as a set of points, its self-similarity is pointed out. As a fractal, it is shown to be the attractor of a IFS. For large values of $N$ the set is examined from the point of view of time series analysis

Discrete mathematicsPermutation (music)FísicaGeneral Physics and AstronomyBinary numberFOS: Physical sciencesStatistical and Nonlinear PhysicsNonlinear Sciences - Chaotic DynamicsDecimalGray codeSet (abstract data type)FractalAttractorPoint (geometry)Chaotic Dynamics (nlin.CD)Mathematical PhysicsMathematics
researchProduct

On the solutions to 1-Laplacian equation with L1 data

2009

AbstractIn the present paper we study the behaviour, as p goes to 1, of the renormalized solutions to the problems(0.1){−div(|∇up|p−2∇up)=finΩ,up=0on∂Ω, where p>1, Ω is a bounded open set of RN (N⩾2) with Lipschitz boundary and f belongs to L1(Ω). We prove that these renormalized solutions pointwise converge, up to “subsequences,” to a function u. With a suitable definition of solution we also prove that u is a solution to a “limit problem.” Moreover we analyze the situation occurring when more regular data f are considered.

Discrete mathematicsPointwise1-Laplace operatorRenormalized solutionsOpen setBoundary (topology)Function (mathematics)Nonlinear elliptic equationsLipschitz continuityRenormalized solutionBounded functionSummable dataLimit (mathematics)L1-data1Laplce operatorLaplace operatorAnalysisMathematicsJournal of Functional Analysis
researchProduct

Nonlinear embeddings: Applications to analysis, fractals and polynomial root finding

2016

We introduce $\mathcal{B}_{\kappa}$-embeddings, nonlinear mathematical structures that connect, through smooth paths parameterized by $\kappa$, a finite or denumerable set of objects at $\kappa=0$ (e.g. numbers, functions, vectors, coefficients of a generating function...) to their ordinary sum at $\kappa \to \infty$. We show that $\mathcal{B}_{\kappa}$-embeddings can be used to design nonlinear irreversible processes through this connection. A number of examples of increasing complexity are worked out to illustrate the possibilities uncovered by this concept. These include not only smooth functions but also fractals on the real line and on the complex plane. As an application, we use $\mat…

Discrete mathematicsPolynomialGeneral MathematicsApplied MathematicsGeneral Physics and AstronomyParameterized complexityFOS: Physical sciencesStatistical and Nonlinear PhysicsMathematical Physics (math-ph)Pattern Formation and Solitons (nlin.PS)Nonlinear Sciences - Pattern Formation and Solitons01 natural sciencesNonlinear Sciences - Adaptation and Self-Organizing Systems010305 fluids & plasmasProperties of polynomial rootsNonlinear system0103 physical sciencesCountable setConnection (algebraic framework)010306 general physicsComplex planeReal lineAdaptation and Self-Organizing Systems (nlin.AO)Mathematical PhysicsMathematics
researchProduct

Quantum Finite Multitape Automata

1999

Quantum finite automata were introduced by C. Moore, J. P. Crutchfield [4], and by A. Kondacs and J. Watrous [3]. This notion is not a generalization of the deterministic finite automata. Moreover, in [3] it was proved that not all regular languages can be recognized by quantum finite automata. A. Ambainis and R. Freivalds [1] proved that for some languages quantum finite automata may be exponentially more concise rather than both deterministic and probabilistic finite automata. In this paper we introduce the notion of quantum finite multitape automata and prove that there is a language recognized by a quantum finite automaton but not by deterministic or probabilistic finite automata. This …

Discrete mathematicsProbabilistic finite automataFinite-state machineNested wordComputer scienceDeterministic context-free grammarTimed automatonω-automatonNonlinear Sciences::Cellular Automata and Lattice GasesAutomatonMobile automatonNondeterministic finite automaton with ε-movesDeterministic finite automatonDFA minimizationRegular languageDeterministic automatonProbabilistic automatonContinuous spatial automatonAutomata theoryQuantum finite automataTwo-way deterministic finite automatonNondeterministic finite automatonComputer Science::Formal Languages and Automata TheoryQuantum cellular automaton
researchProduct

Probabilistic Reversible Automata and Quantum Automata

2002

To study relationship between quantum finite automata and probabilistic finite automata, we introduce a notion of probabilistic reversible automata (PRA, or doubly stochastic automata). We find that there is a strong relationship between different possible models of PRA and corresponding models of quantum finite automata. We also propose a classification of reversible finite 1-way automata.

Discrete mathematicsProbabilistic finite automataNested wordComputer scienceTimed automatonω-automatonNonlinear Sciences::Cellular Automata and Lattice GasesMobile automatonAutomatonStochastic cellular automatonDeterministic finite automatonDFA minimizationContinuous spatial automatonAutomata theoryQuantum finite automataNondeterministic finite automatonComputer Science::Formal Languages and Automata TheoryQuantum cellular automaton
researchProduct

Implications of quantum automata for contextuality

2014

We construct zero error quantum finite automata (QFAs) for promise problems which cannot be solved by bounded error probabilistic finite automata (PFAs). Here is a summary of our results: There is a promise problem solvable by an exact two way QFA in exponential expected time but not by any bounded error sublogarithmic space probabilistic Turing machine (PTM). There is a promise problem solvable by an exact two way QFA in quadratic expected time but not by any bounded error o(loglogn) space PTMs in polynomial expected time. The same problem can be solvable by a one way Las Vegas (or exact two way) QFA with quantum head in linear (expected) time. There is a promise problem solvable by a Las …

Discrete mathematicsProbabilistic finite automataTheoryofComputation_COMPUTATIONBYABSTRACTDEVICESQuantum automata0102 computer and information sciencesConstruct (python library)Nonlinear Sciences::Cellular Automata and Lattice Gases01 natural sciencesKochen–Specker theoremTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES010201 computation theory & mathematics0103 physical sciencesQuantum finite automataPromise problem010306 general physicsComputer Science::Formal Languages and Automata TheoryMathematics
researchProduct

Indecomposable modules over the Virasoro Lie algebra and a conjecture of V. Kac

1991

We consider a class of indecomposable modules over the Virasoro Lie algebra that we call bounded admissible modules. We get results concerning the center and the dimensions of the weight spaces. We prove that these modules always contain a submodule with one-dimensional weight spaces. From this follows the proof of a conjecture of V. Kac concerning the classification of simple admissible modules.

Discrete mathematicsPure mathematics17B10Statistical and Nonlinear PhysicsUniversal enveloping algebraLie superalgebraAffine Lie algebra17B68Lie conformal algebraGraded Lie algebraAlgebra representationVirasoro algebraMathematics::Representation TheoryIndecomposable moduleMathematical PhysicsMathematicsCommunications in Mathematical Physics
researchProduct

Fixed-Point Theorems in Complete Gauge Spaces and Applications to Second-Order Nonlinear Initial-Value Problems

2013

We establish fixed-point results for mappings and cyclic mappings satisfying a generalized contractive condition in a complete gauge space. Our theorems generalize and extend some fixed-point results in the literature. We apply our obtained results to the study of existence and uniqueness of solution to a second-order nonlinear initial-value problem.

Discrete mathematicsPure mathematicsArticle Subjectlcsh:MathematicsFixed-point theoremGauge (firearms)Space (mathematics)lcsh:QA1-939Nonlinear systemSettore MAT/05 - Analisi MatematicaInitial value problemOrder (group theory)UniquenessCoincidence pointfixed point gauge spaces initial-value problemAnalysisMathematics
researchProduct

On a normal form of symmetric maps of [0, 1]

1980

A class of continuous symmetric mappings of [0, 1] into itself is considered leaving invariant a measure absolutely continuous with respect to the Lebesgue measure.

Discrete mathematicsPure mathematicsLebesgue measureLebesgue's number lemmaStatistical and Nonlinear Physics58F20Absolute continuityLebesgue integrationLebesgue–Stieltjes integrationsymbols.namesakeNonlinear system28D05symbolsInvariant (mathematics)Borel measureMathematical PhysicsMathematicsCommunications in Mathematical Physics
researchProduct

Farkas-Minkowski systems in semi-infinite programming

1981

The Farkas-Minkowski systems are characterized through a convex cone associated to the system, and some sufficient conditions are given that guarantee the mentioned property. The role of such systems in semi-infinite programming is studied in the linear case by means of the duality, and, in the nonlinear case, in connection with optimality conditions. In the last case the property appears as a constraint qualification.

Discrete mathematicsPure mathematicsNonlinear systemControl and OptimizationApplied MathematicsMinkowski spaceSecond-order cone programmingDuality (optimization)Constraint satisfactionSemi-infinite programmingMathematicsApplied Mathematics & Optimization
researchProduct