Search results for "model theory"

showing 10 items of 681 documents

Rocking behaviour of multi-block columns subjected to pulse-typeground motion accelerations

2016

Ancient columns, made with a variety of materials such as marble, granite, stone or masonry are an important part of theEuropean cultural heritage. In particular columns of ancient temples in Greece and Sicily which support only the architrave arecharacterized by small axial load values. This feature together with the slenderness typical of these structural members clearlyhighlights as the evaluation of the rocking behaviour is a key aspect of their safety assessment and maintenance. It has to be notedthat the rocking response of rectangular cross-sectional columns modelled as monolithic rigid elements, has been widely investigatedsince the first theoretical study carried out by Housner (19…

rocking multiple blocksFeature (archaeology)business.industryColumnNumerical analysiNumerical analysisEquations of motion020101 civil engineering02 engineering and technologyStructural engineeringBuilding and ConstructionType (model theory)MasonryDiscrete element method0201 civil engineeringAcceleration020303 mechanical engineering & transports0203 mechanical engineeringBlock (programming)RockingOverturningbusinessGeologyEquation of motion
researchProduct

High precision numerical approach for Davey–Stewartson II type equations for Schwartz class initial data

2020

We present an efficient high-precision numerical approach for Davey–Stewartson (DS) II type equa- tions, treating initial data from the Schwartz class of smooth, rapidly decreasing functions. As with previous approaches, the presented code uses discrete Fourier transforms for the spatial dependence and Driscoll’s composite Runge–Kutta method for the time dependence. Since DS equations are non-local, nonlinear Schrödinger equations with a singular symbol for the non-locality, standard Fourier methods in practice only reach accuracy of the order of 10−6or less for typical examples. This was previously demonstrated for the defocusing integrable case by comparison with a numerical approach for …

semiclassical limitClass (set theory)General MathematicsGeneral Physics and AstronomywaveType (model theory)01 natural sciences010305 fluids & plasmasDavey-Stewartson equationsevolution0103 physical sciencesApplied mathematics[MATH]Mathematics [math]0101 mathematicsMathematicsInverse scattering transform010102 general mathematicsGeneral EngineeringD-bar problemsFourier spectral methodsimulationkadomtsev-petviashviliinverse scattering transformpacketssystemsSolitonsolitonblow-upProceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences
researchProduct

Shape identification in inverse medium scattering problems with a single far-field pattern

2016

Consider time-harmonic acoustic scattering from a bounded penetrable obstacle $D\subset {\mathbb R}^N$ embedded in a homogeneous background medium. The index of refraction characterizing the material inside $D$ is supposed to be Holder continuous near the corners. If $D\subset {\mathbb R}^2$ is a convex polygon, we prove that its shape and location can be uniquely determined by the far-field pattern incited by a single incident wave at a fixed frequency. In dimensions $N \geq 3$, the uniqueness applies to penetrable scatterers of rectangular type with additional assumptions on the smoothness of the contrast. Our arguments are motivated by recent studies on the absence of nonscattering waven…

shape identificationInversenonscattering wavenumbersType (model theory)Convex polygon01 natural sciencesinverse medium scatteringMathematics - Analysis of PDEs78A46FOS: MathematicsWavenumberUniquenessHelmholtz equation0101 mathematicsMathematicsSmoothness (probability theory)ScatteringApplied Mathematics010102 general mathematicsMathematical analysista111uniqueness74B05010101 applied mathematicsComputational Mathematics35R30Bounded functionAnalysisAnalysis of PDEs (math.AP)SIAM Journal on Mathematical Analysis
researchProduct

A Sub-Supersolution Approach for Robin Boundary Value Problems with Full Gradient Dependence

2020

The paper investigates a nonlinear elliptic problem with a Robin boundary condition, which exhibits a convection term with full dependence on the solution and its gradient. A sub- supersolution approach is developed for this type of problems. The main result establishes the existence of a solution enclosed in the ordered interval formed by a sub-supersolution. The result is applied to find positive solutions.

sub-supersolutionConvectionlcsh:MathematicsGeneral Mathematics010102 general mathematicsMathematics::Analysis of PDEsInterval (mathematics)Robin boundary conditionType (model theory)lcsh:QA1-93901 natural sciencesRobin boundary conditionTerm (time)010101 applied mathematicsNonlinear systemnonlinear elliptic problemSettore MAT/05 - Analisi Matematicapositive solutiongradient dependenceComputer Science (miscellaneous)Applied mathematicsBoundary value problem0101 mathematicsEngineering (miscellaneous)MathematicsMathematics
researchProduct

Poincare Inequalities and Spectral Gap, Concentration Phenomenon for G-Measures

2002

We produce a new approach based upon inequalities of Poincare’s type for giving constructive estimates of the mixing rate for a family of mixing stationary processes continuously depending on their past called g-measures. We establish also exponential inequalities of Hoeffding’s type leading to a concentration phenomenon for a large class of observables; this last property permits in particular to give the typical behaviour of the n-orbits of a g-measure.

symbols.namesakeDirichlet formMathematical analysissymbolsSpectral gapProduct topologyGibbs measureType (model theory)ConstructiveMixing (physics)MathematicsExponential function
researchProduct

Regularity of a Degenerated Convolution Semi-Group Without to Use the Poisson Process

2011

We translate in semi-group theory our regularity result for a degenerated convolution semi-group got by the Malliavin Calculus of Bismut type for Poisson processes.

symbols.namesakePure mathematicsMathematics::ProbabilityGroup (mathematics)symbolsPoisson processType (model theory)Poisson distributionMalliavin calculusMathematicsConvolution
researchProduct

Justification of point electrode models in electrical impedance tomography

2011

The most accurate model for real-life electrical impedance tomography is the complete electrode model, which takes into account electrode shapes and (usually unknown) contact impedances at electrode-object interfaces. When the electrodes are small, however, it is tempting to formally replace them by point sources. This simplifies the model considerably and completely eliminates the effect of contact impedance. In this work we rigorously justify such a point electrode model for the important case of having difference measurements ("relative data") as data for the reconstruction problem. We do this by deriving the asymptotic limit of the complete model for vanishing electrode size. This is s…

ta113Work (thermodynamics)Mathematical optimizationta112Applied MathematicsMathematical analysista111Zero (linguistics)Interpretation (model theory)Physics::Plasma PhysicsModeling and SimulationElectrodePoint (geometry)Limit (mathematics)Electrical impedanceElectrical impedance tomographyta512MathematicsMATHEMATICAL MODELS AND METHODS IN APPLIED SCIENCES
researchProduct

Synchronization of hidden chaotic attractors on the example of radiophysical oscillators

2017

In the present paper we consider the problem of synchronization of hidden and self-excited attractors in the context of application to a system of secure communication. The system of two coupled Chua models was studied. Complete synchronization was observed as for self-excited, as hidden attractors. Beside it for hidden attractors some special type of dynamic was revealed.

ta213oscillatorsbusiness.industryComputer scienceta111elektroniset piiritMathematicsofComputing_NUMERICALANALYSISChaoticContext (language use)dynamical systemsType (model theory)TopologyoskillaattoritNonlinear Sciences::Chaotic DynamicsSecure communicationSynchronization (computer science)Attractorelectronic circuitsdynaamiset systeemitbusinessBifurcation2017 Progress In Electromagnetics Research Symposium - Spring (PIERS)
researchProduct

Remarks on regularity for p-Laplacian type equations in non-divergence form

2018

We study a singular or degenerate equation in non-divergence form modeled by the $p$-Laplacian, $$-|Du|^\gamma\left(\Delta u+(p-2)\Delta_\infty^N u\right)=f\ \ \ \ \text{in}\ \ \ \Omega.$$ We investigate local $C^{1,\alpha}$ regularity of viscosity solutions in the full range $\gamma>-1$ and $p>1$, and provide local $W^{2,2}$ estimates in the restricted cases where $p$ is close to 2 and $\gamma$ is close to 0.

viscosity solutionsintegrability of second derivativesType (model theory)01 natural sciencesDivergencelocal C1ViscosityMathematics - Analysis of PDEsFOS: Mathematicspartial differential equations0101 mathematicsMathematicsMathematical physicsosittaisdifferentiaaliyhtälötα regularityApplied Mathematics010102 general mathematicsta111p-Laplacianlocal C1α regularityviskositeettiDegenerate equation35J60 35B65 35J92010101 applied mathematicsviscosityp-LaplacianAnalysisAnalysis of PDEs (math.AP)Journal of Differential Equations
researchProduct

Relaxation of a weakly discontinuous functional depending on one control function

2008

The paper considers an optimal control problem of the typewhere the set M of admissible controls consists of all measurable vector‐functions h, which can take only two values h1 or h2. It is shown that the relaxation of this problem can be explicitly computed by rank‐one laminates.

weakly discontinuous functionalMathematical analysisType (model theory)Optimal controlControl functionSet (abstract data type)elliptic systemoptimal controlrelaxationControl theoryModeling and SimulationQA1-939Relaxation (approximation)AnalysisMathematicsMathematicsMathematical Modelling and Analysis
researchProduct