scholarly journals Beyond the second-order magnetic anisotropy tensor: higher-order components due to oriented magnetite exsolutions in pyroxenes, and implications for palaeomagnetic and structural interpretations

2020 ◽  
Vol 223 (2) ◽  
pp. 915-933 ◽  
Author(s):  
Andrea R Biedermann ◽  
Mike Jackson ◽  
Martin Chadima ◽  
Ann M Hirt ◽  
Joshua M Feinberg
Keyword(s):  
Magnetic Anisotropy ◽  
Orientation Distribution ◽  
Higher Order ◽  
Second Order ◽  
Rotational Hysteresis ◽  
Low Field ◽  
Magnetic Fabrics ◽  
Torque Measurements ◽  
Anisotropy Tensor ◽  
Order Components

SUMMARY Exsolved iron oxides in silicate minerals can be nearly ideal palaeomagnetic recorders, due to their single-domain-like behaviour and the protection from chemical alteration by their surrounding silicate host. Because their geometry is crystallographically controlled by the host silicate, these exsolutions possess a shape preferred orientation that is ultimately controlled by the mineral fabric of the silicates. This leads to potentially significant anisotropic acquisition of remanence, which necessitates correction to make accurate interpretations in palaeodirectional and palaeointensity studies. Here, we investigate the magnetic shape anisotropy carried by magnetite exsolutions in pyroxene single crystals, and in pyroxene-bearing rocks based on torque measurements and rotational hysteresis data. Image analysis is used to characterize the orientation distribution of oxides, from which the observed anisotropy can be modelled. Both the high-field torque signal and corresponding models contain components of higher order, which cannot be accurately described by second-order tensors usually used to describe magnetic fabrics. Conversely, low-field anisotropy data do not show this complexity and can be adequately described with second-order tensors. Hence, magnetic anisotropy of silicate-hosted exsolutions is field-dependent and this should be taken into account when interpreting isolated ferromagnetic fabrics, and in anisotropy corrections.

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.

scholarly journals Pointwise estimates for higher order convexity preserving polynomial approximation

1994 ◽  
Vol 36 (2) ◽  
pp. 213-233 ◽  
Author(s):  
Jia-Ding Cao ◽  
Heinz H. Gonska
Keyword(s):  
Polynomial Approximation ◽  
Convex Functions ◽  
Higher Order ◽  
Second Order ◽  
Convolution Type ◽  
Shape Preservation ◽  
Moduli Of Continuity ◽  
Pointwise Estimates ◽  
Higher Order Convexity ◽  
Boolean Sum

AbstractDeVore-Gopengauz-type operators have attracted some interest over the recent years. Here we investigate their relationship to shape preservation. We construct certain positive convolution-type operators Hn, s, j which leave the cones of j-convex functions invariant and give Timan-type inequalities for these. We also consider Boolean sum modifications of the operators Hn, s, j show that they basically have the same shape preservation behavior while interpolating at the endpoints of [−1, 1], and also satisfy Telyakovskiῐ- and DeVore-Gopengauz-type inequalities involving the first and second order moduli of continuity, respectively. Our results thus generalize related results by Lorentz and Zeller, Shvedov, Beatson, DeVore, Yu and Leviatan.

HIGHER ORDER COMPLEXITY OF TIME SERIES

2004 ◽  
Vol 14 (08) ◽  
pp. 2979-2990 ◽  
Author(s):  
FANJI GU ◽  
ENHUA SHEN ◽  
XIN MENG ◽  
YANG CAO ◽  
ZHIJIE CAI
Keyword(s):  
Time Series ◽  
Mental Arithmetic ◽  
Higher Order ◽  
Second Order ◽  
Stationary Time Series ◽  
Eeg Signals ◽  
Eyes Closed ◽  
Logistic Mapping ◽  
Original Time ◽  
Different Order

