scholarly journals Osculating hypersurfaces of higher order

2011 ◽  
Vol 52 ◽  
Author(s):  
Kazimieras Navickis
Keyword(s):  
Differential Geometry ◽  
Higher Order ◽  
Second Order ◽  
Classical Differential Geometry ◽  
Derivatives Of

Oscurating surfaces of second order have been studied in classical differential geometry [1]. In this article we generalize this notion to osculating hyper-surfaces of higher order of hyper-surfaces inEuclidean n-space. Various related results are obtained using the derivatives of higher order.   

scholarly journals Affine differential geometry of osculating hypersurfaces

2012 ◽  
Vol 53 ◽  
pp. 37-41
Author(s):  
Kazimieras Navickis
Keyword(s):  
Differential Geometry ◽  
Higher Order ◽  
Second Order ◽  
Affine Differential Geometry ◽  
Local Properties ◽  
Derivatives Of

Osculating surfaces of second order have been studied in classical affine differential geometry [1].  In this article we generalize this notion to osculating hypersurfaces of higher order of hypersurfaces in Euclidean n-space. Various geometric interpretations are given. This yields a affinely invariant consideration of the local properties of a given hypersurface which depend on the derivatives of higher order.

scholarly journals Osculating surfaces of curves on surfaces

2020 ◽  
Vol 55 ◽  
Author(s):  
Kazimieras Navickis
Keyword(s):  
Differential Geometry ◽  
Euclidean Space ◽  
Higher Order ◽  
Space Curves ◽  
Classical Differential Geometry ◽  
Surfaces In Euclidean Space ◽  
Curves On Surfaces

Oosculating sphere have been studied in classical differential geometry [1]. In this article the osculating surfaces of higher order of space curves on surfaces in Euclidean space is considered. We study the intrinsic differential geometry of curves  on surfaces by analyzing their contact with surfaces of higher order.

scholarly journals Osculating curves and surfaces

2012 ◽  
Vol 54 ◽  
Author(s):  
Kazimieras Navickis
Keyword(s):  
Differential Geometry ◽  
Higher Order ◽  
Space Curves ◽  
Curves And Surfaces ◽  
Classical Differential Geometry

Osculating circle and osculating sphere have been studied in classical differential geometry [1]. In this article the osculating curves and surfaces of higher order of plane and space curves in Euclideann-space (n = 2, 3) is considered. We study the intrinsic differential geometry of curves by analyzing their contact with curves and surfaces of higher order.

scholarly journals Adjoint-based methods to compute higher-order topological derivatives with an application to elasticity

2021 ◽  
Vol ahead-of-print (ahead-of-print) ◽  
Author(s):  
Phillip Baumann ◽  
Kevin Sturm
Keyword(s):  
Linear Elasticity ◽  
Problem Formulation ◽  
Short Review ◽  
Higher Order ◽  
Second Order ◽  
Adjoint Variable ◽  
Content Type ◽  
Lagrangian Framework ◽  
Topological Derivatives ◽  
Derivatives Of

PurposeThe goal of this paper is to give a comprehensive and short review on how to compute the first- and second-order topological derivatives and potentially higher-order topological derivatives for partial differential equation (PDE) constrained shape functionals.Design/methodology/approachThe authors employ the adjoint and averaged adjoint variable within the Lagrangian framework and compare three different adjoint-based methods to compute higher-order topological derivatives. To illustrate the methodology proposed in this paper, the authors then apply the methods to a linear elasticity model.FindingsThe authors compute the first- and second-order topological derivatives of the linear elasticity model for various shape functionals in dimension two and three using Amstutz' method, the averaged adjoint method and Delfour's method.Originality/valueIn contrast to other contributions regarding this subject, the authors not only compute the first- and second-order topological derivatives, but additionally give some insight on various methods and compare their applicability and efficiency with respect to the underlying problem formulation.

scholarly journals Higher Order Elastic Constants, Gruneisen Parameters and Lattice Thermal Expansion of Lithium Niobate

2006 ◽  
Vol 3 (3) ◽  
pp. 122-133 ◽  
Author(s):  
Thresiamma Philip ◽  
C. S. Menon ◽  
K. Indulekha
Keyword(s):  
Energy Density ◽  
Lithium Niobate ◽  
Elastic Constants ◽  
Elastic Stiffness ◽  
Higher Order ◽  
Second Order ◽  
Third Order ◽  
Third Order Elastic Constants ◽  
Gruneisen Parameters ◽  
Derivatives Of

The second and third-order elastic constants and pressure derivatives of second- order elastic constants of trigonal LiNbO3(lithium niobate) have been obtained using the deformation theory. The strain energy density estimated using finite strain elasticity is compared with the strain dependent lattice energy density obtained from the elastic continuum model approximation. The second-order elastic constants and the non-vanishing third-order elastic constants along with the pressure derivatives of trigonal LiNbO3are obtained in the present work. The second and third-order elastic constants are compared with available experimental values. The second-order elastic constant C11which corresponds to the elastic stiffness along the basal plane of the crystal is less than C33which corresponds to the elastic stiffness tensor component along thec-axis of the crystal. The pressure derivatives, dC'ij/dp obtained in the present work, indicate that trigonal LiNbO3is compressible. The higher order elastic constants are used to find the generalized Gruneisen parameters of the elastic waves propagating in different directions in LiNbO3. The Brugger gammas are evaluated and the low temperature limit of the Gruneisen gamma is obtained. The results are compared with available reported values.

Optimal control of higher order differential inclusions with functional constraints

