-
On the Generalization of Weinberger's Inequality with Alternating Signs
Authors:
Hailu Bikila Yadeta
Abstract:
For given set of $m$ positive numbers satisfying the conditions: $$ a_1 \geq a_2 \geq , ... \geq a_m \geq 0, $$ the inequality $$ \sum_{s=1}^{m} (-1)^{s-1}a^r_s \geq \left[ \sum_{s=1}^{m} (-1)^{s-1}a_s\right]^r, \quad r > 1, $$ was proved by H. Weinberger. The generalization of Weinberger's result takes the form…
▽ More
For given set of $m$ positive numbers satisfying the conditions: $$ a_1 \geq a_2 \geq , ... \geq a_m \geq 0, $$ the inequality $$ \sum_{s=1}^{m} (-1)^{s-1}a^r_s \geq \left[ \sum_{s=1}^{m} (-1)^{s-1}a_s\right]^r, \quad r > 1, $$ was proved by H. Weinberger. The generalization of Weinberger's result takes the form $$ \sum_{s=1}^{m} (-1)^{s-1}f(a_s) \geq f\left( \sum_{s=1}^{m} (-1)^{s-1}a_s\right), $$ where $f$ is a convex function satisfying the condition $f(0)\leq 0 $. The condition $f(0)\geq 0 $ in the generalization proposed by Bellman was corrected by Olkin as $f(0) \leq 0 $. Bellman gave only a graphical proof for differentiable convex functions. In this paper, we give a mathematical proof for the generalized inequality including the importance of the condition $f(0)\leq 0$. We introduce a set $\mathcal{W}$ of functions so that functions in the intersection of $\mathcal{W}$ and the set of all convex functions are the ones that are desirable in the generalization. In addition, we give a proof of Szegö's inequality which applies to sums with odd number of terms.
△ Less
Submitted 18 July, 2024; v1 submitted 7 July, 2024;
originally announced July 2024.
-
New Indefinite Summation Formulas and Some Applications
Authors:
Hailu Bikila Yadeta
Abstract:
In this paper, we introduce a novel indefinite summation $\sum_{t} f(t)$ (or antidifference $Δ^{-1}f(t) $ ) formula for any given function $f$. We apply the indefinite summation formula to calculate a particular solution to a nonhomogeneous linear difference equation of the form $$ y(x+h)-λy(x)=f(x),\quad h > 0,\quad λ\neq 0, $$ and also to solve a linear difference inequality of the form…
▽ More
In this paper, we introduce a novel indefinite summation $\sum_{t} f(t)$ (or antidifference $Δ^{-1}f(t) $ ) formula for any given function $f$. We apply the indefinite summation formula to calculate a particular solution to a nonhomogeneous linear difference equation of the form $$ y(x+h)-λy(x)=f(x),\quad h > 0,\quad λ\neq 0, $$ and also to solve a linear difference inequality of the form $$ y(x+h)-λy(x) \geq 0,\quad h > 0,\quad λ\neq 0. $$ Furthermore, we apply the formula to determine a particular solution to a difference equations of the form $$ Φ(E)y(t)=f(t), $$ and in solving a linear difference inequality of the form, $$ Φ(E)y(t)\geq 0, $$ where $ Φ(E) $ is some linear difference operator. We show how the antidifference of a function $f$ calculated with the current formula is related to the already existing result and establish the corresponding identity.
△ Less
Submitted 26 June, 2024;
originally announced June 2024.
-
Equality of the Casoratian and the Wronsikian for some sets of functions and an application in difference equations
Authors:
Hailu Bikila Yadeta
Abstract:
The Casoratian determinants are very important in the study of linear difference equation, just as the Wronskian determinants are very important in the study of linear ordinary differential equations. The Casoratian and Wronskian determinants of a given set of functions are generally different. In this paper, we show that the Wroskian $ W[1, x, x^2,...,x^n ]$ and the Casoratian…
▽ More
The Casoratian determinants are very important in the study of linear difference equation, just as the Wronskian determinants are very important in the study of linear ordinary differential equations. The Casoratian and Wronskian determinants of a given set of functions are generally different. In this paper, we show that the Wroskian $ W[1, x, x^2,...,x^n ]$ and the Casoratian $ C[1,x, x^2,...,x^n ] $ of the set of functions $ \{1, x, x^2,...,x^n: \, n \in \mathbb{N} \}$ are equal to each other and independent of the variable $x$. Furthermore, we show that $ W[p_1, p_2,...,p_n, p_{n+1} ]= C[p_1, p_2,..., p_n, p_{n+1} ]$ for any basis $ \mathcal{B} = \{ p_1, p_2,..., p_n, p_{n+1} \}$ of the vector space spanned by $ \{ 1, x, x^2,...,x^n \}$. Finally, we point out some applications of such a Casoratian in the general solution of some types of homogeneous linear difference equations.
△ Less
Submitted 6 December, 2023;
originally announced March 2024.
-
New characterizations of the ring of the split-complex numbers and the field $ \mathbb{C} $ of complex numbers and their comparative analyses
Authors:
Hailu Bikila Yadeta
Abstract:
In this paper, we give a new characterization of the split-complex numbers as a vector space $LC_2= \{xI+yE : x,y \in \mathbb{R},\, E^2=I \}$ of operators, where $I$ is the identity operator and $E$ is the unit shift operator that are operating on the space $\mathbb{P}_2$ of all real-valued $2$-periodic functions. We also characterize the field of the complex number…
▽ More
In this paper, we give a new characterization of the split-complex numbers as a vector space $LC_2= \{xI+yE : x,y \in \mathbb{R},\, E^2=I \}$ of operators, where $I$ is the identity operator and $E$ is the unit shift operator that are operating on the space $\mathbb{P}_2$ of all real-valued $2$-periodic functions. We also characterize the field of the complex number $\mathbb{C}= \{x+yi: x, y \in \mathbb{R}, i^2 =-1 \}$ as the space of linear operators of the form $ \{xI+yE, E^2 = -I \}$, where $I$ is the identity operator and $E$ the unit shift operator that are regarded as operating on the vector space $\mathbb{AP}_2 $ of all real-valued $2$-antiperiodic functions. In an analogy to the polar form of complex numbers, we form the hyperbolic form of some subset $ \mathcal{H} $ of the elements of $LC_2 $. We study some properties of the elements of $LC_2$, the trace, the determinant, invertibility conditions, and others. We study some elementary functions defined on subsets of $LC_2$ as compared and contrasted with the usual complex functions. We study properties like continuity, differentiability and define the holomorphic condition of $LC_2$ functions in a different sense than complex functions. We establish the line integrals of the vector-valued functions in $LC_2$ and compare them against the well known results for complex functions of a complex variable.
△ Less
Submitted 22 May, 2023; v1 submitted 8 May, 2023;
originally announced May 2023.
-
Direct sum Decomposition of Spaces of Periodic Functions: $$ \mathbb{P}_n = \bigoplus \limits_{d|n} \ker(Φ_d(E))
Authors:
Hailu Bikila Yadeta
Abstract:
It was proved that the space $ \mathbb{P}_p $ of all periodic function of fundamental period $ p $ is a direct sum of the space $ \mathbb{P}_{p/2} $ of all periodic functions of fundamental period $ p/2 $ and the space $ \mathbb{AP}_{p/2} $ of all antiperiodic functions of fundamental antiperiod $ p/2 $. In this paper, we study some connections between periodic functions, cyclotomic polynomials, r…
▽ More
It was proved that the space $ \mathbb{P}_p $ of all periodic function of fundamental period $ p $ is a direct sum of the space $ \mathbb{P}_{p/2} $ of all periodic functions of fundamental period $ p/2 $ and the space $ \mathbb{AP}_{p/2} $ of all antiperiodic functions of fundamental antiperiod $ p/2 $. In this paper, we study some connections between periodic functions, cyclotomic polynomials, roots of unity, circulant matrices, and some classes of difference equations. In particular, we state and prove the sufficient condition for the existence of periodic solutions of integer period or arbitrary period of some difference equation. We also show that the space $ \mathbb{P}_n $ of all periodic functions of integer period $n$ can be decomposed as the direct sum of operators' kernels $\ker (Φ_d(E)) $, where $Φ_d(E),\, 1 \leq d \leq n, d|n $ are the cyclotomic polynomials of the shift operator $E$. We state and prove important theorems, state and prove the necessary and sufficient conditions for a linear difference equation with constant coefficients to have periodic solutions.
△ Less
Submitted 29 January, 2024; v1 submitted 5 April, 2023;
originally announced April 2023.
-
Real Analytic Methods in the Formulations of some Combinatorial Inequalities
Authors:
Hailu Bikila Yadeta
Abstract:
In this paper, we derive some new combinatorial inequalities by applying well known real analytic results like Hölder's inequality, Young's inequality, and Minkowiski's inequality to the recursively defined sequence $f_n$ of functions
\begin{align*}
f_0(x) & = χ_{(-1/2, 1/2)} (x), \nonumber
f_{n+1}(x) & = f_n(x+1/2)+ f_n(x-1/2), n \in \mathbb{N}\,\cup \,\{0\}. \end{align*}
Towards this goa…
▽ More
In this paper, we derive some new combinatorial inequalities by applying well known real analytic results like Hölder's inequality, Young's inequality, and Minkowiski's inequality to the recursively defined sequence $f_n$ of functions
\begin{align*}
f_0(x) & = χ_{(-1/2, 1/2)} (x), \nonumber
f_{n+1}(x) & = f_n(x+1/2)+ f_n(x-1/2), n \in \mathbb{N}\,\cup \,\{0\}. \end{align*}
Towards this goal, we derive the closed form of the aforementioned sequence $ (f_n)_{n\in \mathbb{N}\,\cup \,\{0\}}$ of functions and show that it is a sequence of simple functions that are linear combinations of characteristic functions of some unit intervals $ I_{n,i},\, i=0,1, ..., n $, with values the binomial coefficients $ \binom{n}{i}$ on each unit interval $I_{n,i}$. We show that $ f_n \in L^p(\mathbb{R})),\, 1\leq p \leq \infty $. Besides applying real analytic methods to formulate some combinatorial inequalities, we also illustrate the application of some combinatorial identities. For example, we use the Vandermonde convolution (or Vandermonde identity), in the study of some properties of the sequence of functions $ (f_n)_{n\in\mathbb{ N}\cup \{0\}}$. We show how the $L^2$ norm of $f_n$ is related to the Catalan numbers.
△ Less
Submitted 9 March, 2023;
originally announced March 2023.
-
Analysis of the Differential-Difference Equation $y(x+1/2)-y(x-1/2) = y'(x)$
Authors:
Hailu Bikila Yadeta
Abstract:
In this paper we study some solution techniques of differential-difference equation $$ y'(x) = y(x + 1/2)- y(x- 1/2),$$ first without an initial condition and then with some initial function $h$ defined on the unit interval $ [-1/2, 1/2]$. We show some sufficient conditions that an initial function $h$ is admissible, i.e., it yields a unique continuous solution on some symmetric interval about…
▽ More
In this paper we study some solution techniques of differential-difference equation $$ y'(x) = y(x + 1/2)- y(x- 1/2),$$ first without an initial condition and then with some initial function $h$ defined on the unit interval $ [-1/2, 1/2]$. We show some sufficient conditions that an initial function $h$ is admissible, i.e., it yields a unique continuous solution on some symmetric interval about $0$.
△ Less
Submitted 6 June, 2023; v1 submitted 8 November, 2022;
originally announced November 2022.
-
Decomposition of Spaces of Periodic Functions into Subspaces of Periodic Functions and Subspaces of Antiperiodic Functions
Authors:
Hailu Bikila Yadeta
Abstract:
In this paper we prove that the space $ \mathbb{P}_p $ of all periodic function of fundamental period $ p $ is a direct sum of the space $ \mathbb{P}_{p/2} $ of periodic functions of fundamental period $ p/2 $ and the space $ \mathbb{AP}_{p/2} $ of antiperiodic functions of fundamental anti period $ p/2 $. The decomposition can be continued by applying the decomposition process to the successively…
▽ More
In this paper we prove that the space $ \mathbb{P}_p $ of all periodic function of fundamental period $ p $ is a direct sum of the space $ \mathbb{P}_{p/2} $ of periodic functions of fundamental period $ p/2 $ and the space $ \mathbb{AP}_{p/2} $ of antiperiodic functions of fundamental anti period $ p/2 $. The decomposition can be continued by applying the decomposition process to the successively raising periodic subspaces. It is shown that, under certain condition, a periodic function can be written as a convergent infinite series of anti periodic functions of distinct fundamental anti periods. In addition, we characterize the space of all periodic functions of period $ p \in \mathbb{N} $ in terms of all its periodic and antiperiodic subspaces of integer periods (or anti periods). We show that the elements of a subspace of such a space of periodic functions take a specific form (not arbitrary) of linear combinations of the shifts of the elements of the given space. Lastly, we introduce a lattice diagram named-periodicity diagram for a space of periodic function of a fixed period $ p \in \mathbb{N} $. As a particular example, the periodicity diagram of $ \mathbb{P}_{12} $ is shown.
△ Less
Submitted 17 July, 2023; v1 submitted 3 October, 2022;
originally announced October 2022.
