Searcharxiv⌕ Search

arXiv subjects

Branko Ćurgus

Publications and source records attributed to Branko Ćurgus.

17 recordsLinked to original sources

Operators without eigenvalues in finite-dimensional vector spaces: Linearization and Spectral Equivalence

In this paper $S$ is a closed symmetric linear relation in a Krein space $\mathfrak H$ with adjoint $S^*$, finite and equal defect numbers $d$, and a boundary mapping $\mathsf{b}: S^* \rightarrow \mathbb{C}^{2d}$ with Gram matrix $\mathsf Q$. We introduce a class $\mathbb A_{S,\mathsf{b}}$ of self-adjoint extensions of $S$ in a Krein space $\widetilde{\mathfrak H}$ containing $\mathfrak H$ as a Krein subspace of finite codimension, together with a class $\mathbb{P}_{\mathsf Q}$ of $d \times 2d$ matrix polynomials. Both classes are equipped with natural equivalence relations. Given $\mathcal{P}(z) \in \mathbb{P}_{\mathsf Q}$, we consider a boundary eigenvalue problem defined by the condition $\mathcal{P}(z)\mathsf{b}(\{f,g\})=0$, $\{f,g\}\in S^*$, and look for its linearizations. By a linearization we mean a linear relation $\widetilde{A} \in \mathbb{A}_{S, \mathsf b}$ such that the Shtraus extension $T_{\widetilde A}(z)$ of $S$ determined by $\widetilde A$ coincides, for all $z \in \overline{\mathbb C}$, with the linear relation $\big\{\{f,g\}\in S^*\,:\,\mathcal P(z)\mathsf b(\{f,g\})=0\big\}$. We prove that this correspondence defines a bijection between the equivalence classes in $\mathbb A_{S, \mathsf b}$ and those in $\mathbb P_{\mathsf Q}$. Moreover, we provide a condition under which the resulting linearizations are spectrally equivalent to the boundary eigenvalue problem: their regular and spectral points coincide, and for each eigenvalue in $\overline{\mathbb C}$ there is a bijection between their Jordan chains.

math.SP↗

Floor, ceiling and the space between

Motivated by questions on the ranges of commutators of dilated floor functions and one posed in Problem 27327 from Gazeta Matematică, we investigate the precise ranges of certain generalized polynomials depending on a real parameter and defined via the floor function. Our analysis requires non-trivial tools, including Kronecker's approximation theorem. The results highlight sharp distinctions between irrational parameters and sub-unitary and supra-unitary rational parameters. We also propose several conjectures for the irrational and supra-unitary rational cases, supported by extensive computations in Wolfram Mathematica.

math.HO↗

Indefinite Sturm-Liouville operators in polar form

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.

math.SP↗

Partially fundamentally reducible operators in Krein spaces

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.

math.SP↗

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

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.

math.SP↗

Outer median triangles

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.

math.HO↗

Triangles and groups via cevians

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.

math.MG↗

Ceva's triangle inequalities

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.

math.MG↗

A proof of the main theorem on Bezoutians

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.

math.RA↗

Somewhat stochastic matrices

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.

math.RA↗

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

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.

math.CA↗

Perturbations of roots under linear transformations of polynomials

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.

math.CV↗

On a Convex Operator for Finite Sets

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)$.

math.MG↗

Roots and polynomials as homeomorphic spaces

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.

math.GM↗