Search results for "General Mathematics"

showing 10 items of 3795 documents

Nonlinear Nonhomogeneous Robin Problems with Almost Critical and Partially Concave Reaction

2020

We consider a nonlinear Robin problem driven by a nonhomogeneous differential operator, with reaction which exhibits the competition of two Caratheodory terms. One is parametric, $$(p-1)$$-sublinear with a partially concave nonlinearity near zero. The other is $$(p-1)$$-superlinear and has almost critical growth. Exploiting the special geometry of the problem, we prove a bifurcation-type result, describing the changes in the set of positive solutions as the parameter $$\lambda >0$$ varies.

Competition phenomenacompetition phenomenanonlinear maximum principleAlmost critical growthLambda01 natural sciencesSet (abstract data type)symbols.namesakeMathematics - Analysis of PDEsSettore MAT/05 - Analisi Matematica0103 physical sciencesFOS: Mathematics0101 mathematicsbifurcation-type resultMathematicsParametric statisticsNonlinear regularity35J20 35J60010102 general mathematicsMathematical analysisZero (complex analysis)udc:517.956.2Differential operatorBifurcation-type resultalmost critical growthNonlinear systemDifferential geometryFourier analysissymbolsnonlinear regularity010307 mathematical physicsGeometry and TopologyNonlinear maximum principleStrong comparison principlestrong comparison principleAnalysis of PDEs (math.AP)
researchProduct

Learning with belief levels

2008

AbstractWe study learning of predicate logics formulas from “elementary facts,” i.e. from the values of the predicates in the given model. Several models of learning are considered, but most of our attention is paid to learning with belief levels. We propose an axiom system which describes what we consider to be a human scientist's natural behavior when trying to explore these elementary facts. It is proved that no such system can be complete. However we believe that our axiom system is “practically” complete. Theorems presented in the paper in some sense confirm our hypothesis.

CompletenessAxiom systemsbusiness.industryComputer Networks and CommunicationsApplied Mathematics010102 general mathematicsInductive inference02 engineering and technologyInductive reasoning01 natural sciencesBelief levelsPredicate (grammar)EpistemologyTheoretical Computer ScienceTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESComputational Theory and Mathematics020204 information systems0202 electrical engineering electronic engineering information engineeringLearningArtificial intelligence0101 mathematicsbusinessAction axiomAxiomMathematicsJournal of Computer and System Sciences
researchProduct

A Lebesgue-type decomposition for non-positive sesquilinear forms

2018

A Lebesgue-type decomposition of a (non necessarily non-negative) sesquilinear form with respect to a non-negative one is studied. This decomposition consists of a sum of three parts: two are dominated by an absolutely continuous form and a singular non-negative one, respectively, and the latter is majorized by the product of an absolutely continuous and a singular non-negative forms. The Lebesgue decomposition of a complex measure is given as application.

Complex measurePure mathematicsSesquilinear formType (model theory)Lebesgue integration01 natural sciencesRegularitysymbols.namesakeSettore MAT/05 - Analisi MatematicaLebesgue decomposition0103 physical sciencesDecomposition (computer science)Complex measureFOS: Mathematics0101 mathematicsMathematicsMathematics::Functional AnalysisSingularitySesquilinear formApplied Mathematics010102 general mathematicsAbsolute continuityFunctional Analysis (math.FA)Mathematics - Functional Analysis47A07 15A63 28A12 47A12Product (mathematics)symbols010307 mathematical physicsNumerical range
researchProduct

Complex singularities in KdV solutions

2016

In the small dispersion regime, the KdV solution exhibits rapid oscillations in its spatio-temporal dependence. We show that these oscillations are caused by the presence of complex singularities that approach the real axis. We give a numerical estimate of the asymptotic dynamics of the poles.

Complex singularities Padé approximation Borel and power series methods Dispersive shocksApplied MathematicsGeneral MathematicsNumerical analysis010102 general mathematicsMathematical analysis01 natural sciences010305 fluids & plasmasAsymptotic dynamics0103 physical sciencesPadé approximantGravitational singularity0101 mathematicsAlgebra over a fieldKorteweg–de Vries equationDispersion (water waves)Complex planeMathematics
researchProduct

Determining a Random Schrödinger Operator : Both Potential and Source are Random

2020

We study an inverse scattering problem associated with a Schr\"odinger system where both the potential and source terms are random and unknown. The well-posedness of the forward scattering problem is first established in a proper sense. We then derive two unique recovery results in determining the rough strengths of the random source and the random potential, by using the corresponding far-field data. The first recovery result shows that a single realization of the passive scattering measurements uniquely recovers the rough strength of the random source. The second one shows that, by a single realization of the backscattering data, the rough strength of the random potential can be recovered…

Complex systemMicrolocal analysis01 natural sciencesinversio-ongelmatsähkömagneettinen säteilysymbols.namesakeOperator (computer programming)Mathematics - Analysis of PDEs0103 physical sciencessironta0101 mathematicsMathematical PhysicsMathematics35Q60 35J05 31B10 35R30 78A40osittaisdifferentiaaliyhtälötScattering010102 general mathematicsMathematical analysisErgodicityStatistical and Nonlinear PhysicsInverse scattering problemsymbols010307 mathematical physicsmatemaattiset mallitRealization (probability)Schrödinger's cat
researchProduct

