Showing 1–16 of 16 results for author: Ćurgus, B

Indefinite Sturm-Liouville operators in polar form

Authors: Branko Ćurgus, Volodymyr Derkach, Carsten Trunk

Abstract: We consider the indefinite Sturm-Liouville differential expression \[\mathfrak{a}(f) := - \frac{1}{w}\left( \frac{1}{r} f' \right)',\] where $\mathfrak{a}$ is defined on a finite or infinite open interval $I$ with $0\in I$ and the coefficients $r$ and $w$ are locally summable and such that $r(x)$ and $(\operatorname{sgn} x) w(x)$ are positive a.e. on $I$. With the differential expression… ▽ More We consider the indefinite Sturm-Liouville differential expression \[\mathfrak{a}(f) := - \frac{1}{w}\left( \frac{1}{r} f' \right)',\] where $\mathfrak{a}$ is defined on a finite or infinite open interval $I$ with $0\in I$ and the coefficients $r$ and $w$ are locally summable and such that $r(x)$ and $(\operatorname{sgn} x) w(x)$ are positive a.e. on $I$. With the differential expression $\mathfrak{a}$ we associate a nonnegative self-adjoint operator $A$ in the Krein space $L^2_w(I)$, which is viewed as a coupling of symmetric operators in Hilbert spaces related to the intersections of $I$ with the positive and the negative semi-axis. For the operator $A$ we derive conditions in terms of the coefficients $w$ and $r$ for the existence of a Riesz basis consisting of generalized eigenfunctions of $A$ and for the similarity of $A$ to a self-adjoint operator in a Hilbert space $L^2_{|w|}(I)$. These results are obtained as consequences of abstract results about the regularity of critical points of nonnegative self-adjoint operators in Krein spaces, which are couplings of two symmetric operators acting in Hilbert spaces. △ Less

Submitted 14 August, 2023; v1 submitted 31 December, 2020; originally announced January 2021.

Comments: 50 pages

MSC Class: 47B50; 34B24; 46C20; 47B25; 34L10

Partially fundamentally reducible operators in Krein spaces

Authors: Branko Ćurgus, Vladimir Derkach

Abstract: A self-adjoint operator $A$ in a Krein space $\bigl({\mathcal K},[\,\cdot\,,\cdot\,]\bigr)$ is called partially fundamentally reducible if there exist a fundamental decomposition ${\mathcal K} = {\mathcal K}_+ [\dot{+}] {\mathcal K}_-$ (which does not reduce $A$) and densely defined symmetric operators $S_+$ and $S_-$ in the Hilbert spaces $\bigl({\mathcal K}_+,[\,\cdot\,,\cdot\,]\bigr)$ and… ▽ More A self-adjoint operator $A$ in a Krein space $\bigl({\mathcal K},[\,\cdot\,,\cdot\,]\bigr)$ is called partially fundamentally reducible if there exist a fundamental decomposition ${\mathcal K} = {\mathcal K}_+ [\dot{+}] {\mathcal K}_-$ (which does not reduce $A$) and densely defined symmetric operators $S_+$ and $S_-$ in the Hilbert spaces $\bigl({\mathcal K}_+,[\,\cdot\,,\cdot\,]\bigr)$ and $\bigl({\mathcal K}_-,-[\,\cdot\,,\cdot\,]\bigr)$, respectively, such that each $S_+$ and $S_-$ has defect numbers $(1,1)$ and the operator $A$ is a self-adjoint extension of $S =S_+ \oplus (-S_-)$ in the Krein space $\bigl({\mathcal K},[\,\cdot\,,\cdot\,]\bigr)$. The operator $A$ is interpreted as a coupling of operators $S_+$ and $-S_-$ relative to some boundary triples $\bigl({\mathbb C},Γ_0^+,Γ_1^+\bigr)$ and $\bigl({\mathbb C},Γ_0^-,Γ_1^-\bigr)$. Sufficient conditions for a nonnegative partially fundamentally reducible operator $A$ to be similar to a self-adjoint operator in a Hilbert space are given in terms of the Weyl functions $m_+$ and $m_-$ of $S_+$ and $S_-$ relative to the boundary triples $\bigl({\mathbb C},Γ_0^+,Γ_1^+\bigr)$ and $\bigl({\mathbb C},Γ_0^-,Γ_1^-\bigr)$. Moreover, it is shown that under some asymptotic assumptions on $m_+$ and $m_-$ all positive self-adjoint extensions of the operator $S$ are similar to self-adjoint operators in a Hilbert space. △ Less

Submitted 26 November, 2014; v1 submitted 26 July, 2014; originally announced July 2014.

Comments: 45 pages, results presented at the 21st IWOTA 2010 held in Berlin, Germany

MSC Class: Primary 47B50; Secondary 46C20; 47B25

The Riesz basis property of an indefinite Sturm-Liouville problem with non-separated boundary conditions

Authors: Branko Ćurgus, Andreas Fleige, Aleksey Kostenko

Abstract: We consider a regular indefinite Sturm-Liouville eigenvalue problem \{$-f" + q f = λr f$} on $[a,b]$ subject to general self-adjoint boundary conditions and with a weight function $r$ which changes its sign at finitely many, so-called turning points. We give sufficient and in some cases necessary and sufficient conditions for the Riesz basis property of this eigenvalue problem. In the case of sepa… ▽ More We consider a regular indefinite Sturm-Liouville eigenvalue problem \{$-f" + q f = λr f$} on $[a,b]$ subject to general self-adjoint boundary conditions and with a weight function $r$ which changes its sign at finitely many, so-called turning points. We give sufficient and in some cases necessary and sufficient conditions for the Riesz basis property of this eigenvalue problem. In the case of separated boundary conditions we extend the class of weight functions $r$ for which the Riesz basis property can be completely characterized in terms of the local behavior of $r$ in a neighborhood of the turning points. We identify a class of non-separated boundary conditions for which, in addition to the local behavior of $r$ in a neighborhood of the turning points, local conditions on $r$ near the boundary are needed for the Riesz basis property. As an application, it is shown that the Riesz basis property for the periodic boundary conditions is closely related to a regular HELP-type inequality without boundary conditions. △ Less

Submitted 14 September, 2013; v1 submitted 6 June, 2013; originally announced June 2013.

Comments: Integr. Equat. Oper. Theory (2013), to appear

Journal ref: Integr. Equat. Oper. Theory 77 (2013), 533-557

Outer median triangles

Authors: Árpád Bényi, Branko Ćurgus

Abstract: We define the notions of outer medians and outer median triangles. We show that outer median triangles enjoy similar properties to that of the median triangle. We define the notions of outer medians and outer median triangles. We show that outer median triangles enjoy similar properties to that of the median triangle. △ Less

Submitted 9 May, 2013; originally announced May 2013.

Comments: 9 pages, 9 figures

MSC Class: 51M04; 51M15

A proof of the main theorem on Bezoutians

Authors: Branko Ćurgus, Aad Dijksma

Abstract: We give a self-contained proof that the nullity of the Bezoutian matrix associated with a pair of polynomials $f$ and $g$ equals the number of their common zeros counting multiplicities. We give a self-contained proof that the nullity of the Bezoutian matrix associated with a pair of polynomials $f$ and $g$ equals the number of their common zeros counting multiplicities. △ Less

Submitted 13 August, 2012; v1 submitted 11 August, 2012; originally announced August 2012.

Comments: 5 pages

MSC Class: 15B57; 26C05; 15A24; 15B05

Ceva's triangle inequalities

Authors: Árpád Bényi, Branko Ćurgus

Abstract: We characterize triples of cevians which form a triangle independent of the triangle where they are constructed. This problem is equivalent to solving a three-parameter family of inequalities which we call Ceva's triangle inequalities. Our main result provides the parametrization of the solution set. We characterize triples of cevians which form a triangle independent of the triangle where they are constructed. This problem is equivalent to solving a three-parameter family of inequalities which we call Ceva's triangle inequalities. Our main result provides the parametrization of the solution set. △ Less

Submitted 16 January, 2013; v1 submitted 7 June, 2012; originally announced June 2012.

Comments: 18 pages, 11 figures

MSC Class: 26D07; 51M04; 51M15; 15B48

A generalization of Routh's triangle theorem

Authors: Arpad Benyi, Branko Curgus

Abstract: We prove a generalization of the well known Routh's triangle theorem. As a consequence, we get a unification of the theorems of Ceva and Menelaus. A connection to Feynman's triangle is also given. We prove a generalization of the well known Routh's triangle theorem. As a consequence, we get a unification of the theorems of Ceva and Menelaus. A connection to Feynman's triangle is also given. △ Less

Submitted 6 August, 2012; v1 submitted 20 December, 2011; originally announced December 2011.

Comments: 7 pages, 8 figures

MSC Class: 51M04

Triangles and groups via cevians

Authors: Árpád Bényi, Branko Ćurgus

Abstract: For a given triangle $T$ and a real number $ρ$ we define Ceva's triangle $\CT_ρ(T)$ to be the triangle formed by three cevians each joining a vertex of $T$ to the point which divides the opposite side in the ratio $ρ:(1-ρ)$. We identify the smallest interval $\nM_T \subset \nR$ such that the family $\CT_ρ(T), ρ\in \nM_T$, contains all Ceva's triangles up to similarity. We prove that the compositio… ▽ More For a given triangle $T$ and a real number $ρ$ we define Ceva's triangle $\CT_ρ(T)$ to be the triangle formed by three cevians each joining a vertex of $T$ to the point which divides the opposite side in the ratio $ρ:(1-ρ)$. We identify the smallest interval $\nM_T \subset \nR$ such that the family $\CT_ρ(T), ρ\in \nM_T$, contains all Ceva's triangles up to similarity. We prove that the composition of operators $\CT_ρ, ρ\in \nR$, acting on triangles is governed by a certain group structure on $\nR$. We use this structure to prove that two triangles have the same Brocard angle if and only if a congruent copy of one of them can be recovered by sufficiently many iterations of two operators $\CT_ρ$ and $\CT_ξ$ acting on the other triangle. △ Less

Submitted 16 January, 2013; v1 submitted 2 September, 2011; originally announced September 2011.

Comments: 33 pages, 17 figures

MSC Class: 51M04; 51M15; 51N20; 20H15; 15B05; 15A24; 51F15

On the reproducing kernel of a Pontryagin space of vector valued polynomials

Authors: Branko Ćurgus, Aad Dijksma

Abstract: We give necessary and sufficient conditions under which the reproducing kernel of a Pontryagin space of $d \times 1$ vector polynomials is determined by a generalized Nevanlinna pair of $d \times d$ matrix polynomials. We give necessary and sufficient conditions under which the reproducing kernel of a Pontryagin space of $d \times 1$ vector polynomials is determined by a generalized Nevanlinna pair of $d \times d$ matrix polynomials. △ Less

Submitted 24 September, 2011; v1 submitted 4 March, 2011; originally announced March 2011.

Comments: 33 pages

MSC Class: 46C20; 46E22; 47A06

Journal ref: Linear Algebra and its Applications 436 (2012), no. 5, 1312-1343

Stability of roots of polynomials under linear combinations of derivatives

Authors: Branko Ćurgus, Vania Mascioni

Abstract: Let $T=α_0 I + α_1 D + ...+α_n D^n$, where $D$ is the differentiation operator and $α_0\not= 0$, and let $f$ be a square-free polynomial with large minimum root separation. We prove that the roots of $Tf$ are close to the roots of $f$ translated by $-α_1/α_0$. Let $T=α_0 I + α_1 D + ...+α_n D^n$, where $D$ is the differentiation operator and $α_0\not= 0$, and let $f$ be a square-free polynomial with large minimum root separation. We prove that the roots of $Tf$ are close to the roots of $f$ translated by $-α_1/α_0$. △ Less

Submitted 26 March, 2009; v1 submitted 28 August, 2008; originally announced August 2008.

Comments: 18 pages, 4 figures

MSC Class: 30C15

Journal ref: Constructive Approximation 32 (2010) no. 3, 523--541

Somewhat stochastic matrices

Authors: Branko Ćurgus, Robert I. Jewett

Abstract: The standard theorem for regular stochastic matrices is generalized to matrices with no sign restriction on the entries. The condition that column sums be equal to 1 is kept, but the regularity condition is replaced by a condition on the $\ell_1$-distances between columns. The standard theorem for regular stochastic matrices is generalized to matrices with no sign restriction on the entries. The condition that column sums be equal to 1 is kept, but the regularity condition is replaced by a condition on the $\ell_1$-distances between columns. △ Less

Submitted 3 September, 2007; originally announced September 2007.

MSC Class: 15A51

Riesz Bases of Root Vectors of Indefinite Sturm-Liouville problems with eigenparameter dependent boundary conditions, I

Authors: Paul Binding, Branko Ćurgus

Abstract: We consider a regular indefinite Sturm-Liouville problem with two self-adjoint boundary conditions, one being affinely dependent on the eigenparameter. We give sufficient conditions under which a basis of each root subspace for this Sturm-Liouville problem can be selected so that the union of all these bases constitutes a Riesz basis of a corresponding weighted Hilbert space. We consider a regular indefinite Sturm-Liouville problem with two self-adjoint boundary conditions, one being affinely dependent on the eigenparameter. We give sufficient conditions under which a basis of each root subspace for this Sturm-Liouville problem can be selected so that the union of all these bases constitutes a Riesz basis of a corresponding weighted Hilbert space. △ Less

Submitted 29 May, 2007; originally announced May 2007.

Comments: 21 pages

MSC Class: 34L10; 34B24; 34B09; 47B50

Journal ref: Operator Theory: Advances and Applications, Vol. 163, Birkhäuser, 2006, 75--96

Riesz bases of root vectors of indefinite Sturm-Liouville problems with eigenparameter dependent boundary conditions. II

Authors: Paul Binding, Branko Ćurgus

Abstract: We consider a regular indefinite Sturm-Liouville problem with two self-adjoint boundary conditions affinely dependent on the eigenparameter. We give sufficient conditions under which the root vectors of this Sturm-Liouville problem can be selected to form a Riesz basis of a corresponding weighted Hilbert space. We consider a regular indefinite Sturm-Liouville problem with two self-adjoint boundary conditions affinely dependent on the eigenparameter. We give sufficient conditions under which the root vectors of this Sturm-Liouville problem can be selected to form a Riesz basis of a corresponding weighted Hilbert space. △ Less

Submitted 2 August, 2008; v1 submitted 29 May, 2007; originally announced May 2007.

Comments: 27 pages

MSC Class: 34B05; 47B50; 34B09; 34B25; 47B25

Journal ref: Integral Equations and Operator Theory 63 (2009) no. 4, 473--499

On a Convex Operator for Finite Sets

Authors: Branko Ćurgus, Krzysztof Kołodziejczyk

Abstract: Let $S$ be a finite set with $n$ elements in a real linear space. Let $\cJ_S$ be a set of $n$ intervals in $\nR$. We introduce a convex operator $\co(S,\cJ_S)$ which generalizes the familiar concepts of the convex hull $\conv S$ and the affine hull $\aff S$ of $S$. We establish basic properties of this operator. It is proved that each homothet of $\conv S$ that is contained in $\aff S$ can be ob… ▽ More Let $S$ be a finite set with $n$ elements in a real linear space. Let $\cJ_S$ be a set of $n$ intervals in $\nR$. We introduce a convex operator $\co(S,\cJ_S)$ which generalizes the familiar concepts of the convex hull $\conv S$ and the affine hull $\aff S$ of $S$. We establish basic properties of this operator. It is proved that each homothet of $\conv S$ that is contained in $\aff S$ can be obtained using this operator. A variety of convex subsets of $\aff S$ can also be obtained. For example, this operator assigns a regular dodecagon to the 4-element set consisting of the vertices and the orthocenter of an equilateral triangle. For $\cJ_S$ which consists of bounded intervals, we give the upper bound for the number of vertices of the polytope $\co(S,\cJ_S)$. △ Less

Submitted 15 June, 2006; originally announced June 2006.

Comments: 20 pages, 16 figures

MSC Class: 52A05

Journal ref: Discrete Applied Mathematics 155 (2007) no. 13, 1774--1792

Roots and polynomials as homeomorphic spaces

Authors: Branko Ćurgus, Vania Mascioni

Abstract: We provide a unified, elementary, topological approach to the classical results stating the continuity of the complex roots of a polynomial with respect to its coefficients, and the continuity of the coefficients with respect to the roots. In fact, endowing the space of monic polynomials of a fixed degree $n$ and the space of $n$ roots with suitable topologies, we are able to formulate the class… ▽ More We provide a unified, elementary, topological approach to the classical results stating the continuity of the complex roots of a polynomial with respect to its coefficients, and the continuity of the coefficients with respect to the roots. In fact, endowing the space of monic polynomials of a fixed degree $n$ and the space of $n$ roots with suitable topologies, we are able to formulate the classical theorems in the form of a homeomorphism. Related topological facts are also considered. △ Less

Submitted 1 February, 2005; originally announced February 2005.

Comments: 16 pages

MSC Class: 30C15; 26C10

Journal ref: Expositiones Mathematicae 24 (2006) no. 1, 81--95

Perturbations of roots under linear transformations of polynomials

Authors: Branko Ćurgus, Vania Mascioni

Abstract: Let $\cP_n$ be the complex vector space of all polynomials of degree at most $n$. We give several characterizations of the linear operators $T\in\cL(\cP_n)$ for which there exists a constant $C > 0$ such that for all nonconstant $p\in\cP_n$ there exist a root $u$ of $p$ and a root $v$ of $Tp$ with $|u-v|\leq C$. We prove that such perturbations leave the degree unchanged and, for a suitable pair… ▽ More Let $\cP_n$ be the complex vector space of all polynomials of degree at most $n$. We give several characterizations of the linear operators $T\in\cL(\cP_n)$ for which there exists a constant $C > 0$ such that for all nonconstant $p\in\cP_n$ there exist a root $u$ of $p$ and a root $v$ of $Tp$ with $|u-v|\leq C$. We prove that such perturbations leave the degree unchanged and, for a suitable pairing of the roots of $p$ and $Tp$, the roots are never displaced by more than a uniform constant independent on $p$. We show that such ``good'' operators $T$ are exactly the invertible elements of the commutative algebra generated by the differentiation operator. We provide upper bounds in terms of $T$ for the relevant constants. △ Less

Submitted 15 June, 2006; v1 submitted 1 February, 2005; originally announced February 2005.

Comments: 23 pages

MSC Class: 30C15; 26C10

Journal ref: Constructive Approximation 25 (2007) no. 3, 255--277