Anderson'S Claim on Fourth-Order Spr Synthesis is True

WS Yu,L Wang

DOI: https://doi.org/10.1109/81.917990

2001-01-01

Abstract:In this paper, we give a constructive proof of Anderson's claim: for the fourth-order stable interval polynomials, there always exists a fixed fourth-order polynomial such that their ratio is strict positive realness (SPR) invariant

What problem does this paper attempt to address?

Robust SPR synthesis for low-order polynomial segments and interval polynomials

Long Wang,Wensheng Yu

DOI: https://doi.org/10.1109/ACC.2001.946195

2002-01-01

Abstract:We prove that, for low-order (n ⩽ 4) stable polynomial segments or interval polynomials, there always exists a fixed polynomial such that their ratio is strict positive realness (SPR)-invariant, thereby providing a rigorous proof of Anderson's claim on SPR synthesis for the fourth-order stable interval polynomials. Moreover, the relationship between SPR synthesis for low-order polynomial segments and SPR synthesis for low-order interval polynomials is also discussed
Spin and Orbital States and Their Phase Transitions of the Perovskite-Type Ti Oxides: Weak coupling Approach

Masahito Mochizuki

DOI: https://doi.org/10.1143/JPSJ.71.2039

2002-02-15

Abstract:The magnetic phase diagram of the perovskite-type Ti oxides as a function of the GdFeO3-type distortion is examined by using the Hartree-Fock analysis of a multiband d-p Hamiltonian from a viewpoint of competitions of the spin-orbit interaction, the Jahn-Teller (JT) level-splitting and spin-orbital superexchange interactions. Near the antiferromagnetic (AFM)-to-ferromagnetic (FM) phase boundary, A-type AFM [AFM(A)] and FM states accompanied by a certain type of orbital ordering are lowered in energy at large JT distortion, which is in agreement with the previous strong coupling study. With increasing the GdFeO3-type distortion, their phase transition occurs. Through this magnetic phase transition, the orbital state hardly changes, which induces nearly continuous change in the spin coupling along the c-axis from negative to positive. The resultant strong two-dimensionality in the spin coupling near the phase boundary is attributed to the strong suppression of T_N and T_C, which is experimentally observed. On the other hand, at small GdFeO3-type without JT distortions, which correspond to LaTiO3, the most stable solution is not G-type AFM [AFM(G)] but FM. Although the spin-orbit interaction has been considered to be relevant at the small or no JT distortion of LaTiO3 in the literature, our analysis indicates that the spin-orbit interaction is irrelevant to the AFM(G) state in LaTiO3 and superexchange-type interaction dominates. On the basis of further investigations on the nature of this FM state and other solutions, this discrepancy is discussed in detail.

Strongly Correlated Electrons
Robust Strictly Positive Real Synthesis for Polynomial Families of Arbitrary Order

WS Yu,L Wang,A Ackermann

DOI: https://doi.org/10.1360/03yf0053

2004-01-01

Abstract:For any two n-th order polynomials a(s) and b(s), the Hurwitz stability of their convex combination is necessary and sufficient for the existence of a polynomial c(s) such that c(s)/a(s) and c(s)/b(s) are both strictly positive real.
Near-infrared spectroscopy of Seyfert galaxies

J.K. Kotilainen,J. Reunanen,M.A. Prieto

DOI: https://doi.org/10.48550/arXiv.astro-ph/0211012

2002-11-01

Abstract:Results from near-infrared 1.5 - 2.5 micron long-slit spectroscopy of 14 nearby Seyfert galaxies are presented.

Astrophysics
Necessary and Sufficient Condition for the Schur Stability of Interval Polynomial

LX Gao,ZH Sun,AK Xue,YX Sun

DOI: https://doi.org/10.1109/tencon.2002.1182569

2002-01-01

Abstract:In this paper, we first establish a sufficient condition for the Schur stability, then use that result to establish a necessary and sufficient condition for the robust Schur stability of interval polynomial, from which an algorithm is developed to determine the Schur stability of interval polynomial. Finally, a numerical example is given to demonstrate the applicability of our algorithm.
Robust Strictly Positive Real Synthesis Of Polynomial Segments For Discrete Time Systems