A note on Fréchet and approximate subdifferentials of composite functions

1994

The aim of this note is to present in the reflexive Banach space setting a natural and simple proof of the formula of the approximate subdifferential of a composite function.

Composite functionMathematics::Functional AnalysisPure mathematicsSimple (abstract algebra)General MathematicsComposite numberBanach spaceSubderivativeMathematicsBulletin of the Australian Mathematical Society
researchProduct

Spectral approach to the scattering map for the semi-classical defocusing Davey–Stewartson II equation

2019

International audience; The inverse scattering approach for the defocusing Davey–Stewartson II equation is given by a system of D-bar equations. We present a numerical approach to semi-classical D-bar problems for real analytic rapidly decreasing potentials. We treat the D-bar problem as a complex linear second order integral equation which is solved with discrete Fourier transforms complemented by a regularization of the singular parts by explicit analytic computation. The resulting algebraic equation is solved either by fixed point iterations or GMRES. Several examples for small values of the semi-classical parameter in the system are discussed.

ComputationFOS: Physical sciences010103 numerical & computational mathematicsFixed point01 natural sciencesRegularization (mathematics)[MATH.MATH-MP]Mathematics [math]/Mathematical Physics [math-ph]Davey-Stewartson equationsFOS: MathematicsApplied mathematicsMathematics - Numerical Analysis0101 mathematics[MATH]Mathematics [math]Mathematics[PHYS]Physics [physics]Nonlinear Sciences - Exactly Solvable and Integrable SystemsScattering010102 general mathematicsStatistical and Nonlinear PhysicsD-bar problemsNumerical Analysis (math.NA)Condensed Matter PhysicsFourier spectral methodGeneralized minimal residual methodIntegral equationAlgebraic equationInverse scattering problemExactly Solvable and Integrable Systems (nlin.SI)Limit
researchProduct

Computation of Yvon-Villarceau circles on Dupin cyclides and construction of circular edge right triangles on tori and Dupin cyclides

2014

Ring Dupin cyclides are non-spherical algebraic surfaces of degree four that can be defined as the image by inversion of a ring torus. They are interesting in geometric modeling because: (1) they have several families of circles embedded on them: parallel, meridian, and Yvon-Villarceau circles, and (2) they are characterized by one parametric equation and two equivalent implicit ones, allowing for better flexibility and easiness of use by adopting one representation or the other, according to the best suitability for a particular application. These facts motivate the construction of circular edge triangles lying on Dupin cyclides and exhibiting the aforementioned properties. Our first contr…

ComputationRing torusDupin cyclide02 engineering and technology01 natural sciencesVillarceau circlesCombinatorics[INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]Algebraic surface0202 electrical engineering electronic engineering information engineering[INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO][INFO]Computer Science [cs]0101 mathematicsParametric equationRight triangleComputingMilieux_MISCELLANEOUSMathematics[INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]010102 general mathematicsInversion020207 software engineeringTorus[INFO.INFO-GR]Computer Science [cs]/Graphics [cs.GR]Computational MathematicsCircular edge right triangleComputational Theory and MathematicsModeling and Simulation[INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV]Yvon-Villarceau circleRing Dupin cyclide[INFO.INFO-DC]Computer Science [cs]/Distributed Parallel and Cluster Computing [cs.DC]Geometric modeling
researchProduct

𝒦-convergence as a new tool in numerical analysis

2019

Abstract We adapt the concept of $\mathscr{K}$-convergence of Young measures to the sequences of approximate solutions resulting from numerical schemes. We obtain new results on pointwise convergence of numerical solutions in the case when solutions of the limit continuous problem possess minimal regularity. We apply the abstract theory to a finite volume method for the isentropic Euler system describing the motion of a compressible inviscid fluid. The result can be seen as a nonlinear version of the fundamental Lax equivalence theorem.

Computational MathematicsApplied MathematicsGeneral MathematicsNumerical analysis010102 general mathematicsApplied mathematics010103 numerical & computational mathematicsConvergence (relationship)0101 mathematics01 natural sciencesMathematicsIMA Journal of Numerical Analysis
researchProduct

How Low Can Approximate Degree and Quantum Query Complexity Be for Total Boolean Functions?

2012

It has long been known that any Boolean function that depends on n input variables has both degree and exact quantum query complexity of Omega(log n), and that this bound is achieved for some functions. In this paper we study the case of approximate degree and bounded-error quantum query complexity. We show that for these measures the correct lower bound is Omega(log n / loglog n), and we exhibit quantum algorithms for two functions where this bound is achieved.

Computational complexity theoryGeneral MathematicsFOS: Physical sciences0102 computer and information sciences02 engineering and technology01 natural sciencesUpper and lower boundsTheoretical Computer ScienceComplexity indexCombinatorics0202 electrical engineering electronic engineering information engineeringBoolean functionMathematicsQuantum computerDiscrete mathematicsQuantum PhysicsApproximation theoryDegree (graph theory)TheoryofComputation_GENERALApproximation algorithmComputational MathematicsComputational Theory and Mathematics010201 computation theory & mathematics020201 artificial intelligence & image processingQuantum algorithmQuantum Physics (quant-ph)Quantum complexity theory2013 IEEE Conference on Computational Complexity
researchProduct