Questions tagged [rational-functions]
The rational-functions tag has no usage guidance.
120
questions
3
votes
3
answers
1k
views
Positivity of a one-variable rational function
Let's consider the $1$-variable rational function
$$F(z):=\frac{1-z}{(z^3 - z^2 + 2z - 1)\,(z^3 + z^2 + z - 1)}.$$
Numerical evidence convinces me of the truth of the following.
QUESTION. Can you ...
8
votes
1
answer
413
views
What are the rational functions on a noetherian affine scheme?
Let $A$ be a noetherian ring and $X=\operatorname {Spec}A$ the corresponding affine scheme.
There are three rings which might reasonably be called the ring of rational functions on $X$.
a) The total ...
0
votes
0
answers
108
views
How to prove or disprove $ |r'(a)| \leq c_1 \sup_{x \in [a-1/2,a+1/2]} |r(x)|$?
Let $ A = \begin{bmatrix}
a & 1 \\ 0 & a
\end{bmatrix}$ be a Jordan matrix with $ -1 < a < 1 $.
Let $r(z) = \frac{p(z)}{q(z)}$ be an irreducible rational function, where $p(...
9
votes
2
answers
564
views
Is $\mathbb{Q}$ the orbit of a rational function under iteration?
In this previous post I asked for the smallest set of continuous real functions that could generate $\mathbb Q$ by iteration starting from $0$. Surprisingly one continuous function suffices.
In the ...
3
votes
0
answers
60
views
Is there a finite set of polynomials generating all rational numbers by iteration?
In this previous post I asked for the smallest set of continuous real functions that could generate $\mathbb{Q}$ by iteration starting from 0. Surprisingly one continuous function suffices.
The ...
31
votes
2
answers
2k
views
What is the smallest set of real continuous functions generating all rational numbers by iteration?
I recently came across this problem from USAMO 2005:
"A calculator is broken so that the only keys that still
work are the $\sin$, $\cos$, $\tan$, $\arcsin$, $\arccos$ and $\arctan$ buttons. The ...
11
votes
0
answers
360
views
A curious observation on the elliptic curve $y^2=x^3+1$
Here is a calculation regarding the $2$-torsion points of the elliptic curve $y^2=x^3+1$ which looks really miraculous to me (the motivation comes at the end).
Take a point of $y^2=x^3+1$ and ...
3
votes
1
answer
139
views
A question about decompositions of rational functions
Let $f_1,g_1,f_2,g_2$ be non-constant rational functions on the Riemann sphere (i.e. elements of $\Bbb{C}(z)-\Bbb{C}$) satisfying $f_1\circ g_1=f_2\circ g_2$. Suppose there is a prime number $p$ such ...
0
votes
0
answers
55
views
Arranging the $k$ solutions of $r(z)=te^{i\theta}$ into $k$ continuous functions of $(t,\theta)$
I have originally opened this question on MSE, but I migrated here, since I realized this environment is more suitable.
Let $r$ be a rational function, that is, quotient of two coprime polynomials $p,...
26
votes
3
answers
655
views
Subtraction-free identities that hold for rings but not for semirings?
Here is a concrete, if seemingly unmotivated, aspect of the question I am interested in:
Question 1. Let $a$ and $b$ be two elements of a (noncommutative) semiring $R$ such that $1+a^3$ and $1+b^3$ ...
3
votes
0
answers
32
views
Convexity of integral trajectories of rational vector field
Suppose we have a vector field determined by a rational function,
of the form
$$
R(z) = \alpha i z + \sum_{j=1}^k \frac{c_j}{z-r_j}
$$
where $\alpha \in \mathbb{R}$, and the other constants are in $\...
1
vote
1
answer
421
views
Algebraic closure of $\mathbb{C}(t)$
Let $\mathbb{C}(t)$ be the field of rational functions $f(t) = \frac{p(t)}{q(t)}$ with $p,q\in\mathbb{C}[t]$.
For instance, the function $g(t) = \sqrt{t}$ does not belong to $\mathbb{C}(t)$ but is ...
8
votes
3
answers
745
views
residue calculation for rational function
A colleague and I are working on a problem and part of it comes down to evaluating the residue of a rational function. In particular,
$$
\mathrm{Res} \left( z^{kn-1} \left( az^{m}+1 \right)^{-k}; r \...
5
votes
2
answers
286
views
Approximation of analytic function by a fixed number of monomials
This question seems simple but I can't manage to disprove it. Let $N\in \mathbb{N}$. We know that by its analyticity that this precise linear combination of monomials
$
\sum_{n=0}^K \frac1{n!} x^n
$
...
-1
votes
1
answer
81
views
Inferring polynomial rate of convergence from polynomial bound
Let $x_n$ be a non-negative valued sequence and suppose that the following hold:
$\lim\limits_{n\to\infty} x_n =0$
There exists some polynomial function $p$ of degree at-least $1$ such that:
$$
\|x_n\...
1
vote
0
answers
38
views
Characterization of dimension over $\mathbb{Q}$ of infinite sums of rational functions
Let $P(n)=(n+r_1)(n+r_2)...(n+r_k)$ be a polynomial with simple, rational, negative roots (i.e. $r_i>0$) and degree $k\geq 2$ (I stick with negative roots as I don't have to worry about dividing by ...
4
votes
2
answers
341
views
Roots of polynomials of particular type
How to find the solutions $x $ of the following equation: $$\frac{n_1}{x + n_1} + \frac{n_2}{x + n_2} + \cdots +\frac{n_k}{x + n_k} = 1$$ where $n_i$s are natural numbers.
For the case $k=2$, I get ...
1
vote
0
answers
86
views
Extension of closed-form solvability of polynomial equations of x and exp to rational expressions?
Is my conjecture below true?
It's a new conjecture. It's an extension of Lin's theorem in [Lin 1983] which is cited in [Chow 1999] - see both references at the bottom of this page.
It seems that Ferng-...
6
votes
1
answer
254
views
Algebraic geometry additionally equipped with field automorphism operation
I am looking for some facts on theory, which is essentially algebraic geometry but with field automorphisms added as 'basic' operations. (Precisely, I mean universal algebraic geometry for (universal) ...
7
votes
1
answer
248
views
Constructive definition of noncommutative rational functions (aka free skew fields)
The question
Let $F$ be a field. (I am fine with assuming $F=\mathbb{Q}$, but I suspect
that a "right" answer will be independent of $F$.) Let $k$ be a nonnegative integer.
Question. Is ...
1
vote
1
answer
101
views
Determine whether a rational function on the codomain of a surjective morphism is regular
Let $X$ be a smooth affine algebraic variety with a (not necessarily free) action by an algebraic torus $T$. Let $Y$ be the quotient stack $X/T$ and let $p:X\rightarrow Y$ be the quotient map. Suppose ...
1
vote
2
answers
265
views
Chebyshev rational approximation of $e^{x}, x >0$: does it exist?
It's well known that the scalar function $e^x$, for $x \in (-\infty,0]$ can be approximated by Chebyshev rational approximation. In practice, one wants to use a partial fraction decomposition form ...
0
votes
1
answer
451
views
How I can prove or disprove that $\frac{x}{y+z}+\frac{y}{x+z}+\frac{z}{y+x}=1$ has solutions in rationals? [duplicate]
The motivation of this question is to look if there is such solution in rational number to the identity which mentioned here, I have done many attempts using Wolfram Alpha to find such pairs of ...
8
votes
0
answers
539
views
Again, polynomial bijection $f:{\mathbb Q}\times{\mathbb Q}\times{\mathbb Q}\to {\mathbb Q}$
Assume that there is no polynomial $f(x,y)\in{\mathbb Q}[x,y]{}$ such that $f\colon {\mathbb Q}\times{\mathbb Q}\to {\mathbb Q}$ is a bjiection. Does this imply that there is no polynomial $f(x,y,z)\...
4
votes
4
answers
486
views
Does there exist a rational polynomial $P(x)\in{\mathbb Q}[x]{}$ such that $P(\zeta(s))=\zeta(P(s))$?
let $P(x)\in{\mathbb Q}[x]{}$ be a rational polynomial with $P(1) >1$ and $\zeta $ be the Riemann zeta function , I want to know if there exist a rational polynomial such that $P(\zeta(s))=\zeta(P(...
0
votes
0
answers
92
views
Trasforming a system of rational equations into an equivalent system of polynomial equations
Suppose that a system of rational equations $r_1=0, r_2=0, \dots, r_m=0$ defines a zero dimensional variety $V$.
Is there an algorithm to produce polynomials $p_i$, starting from the rational ...
4
votes
1
answer
316
views
About $a_n = \frac{a_{n-1}(a_{n-1} + C)}{a_{n-2}}.$
Let $A,B,C > 0$. Put $a_1 = A$ and $a_2 = B$ and, for integer $n > 2$,
$$a_n = \frac{a_{n-1}(a_{n-1} + C)}{a_{n-2}}$$
and
$$ T = \lim_{k \to \infty} \frac{a_k}{ a_{k - 1}}.$$
Notice the limit ...
13
votes
1
answer
474
views
“Taylor series” is to “Volterra series” as “Padé approximant” is to _________?
Padé approximants are often better than Taylor series at representing a function. Given a Taylor series, one can use Wynn's epsilon algorithm to easily produce the Padé approximants to it.
Volterra ...
1
vote
0
answers
211
views
Extend any morphism to suitable projective variety? [closed]
Let $F: X\to \mathbb{P}^n$ be a morphism from an affine variety to projective space (over some algebraically closed field of characteristic zero). Can we always find an open immersion $\iota: X\...
4
votes
1
answer
227
views
How to measure how much a rational function/a singularity of variety is complicated?
There are some theorems about various zeta functions which states the rationality of those.
For example, when you consider Igusa's zeta function, roughly the generating series of solutions mod $p^n$ ...
8
votes
1
answer
403
views
When does $\sqrt{a_1} + \cdots + \sqrt{a_k} \in K$ imply $\sqrt{a_1}, \ldots, \sqrt{a_k} \in K$?
Consider $R = \mathbb{Z}[X_1, \ldots, X_k]$, the polynomial ring in $k$ variables over $\mathbb{Z}$, and let $S = \mathbb{Z}[\sqrt{X_1}, \ldots, \sqrt{X_k}]$. Then $S/R$ is an integral extension of ...
0
votes
0
answers
83
views
Root of the expectation of a random rational function
I am trying to figure out a formula for the unique $\lambda>1$ such that
$$
\mathbb{E}\bigg[\frac{X}{\lambda -X}\bigg]=1
$$
where $X$ is a discrete random variable taking values in $\{\frac{1}{n},....
3
votes
2
answers
389
views
Transformation of a fourth degree polynomial
Given $$ P (x) = ax ^ 4 + bx ^ 3 + cx ^ 2 + dx + e = a (x ^ 2 + p_1x + q_1) (x ^ 2 + p_2x + q_2) $$ for some $ a, b, c, d, e, p_1, q_1, p_2, q_2 \in \mathbb R$, prove that $ P (x) $ can be reduced to ...
0
votes
0
answers
38
views
Algorithm to determine if a rational fraction has only non negative coefficients
Is there an algorithm that takes as input a polynomial in two variables $P \in \mathbb{N}[x,y]$ and outputs YES if and only if the coefficients of the series $\frac{1}{1-(x+y)} - \frac{1}{1-P}$ are ...
4
votes
0
answers
150
views
On sums of minima and maxima
Let $h_1,\ldots,h_n$ be positive integers, and define
$$m(h_1,\ldots,h_n)=\sum_{r_1=0}^{h_1-1}\ldots\sum_{r_n=0}^{h_n-1}\min\left\{\frac{r_1}{h_1},\ldots,\frac{r_n}{h_n}\right\}$$
and
$$M(h_1,\ldots,...
3
votes
1
answer
276
views
Detecting if a series represents a rational function
A lemma by Kronecker states that the series $f(z):= \sum_{i=0}^{\infty} c_i z^i$ represents a rational function if and only if for every $m \gg 0$ the determinant of the following matrix is equal to ...
3
votes
1
answer
373
views
Relation between coefficients of expansions
Related to Relations between coefficients of expansions of a rational function at 0 and infinity
I commented at the linked question that the question seemed less about what happened "at infinity", ...
12
votes
1
answer
590
views
Relations between coefficients of expansions of a rational function at 0 and infinity
This question goes in the bucket of "this must be well known, but I don't see it and am not sure where to look it up."
Given two Laurent power series $A(t)=\sum_{k>N}a_kt^k$ and $B(t)=\sum_{k>M}...
9
votes
0
answers
325
views
Is Videla's solution of Hilbert's tenth problem for rational functions over field of characteristic 2 wrong?
The paper in question.
Quick introduction to the problem: suppose that $F$ is a finite field of characteristic 2
(for purposes of this post $F = \mathbb{F}_2$ will suffice) and let $F[t]$ and $F(t)$ ...
1
vote
1
answer
178
views
Generating series of rational$\times \exp($rational$)$
It is known that rational functions $f\in \mathbb C(x)$, $0$ not a pole, are the sum of generating series $\sum_{n\geq 0} a_nx^n$ where $(a_n)_n$ is solution of a linear recurrence with constant ...
5
votes
3
answers
264
views
fixed points of quadratic iteration
Consider the well-known iteration $f:z\to z^2 + c,$ and consider the values of $c$ for which $0$ is a periodic point. Experiment shows that most such values of $c$ (about $480$ out of $512$ for period ...
4
votes
2
answers
2k
views
approximating the $|x|$ function
I'm familiar with Newman's rational approximation of the absolute value function via rational functions. Are there other explicit functions that approximate $|x|$ with exponential error? I was under ...
4
votes
1
answer
367
views
On a vanishing integral inner product
Let $G(z)$ be an $n\times m$ rational matrix-valued function of full column rank on the unit circle. Further, let $P(z)$ be an $m\times m$ rational matrix-valued function positive definite on the unit ...
0
votes
1
answer
140
views
Are the inverses of a set of quadratic polynomials linearly independent?
Is a collection of reciprocals of monic reducible quadratic polynomials, that is functions of the form
$$ \{ \left( (x-a_i)(x-b_i) \right)^{-1} \}_{i=1}^{k}, $$
linearly independent over a finite ...
-1
votes
1
answer
291
views
A simple matrix multiplication query [closed]
The entries of $\begin{bmatrix}a&b\\c&d\end{bmatrix}\begin{bmatrix}a'&b'\\c'&d'\end{bmatrix}=\begin{bmatrix}aa'+bc'&ab'+bd'\\ca'+dc'&cb'+dd'\end{bmatrix}$ are curiously given ...
2
votes
1
answer
353
views
Pade approximation of a rational function
I believe I have a naive or hard question because I couldn't find any results in the Internet yet. Any help is greatly appreciated.
So suppose I have two rational functions $R_1(x)$ and $R_2(x)$, i....
0
votes
0
answers
83
views
Coefficients of a special meromorphic function
The problem described below appears elementary, but I can't figure out the answer or find it in the literature. I apologize if I have missed something very basic.
Let me begin with considering a ...
4
votes
1
answer
260
views
An analogue of rational functions for Hahn series
For any field $k$, we have both the field $k(t)$ of rational functions (formal quotients of polynomials, i.e. the field of fractions of $k[t]$) and the field $k((t))$ of formal Laurent series (which ...
0
votes
1
answer
184
views
Inverse image of a Jordan curve
If there exists a rational map $R$ from the extended plane $\hat{\mathbb{C}}$ to itself, and a Jordan curve $J$ on the plane, such that $R$ has no critical value on the curve, can we say that the ...
4
votes
0
answers
130
views
The class of all iterated antiderivatives of rational functions
Consider the following property of a function $f$:
There exists a non-negative integer $n$ such that the $n$'th derivative of $f$ is a rational function.
Question 1: Is there a name in the ...