Ws Yu,L Wang,Y Xiang

DOI: https://doi.org/10.1109/CDC.2003.1272633

2003-01-01

Abstract:By using the result of robust strictly positive real synthesis of polynomial segments for continuous time systems, it is proved that, for any two n-th order polynomials a(z) and b(z), the Schur stability of their convex combination is necessary and sufficient for the existence of an n-th order polynomial c(z) such that c(z)/a(z) and c(z)/b(z) are both strictly positive real. We also provide the construction method of c(z). Illustrative examples are provided to show the effectiveness of this method.
Complete Characterization of Strictly Positive Real Regions and Robust Strictly Positive Real Synthesis Method

Long Wang,Wensheng Yu

DOI: https://doi.org/10.1007/bf02917142

2000-01-01

Science China Technological Sciences

Abstract:The concept of weak strictly positive real regions is introduced, and its properties are discussed. By using the complete discrimination system for polynomials, complete characterization of the (weak) strictly positive real regions for transfer functions in coefficient space is given. A new effective method for robust strictly positive real synthesis is proposed. This method results in necessary and sufficient conditions for low-order stable interval polynomials and segment polynomials, and is also efficient for high-order cases. Numerical examples are provided to illustrate the effectiveness of this method.
A Note on the Existence of Positive Solutions for a Fourth-Order Semilinear Elliptic System

Yu Xia Guo,Guang Zhong Chen

DOI: https://doi.org/10.1007/s10114-010-8042-6

2010-01-01

Abstract:In this note, we prove the existence of positive solutions to a class of biharmonical systems. Our main ingredients are proving a Liouville type result for biharmonical system in ℝ + N via the method of moving plane combined with integral inequality, and establishing a prior estimates for positive solutions of the system via the blowing-up method.
SYNTHESIS OF THE STRONGLY POSITIVE REAL CONTROLLER WITH OUTPUT FEEDBACK FOR DISCRETE-TIME SYSTEMS

YONGYAN CAO,YOUXIAN SUN

1998-01-01

Abstract:Based on the strongly positive real lemma, a solution to the general strongly positive real control problem for linear time-invariant discrete-time systems is presented by using linear matrix inequality approach. The necessary and sufficiency conditions for the existence of an output feedback controller of any order are given. It is proved that for a general discrete-time systems, there is a strongly positive real controller if and only if three LMIs have a solution and there is a low order controller if and only if the LMIs constrained by a rank condition have a solution.
On a refined local converse theorem for SO(4)

Pan Yan,Qing Zhang

2024-05-27

Abstract:Recently, Hazeltine-Liu, and independently Haan-Kim-Kwon, proved a local converse theorem for $\mathrm{SO}_{2n}(F)$ over a $p$-adic field $F$, which says that, up to an outer automorphism of $\mathrm{SO}_{2n}(F)$, an irreducible generic representation of $\mathrm{SO}_{2n}(F)$ is uniquely determined by its twisted gamma factors by generic representations of $\mathrm{GL}_k(F)$ for $k=1,\dots,n$. It is desirable to remove the ``up to an outer automorphism" part in the above theorem using more twisted gamma factors, but this seems a hard problem. In this paper, we provide a solution to this problem for the group $\mathrm{SO}_4(F)$, namely, we show that a generic supercuspidal representation $\pi$ of $\mathrm{SO}_4(F)$ is uniquely determined by its $\mathrm{GL}_1$, $\mathrm{GL}_2$ twisted local gamma factors and a twisted exterior square local gamma factor of $\pi$.

Representation Theory
Positive definiteness of fourth order three dimensional symmetric tensors

Yisheng Song

2024-08-26

Abstract:For a 4th order 3-dimensional symmetric tensor with its some entries $1$ or $-1$, we show the analytic sufficient and necessary conditions of its positive definiteness. By applying these conclusions, several strict inequalities is bulit for ternary quartic homogeneous polynomials.

Classical Analysis and ODEs,Optimization and Control
A Necessary and Sufficient Condition on Robust SPR Stabilizability for Low Degree Systems

Wensheng Yu,Lin Huang