A concept of higher order complexity is proposed in this letter. If a randomness-finding complexity [Rapp & Schmah, 2000] is taken as the complexity measure, the first-order complexity is suggested to be a measure of randomness of the original time series, while the second-order complexity is a measure of its degree of nonstationarity. A different order is associated with each different aspect of complexity. Using logistic mapping repeatedly, some quasi-stationary time series were constructed, the nonstationarity degree of which could be expected theoretically. The estimation of the second-order complexity of these time series shows that the second-order complexities do reflect the degree of nonstationarity and thus can be considered as its indicator. It is also shown that the second-order complexities of the EEG signals from subjects doing mental arithmetic are significantly higher than those from subjects in deep sleep or resting with eyes closed.

Assessing the Use of Tensor Closure Methods With Orientation Distribution Reconstruction Functions

Materials ◽  
2003 ◽  
Author(s):  
David A. Jack ◽  
Douglas E. Smith
Keyword(s):  
Distribution Function ◽  
Fourth Order ◽  
Lower Order ◽  
Series Representation ◽  
Orientation Distribution ◽  
Higher Order ◽  
Interaction Coefficients ◽  
Order Tensor ◽  
Orientation Tensor ◽  
Orientation Tensors

Orientation tensors are widely used to describe fiber distri-butions in short fiber reinforced composite systems. Although these tensors capture the stochastic nature of concentrated fiber suspensions in a compact form, the evolution equation for each lower order tensor is a function of the next higher order tensor. Flow calculations typically employ a closure that approximates the fourth-order orientation tensor as a function of the second order orientation tensor. Recent work has been done with eigen-value based and invariant based closure approximations of the fourth-order tensor. The effect of using lower order tensors tensors in process simulations by reconstructing the distribution function from successively higher order orientation tensors in a Fourier series representation is considered. This analysis uses the property that orientation tensors are related to the series expansion coefficients of the distribution function. Errors for several closures are investigated and compared with errors developed when using a reconstruction from the exact 2nd, 4th, and 6th order orientation tensors over a range of interaction coefficients from 10−4 to 10−1 for several flow fields.

scholarly journals Higher-Order Illative Combinatory Logic

2013 ◽  
Vol 78 (3) ◽  
pp. 837-872 ◽  
Author(s):  
Łukasz Czajka
Keyword(s):  
Strong Consistency ◽  
Predicate Logic ◽  
Higher Order ◽  
Second Order ◽  
Model Construction ◽  
Partial Answer ◽  
Combinatory Logic ◽  
First Order ◽  
Propositional Quantifiers

AbstractWe show a model construction for a system of higher-order illative combinatory logic thus establishing its strong consistency. We also use a variant of this construction to provide a complete embedding of first-order intuitionistic predicate logic with second-order propositional quantifiers into the system of Barendregt, Bunder and Dekkers, which gives a partial answer to a question posed by these authors.

Higher-Order Multilevel Solvers for the EHL Line and Point Contact Problem

1994 ◽  
Vol 116 (4) ◽  
pp. 741-750 ◽  
Author(s):  
C. H. Venner
Keyword(s):  
Contact Problem ◽  
Computing Time ◽  
Point Contact ◽  
Higher Order ◽  
Second Order ◽  
Point Of View ◽  
First Order ◽  
Fundamental Point ◽  
Numerical Solver ◽  
Circular Contact

This paper addresses the development of efficient numerical solvers for EHL problems from a rather fundamental point of view. A work-accuracy exchange criterion is derived, that can be interpreted as setting a limit to the price paid in terms of computing time for a solution of a given accuracy. The criterion can serve as a guideline when reviewing or selecting a numerical solver and a discretization. Earlier developed multilevel solvers for the EHL line and circular contact problem are tested against this criterion. This test shows that, to satisfy the criterion a second-order accurate solver is needed for the point contact problem whereas the solver developed earlier used a first-order discretization. This situation arises more often in numerical analysis, i.e., a higher order discretization is desired when a lower order solver already exists. It is explained how in such a case the multigrid methodology provides an easy and straightforward way to obtain the desired higher order of approximation. This higher order is obtained at almost negligible extra work and without loss of stability. The approach was tested out by raising an existing first order multilevel solver for the EHL line contact problem to second order. Subsequently, it was used to obtain a second-order solver for the EHL circular contact problem. Results for both the line and circular contact problem are presented.

Sign in / Sign up

Export Citation Format

Share Document