Searcharxiv⌕ Search

arXiv subjects

Alan Horwitz

Publications and source records attributed to Alan Horwitz.

26 records · Page 2Linked to original sources

Ratio vectors of polynomial-like functions

Let $p(x)$ be a polynomial like function of the form $p(x)=(x-r_{1})^{m_{1}}... (x-r_{N})^{m_{N}}$, where $m_{1},...,m_{N}$ are given positive real numbers and $r_{1}<r_{2}<... <r_{N}$. Let $\{x_{k}\} $ be the critical points of $p$ in $(r_{k},r_{k+1})$ and define the ratios $σ_{k}=\dfrac{x_{k}-r_{k}}{r_{k+1}-r_{k}},k=1,2,...,N-1$. $(σ_{1},...,σ_{N-1})$ is called the \QTR{it}{ratio vector} of $p$. We extend some some of the results on ratio vectors from earlier papers for the case when $m_{1}=... =m_{N}=1$, that is, for polynomials of degree $n$ with $n$ distinct real roots. For N=3, we find necessary and sufficient conditions for $(σ_{1},σ_{2}) $ to be a ratio vector. We also simplify as well as extend some of the proofs for N=4. In particular we show that $\dfrac{m_{k}}{m_{k}+... +m_{N}}<σ_{k}<\dfrac{m_{1}+... +m_{k}}{m_{1}+... +m_{k+1}}$, and that the monotonicity of the ratios does not hold in general for $N\geq 3$. For N=3 we find necessary and sufficient conditions on $m_{1},m_{2},m_{3}$ which imply that $σ_{1}<σ_{2}$. We also prove some results for general $N$ using the theory of \QTR{it}{Groebner bases} and projective elimination theory. One consequence is that for any $N\geq 2,σ_{1},...,σ_{N-1}$ satisfy a nontrivial polynomial equation in $N-1$ variables with real coefficients.

math.CA↗

The locus of centers of ellipses inscribed in quadrilaterals

Let R be a four-sided convex polygon in the xy plane and let M1 and M2 be the midpoints of the diagonals of R. It is well-known that if E is an ellipse inscribed in R, then the center of E must lie on Z, the open line segment connecting M1 and M2. We prove the converse: If (h,k) lies in Z, then there is a unique ellipse with center (h,k) inscribed in R. This completely characterizes the locus of centers of ellipses inscribed in R. This result was proved by the author in ("Finding ellipses and hyperbolas tangent to two, three, or four given lines", Southwest Journal of Pure and Applied Mathematics 1(2002), 6-32), but the approach given here is decidedly different and much shorter and more succinct. In addition, we are also able to prove that there is a unique ellipse of maximal area inscribed in R. The approach in this paper is to use a theorem of Marden relating the foci of an ellipse tangent to the lines thru the sides of a triangle and the zeros of a partial fraction expansion.

math.CA↗

Ratio vectors of fourth degree polynomials

Let p(x) be a polynomial of degree 4 with four distinct real roots r1<r2<r3<r4. Let x1<x2<x3 be the critical points of p, and define the ratios s_{k}=((x_{k}-r_{k})/(r_{k+1}-r_{k})),k=1,2,3. For notational convenience, let s1=u, s2=v, and s3=w. (u,v,w) is called the ratio vector of p. We prove necessary and sufficient conditions for (u,v,w) to be a ratio vector of a polynomial of degree 4 with all real roots. Most of the necessary conditions were proven by the author in (On the Ratio Vectors of Polynomials, Journal of Mathematical Analysis and Applications 205(1997), 568-576). The main results of this paper involve using the theory of Groebner bases to prove that those conditions are also sufficient.

math.CA↗

Finding an Ellipse Tangent to finitely many given Lines

Withdrawal Notice: SWJPAM does not allow articles it publishes to appear on archives. An updated version of this article along with new results, can be found at the author's web page: www.math.psu.edu/horwitz/papers.html

math.CA↗

Compositions of Polynomials with Coefficients in a given Field

Let F and K be fields of characteristic 0, with F a subset of K. Let K[x] denote the ring of polynomials with coefficients in K. For p in K[x]\F[x], deg(p) = n, let r be the highest power of x with a coefficient not in F. We define the F deficit of p to be D_F(p) = n-r. For p in F[x], D_F(p) = n. Suppose that the leading coeffcients of p and q are in F, and that some coefficient of q(other than the constant term) is not in F. Our main result is that the F deficit of the composition of p with q equals the F deficit of q. This implies our earlier result: If p(q(x)) is in F[x]then p is in F[x] and/or q is in F[x]. We also prove similar results for compositions of the form p(q(x,y)), for the iterates of a polynomial, and for fields of finite characteristic, if the characteristic of the field does not divide the degree of p. Finally, If F and K are only rings, then we prove the inequality D_F(p(q(x))) >=D_F(q).

math.CA↗

Illumination by Taylor Polynomials

Let f(x) be a differentiable function on the real line R, and let P be a point not on the graph of f(x). Define the illumination index of P to be the number of distinct tangents to the graph of f which pass thru P. We prove that if f '' is continuous and nonnegative on R, f '' > m >0 outside a closed interval of R, and f '' has finitely many zeroes on R, then every point below the graph of f has illumination index 2. This result fails in general if f '' is not bounded away from 0 on R. Also, if f '' has finitely many zeroes and f '' is not nonnnegative on R, then some point below the graph has illumination index not equal to 2. Finally, we generalize our results to illumination by odd order Taylor polynomials.

math.CA↗

Invariant Means

Let m(a,b) and M(a,b,c) be symmetric means. We say that M is type 1 invariant with respect to m if M(m(a,c),m(a,b),m(b,c)) = M(a,b,c) for all a, b, c > 0. If m is strict and isotone, then we show that there exists a unique M which is type 1 invariant with respect to m. In particular we discuss the invariant logarithmic mean L_3, which is type 1 invariant with respect to L(a,b) = (b-a)/(log b-log a). We say that M is type 2 invariant with respect to m if M(a,b,m(a,b)) = m(a,b) for all a, b > 0. We also prove existence and uniqueness results for type 2 invariance, given the mean M(a,b,c). The arithmetic, geometric, and harmonic means in two and three variables satisfy both type 1 and type 2 invariance. There are means m and M such that M is type 2 invariant with respect to m, but not type 1 invariant with respect to m(for example, the Lehmer means). L_3 is type 1 invariant with respect to L, but not type 2 invariant with respect to L.

math.CA↗

A Version of Simpson's Rule for Multiple Integrals

Let M(f) denote the Midpoint Rule and T(f) the Trapezoidal Rule for estimating integral_a^b f(x) dx. Then Simpson's Rule = tM(f) + (1-t)T(f), where t = 2/3. We generalize Simpson's Rule to multiple integrals as follows. Let D be some polygonal region in R^n, let P_0,...,P_m denote the vertices of D, and let P_(m+1) = center of mass of D. Define the linear functionals M(f) = Vol(D)f(P_(m+1)), which generalizes the Midpoint Rule, and T(f) = Vol(D)(1/(m+1))sum(f(P_j), j = 0,...,m), which generalizes the Trapezoidal Rule. Finally, our generalization of Simpson's Rule is given by the cubature rule(CR) L_t = tM(f) + (1-t)T(f), for t in [0,1]. We choose t, depending on D, so that L_t is exact for polynomials of as large a degree as possible. In particular we derive CRs for the n simplex and unit n cube.

math.NA↗