2020 ◽  
Vol 26 ◽  
pp. 37 ◽  
Author(s):  
Elimhan N. Mahmudov
Keyword(s):  
Optimal Control ◽  
Optimality Conditions ◽  
Differential Inclusion ◽  
Differential Inclusions ◽  
Higher Order ◽  
Second Order ◽  
Sufficient Optimality Conditions ◽  
Functional Constraints ◽  
Complementary Slackness ◽  
Complementary Slackness Conditions

The present paper studies the Mayer problem with higher order evolution differential inclusions and functional constraints of optimal control theory (PFC); to this end first we use an interesting auxiliary problem with second order discrete-time and discrete approximate inclusions (PFD). Are proved necessary and sufficient conditions incorporating the Euler–Lagrange inclusion, the Hamiltonian inclusion, the transversality and complementary slackness conditions. The basic concept of obtaining optimal conditions is locally adjoint mappings and equivalence results. Then combining these results and passing to the limit in the discrete approximations we establish new sufficient optimality conditions for second order continuous-time evolution inclusions. This approach and results make a bridge between optimal control problem with higher order differential inclusion (PFC) and constrained mathematical programming problems in finite-dimensional spaces. Formulation of the transversality and complementary slackness conditions for second order differential inclusions play a substantial role in the next investigations without which it is hardly ever possible to get any optimality conditions; consequently, these results are generalized to the problem with an arbitrary higher order differential inclusion. Furthermore, application of these results is demonstrated by solving some semilinear problem with second and third order differential inclusions.

scholarly journals Preserving the Shape of Functions by Applying Multidimensional Schoenberg-Type Operators

Symmetry ◽  
2021 ◽  
Vol 13 (6) ◽  
pp. 1016
Author(s):  
Camelia Liliana Moldovan ◽  
Radu Păltănea
Keyword(s):  
Applied Sciences ◽  
Degree Of Approximation ◽  
Higher Order ◽  
Second Order ◽  
Dimensional Case ◽  
Moduli Of Continuity ◽  
One Dimensional ◽  
Multidimensional Generalization ◽  
The One

The paper presents a multidimensional generalization of the Schoenberg operators of higher order. The new operators are powerful tools that can be used for approximation processes in many fields of applied sciences. The construction of these operators uses a symmetry regarding the domain of definition. The degree of approximation by sequences of such operators is given in terms of the first and the second order moduli of continuity. Extending certain results obtained by Marsden in the one-dimensional case, the property of preservation of monotonicity and convexity is proved.

scholarly journals Higher order Hamiltonian Monte Carlo sampling for cosmological large-scale structure analysis

2021 ◽  
Vol 502 (3) ◽  
pp. 3976-3992
Author(s):  
Mónica Hernández-Sánchez ◽  
Francisco-Shu Kitaura ◽  
Metin Ata ◽  
Claudio Dalla Vecchia
Keyword(s):  
Fourth Order ◽  
Large Scale ◽  
Equations Of Motion ◽  
Large Scale Structure ◽  
Real Space ◽  
Higher Order ◽  
Second Order ◽  
Scale Structure ◽  
Integration Schemes ◽  
Reconstruction Methods

ABSTRACT We investigate higher order symplectic integration strategies within Bayesian cosmic density field reconstruction methods. In particular, we study the fourth-order discretization of Hamiltonian equations of motion (EoM). This is achieved by recursively applying the basic second-order leap-frog scheme (considering the single evaluation of the EoM) in a combination of even numbers of forward time integration steps with a single intermediate backward step. This largely reduces the number of evaluations and random gradient computations, as required in the usual second-order case for high-dimensional cases. We restrict this study to the lognormal-Poisson model, applied to a full volume halo catalogue in real space on a cubical mesh of 1250 h−1 Mpc side and 2563 cells. Hence, we neglect selection effects, redshift space distortions, and displacements. We note that those observational and cosmic evolution effects can be accounted for in subsequent Gibbs-sampling steps within the COSMIC BIRTH algorithm. We find that going from the usual second to fourth order in the leap-frog scheme shortens the burn-in phase by a factor of at least ∼30. This implies that 75–90 independent samples are obtained while the fastest second-order method converges. After convergence, the correlation lengths indicate an improvement factor of about 3.0 fewer gradient computations for meshes of 2563 cells. In the considered cosmological scenario, the traditional leap-frog scheme turns out to outperform higher order integration schemes only when considering lower dimensional problems, e.g. meshes with 643 cells. This gain in computational efficiency can help to go towards a full Bayesian analysis of the cosmological large-scale structure for upcoming galaxy surveys.

scholarly journals Higher-order Recursion Schemes and Collapsible Pushdown Automata: Logical Properties

2021 ◽  
Vol 22 (2) ◽  
pp. 1-37
Author(s):  
Christopher H. Broadbent ◽  
Arnaud Carayol ◽  
C.-H. Luke Ong ◽  
Olivier Serre
Keyword(s):  
Model Checking ◽  
Free Variable ◽  
Higher Order ◽  
Second Order ◽  
Effective Solution ◽  
Parity Games ◽  
Transition Graphs ◽  
Second Order Logic ◽  
Pushdown Automata ◽  
Monadic Second Order Logic

This article studies the logical properties of a very general class of infinite ranked trees, namely, those generated by higher-order recursion schemes. We consider, for both monadic second-order logic and modal -calculus, three main problems: model-checking, logical reflection (a.k.a. global model-checking, that asks for a finite description of the set of elements for which a formula holds), and selection (that asks, if exists, for some finite description of a set of elements for which an MSO formula with a second-order free variable holds). For each of these problems, we provide an effective solution. This is obtained, thanks to a known connection between higher-order recursion schemes and collapsible pushdown automata and on previous work regarding parity games played on transition graphs of collapsible pushdown automata.

Sign in / Sign up

Export Citation Format

Share Document