DOI: https://doi.org/10.1007/bf02885538

1999-01-01

Abstract:For low degree systems (n⩽3), it is verified that all convex combination ofa (s) andb (s) keeping Hurwitzness is a necessary and sufficient condition for the existence ofc (s) such that bothc(s)/a(s) andc(s)/b(s) are SPR.
The Bernstein Theorem for a Class of Fourth Order Equations

Bin Zhou

DOI: https://doi.org/10.1007/s00526-011-0401-3

2011-01-01

Calculus of Variations and Partial Differential Equations

Abstract:In this paper, we prove the 2-dimensional Bernstein theorem for a class of fourth order equations including Abreu’s equation. The main ingredients of the paper are the a priori estimates and the proof of the strict convexity.
Lyndon interpolation property for extensions of $\mathbf{S4}$ and intermediate propositional logics

Taishi Kurahashi

2024-08-30

Abstract:We study the Lyndon interpolation property (LIP) and the uniform Lyndon interpolation property (ULIP) for extensions of $\mathbf{S4}$ and intermediate propositional logics. We prove that among the 18 consistent normal modal logics of finite height extending $\mathbf{S4}$ known to have CIP, 11 logics have LIP and 7 logics do not. We also prove that for intermediate propositional logics, the Craig interpolation property, LIP, and ULIP are equivalent.

Logic
Geometric Characterization of Strictly Positive Real Regions and its Applications

Long Wang,Wensheng Yu

DOI: https://doi.org/10.48550/arXiv.math/0202240

2002-02-23

Abstract:Strict positive realness (SPR) is an important concept in absolute stability theory, adaptive control, system identification, etc. This paper characterizes the strictly positive real regions in coefficient space and presents a robust design method for SPR transfer functions. We first introduce the concepts of SPR regions and weak SPR regions and show that the SPR region associated with a fixed polynomial is unbounded, whereas the weak SPR region is bounded. We then prove that the intersection of several weak SPR regions associated with different polynomials can not be a single point. Furthermore, we show how to construct a point in the SPR region from a point in the weak SPR region. Based on these theoretical development, we propose an algorithm for robust design of SPR transfer functions. This algorithm works well for both low order and high order polynomial families. Illustrative examples are provided to show the effectiveness of this algorithm.

Optimization and Control,Dynamical Systems
Design of Robust Strictly Positive Real Transfer Functions

Wensheng Yu,Long Wang

DOI: https://doi.org/10.1007/978-1-84800-215-9_11

2008-01-01

Abstract:This chapter studies the robust synthesis problem for strictly positive real (SPR) transfer functions. The concepts of SPR regions and weak SPR regions are introduced. By using the complete discrimination system (CDS) for polynomials, complete characterization of the (weak) SPR regions for transfer functions in coefficient space is given. It is shown that the weak monic SPR region associated with a fixed polynomial is bounded and the intersection of several weak monic SPR regions associated with different polynomials cannot be a single point. Furthermore, we show how to construct a point in the SPR region from a point in the weak SPR region. Based on these theoretical development, we propose an algorithm for robust design of SPR transfer functions. This algorithm works well for both low-order and high-order polynomial families. Especially, the derived conditions are necessary and sufficient for robust SPR design of polynomial segment or low-order (n ≤ 4) interval polynomials. Illustrative examples are provided to show the effectiveness of this algorithm.
Positive Real Lemmas for Singular Fractional‐order Systems: the Case

Qing-Hao Zhang,Jun-Guo Lu

DOI: https://doi.org/10.1049/iet-cta.2020.0527

IF: 2.67

2020-01-01

IET Control Theory and Applications

Abstract:This study investigates the positive real lemmas for singular fractional-order linear time-invariant systems with the fractional order alpha is an element of (0, 1). Firstly, a novel condition for the stability and extended strictly positive realness of fractional-order systems is derived in terms of linear matrix inequalities. Secondly, a novel condition for the admissibility and extended strictly positive realness of singular fractional-order systems is obtained with two complex variables. Then, another novel condition for the admissibility and extended strictly positive realness of singular fractional-order systems is established with only one complex variable. Thirdly, the positive real controller synthesis problems are analysed and the corresponding positive real controllers are designed based on the positive real lemmas. Finally, four numerical examples are provided to show the effectiveness of the proposed results in this study.
The Prehistory of the Subsystems of Second-Order Arithmetic

Walter Dean,Sean Walsh

DOI: https://doi.org/10.48550/arXiv.1612.06219

2016-12-19

Abstract:This paper presents a systematic study of the prehistory of the traditional subsystems of second-order arithmetic that feature prominently in the reverse mathematics program of Friedman and Simpson. We look in particular at: (i) the long arc from Poincaré to Feferman as concerns arithmetic definability and provability, (ii) the interplay between finitism and the formalization of analysis in the lecture notes and publications of Hilbert and Bernays, (iii) the uncertainty as to the constructive status of principles equivalent to Weak König's Lemma, and (iv) the large-scale intellectual backdrop to arithmetical transfinite recursion in descriptive set theory and its effectivization by Borel, Lusin, Addison, and others.

History and Overview
Lyndon Interpolation Theorem of Instantial Neighborhood Logic – Constructively Via a Sequent Calculus

Junhua Yu

DOI: https://doi.org/10.1016/j.apal.2019.102721

IF: 0.776

2019-01-01

Annals of Pure and Applied Logic

Abstract:Instantial neighborhood logic (INL) is classical propositional logic enriched by a two-sorted operator □. In a neighborhood model, a formula like □(α1,...,αj;α0) (for an arbitrary natural number j) means that, the current point has a neighborhood in which α0 universally holds and none of α1,...,αj universally fails. This paper offers to INL: (1) a cut-free sequent calculus, and (2) a constructive proof of its Lyndon interpolation theorem.
A short proof of an identity related to Type IV superorthogonality

Yixuan Pang

2024-04-14

Abstract:We provide a much shorter but even more powerful proof of an algebraic identity, which can be used to establish the direct and the converse inequality under Type IV superorthogonality. As an application, we obtain the optimal order of the formal constant in the direct inequality. This order turns out to be also sharp for Type III superorthogonality. When $p\geq 2$, our result recovers the optimal order of the constant in the Burkholder-Gundy inequality in martingale theory, and also recovers the currently best order of the constant in the reverse Littlewood-Paley inequality. We also introduce variants of Type IV superorthogonality, under which we prove the converse inequality.

Combinatorics

Anderson'S Claim on Fourth-Order Spr Synthesis is True

Robust SPR synthesis for low-order polynomial segments and interval polynomials

Spin and Orbital States and Their Phase Transitions of the Perovskite-Type Ti Oxides: Weak coupling Approach

Robust Strictly Positive Real Synthesis for Polynomial Families of Arbitrary Order

Near-infrared spectroscopy of Seyfert galaxies

Necessary and Sufficient Condition for the Schur Stability of Interval Polynomial

Robust Strictly Positive Real Synthesis Of Polynomial Segments For Discrete Time Systems

Complete Characterization of Strictly Positive Real Regions and Robust Strictly Positive Real Synthesis Method

A Note on the Existence of Positive Solutions for a Fourth-Order Semilinear Elliptic System

SYNTHESIS OF THE STRONGLY POSITIVE REAL CONTROLLER WITH OUTPUT FEEDBACK FOR DISCRETE-TIME SYSTEMS

On a refined local converse theorem for SO(4)

Positive definiteness of fourth order three dimensional symmetric tensors

A Necessary and Sufficient Condition on Robust SPR Stabilizability for Low Degree Systems

The Bernstein Theorem for a Class of Fourth Order Equations

Lyndon interpolation property for extensions of $\mathbf{S4}$ and intermediate propositional logics

Geometric Characterization of Strictly Positive Real Regions and its Applications

Design of Robust Strictly Positive Real Transfer Functions

Positive Real Lemmas for Singular Fractional‐order Systems: the Case

The Prehistory of the Subsystems of Second-Order Arithmetic

Lyndon Interpolation Theorem of Instantial Neighborhood Logic – Constructively Via a Sequent Calculus

A short proof of an identity related to Type IV superorthogonality