The rational-functions tag has no usage guidance.

**19**

votes

**3**answers

1k views

### A curious sequence of rationals: finite or infinite?

Consider the following function repeatedly applied to a rational
$r = a/b$ in lowest terms:
$f(a/b) = (a b) / (a + b - 1)$.
So, $f(2/3) = 6/4 = 3/2$. $f(3/2) = 6/4 = 3/2$.
I am wondering if it is ...

**15**

votes

**7**answers

2k views

### Is this a rational function?

Is $$\sum_{n=1}^{\infty} \frac{z^n}{2^n-1} \in \mathbb{C}(z)\ ?$$
In a slightly different vein, given a sequence of real numbers $\{a_n\}_{n=0}^\infty$, what are some necessary and sufficient ...

**13**

votes

**2**answers

1k views

### Determining rational functions by their critical points

Fix an integer $d > 1$ and $2d-2$ points $P_1, \ldots, P_{2d-2}$ in the Riemann sphere (not necessarily distinct). Thanks to the work of Eisenbud and Harris on limit linear series (Inventiones, ...

**12**

votes

**2**answers

297 views

### When are growth series rational?

For a finitely generated group $G$ with generating set $S$, one can define the word metric. Using this, we are able to define the sequence $\sigma(n)$ by
$ \sigma(n) = |\mathcal{S}(e,n)| $, which is ...

**12**

votes

**0**answers

549 views

### Pencils with many completely decomposable fibers

Let $F= \frac{G}{H} : \mathbb P^n \to \mathbb P^1$ be a non-constant rational function ($G$ and $H$ homogenous polynomials of the same degree
in $\mathbb C^{n+1})$.
The fiber over $(\lambda:\mu) \in ...

**11**

votes

**1**answer

281 views

### Sets of integers represented by degree zero rational functions

Suppose $f(x_1,x_2,\dots)=\frac{P}{Q}$, where $P,Q$ are polynomials in several variables with integer coefficients that have the same degree. Let's denote by $S(f)$ the set of integers $n$ for which ...

**9**

votes

**1**answer

371 views

### When is a Newton basin fractal continuously determined by the roots of its polynomial?

Newton basin fractals are visualizations of the Julia sets of functions of the form:
$$f_p(z) = z - p(z)/p'(z)$$
where $p$ is a complex polynomial. My question is:
When is the Julia set, ...

**9**

votes

**3**answers

2k views

### Elementary Luroth theorem proof?

Hi, everyone!
I'm trying to explain the proof of Luroth theorem (every field $L$, s.t. $K\subset L\subset K(t)$, is isomorphic to $K(t)$) to the high-school audience. I'm not going to use such ...

**8**

votes

**1**answer

356 views

### certain trigonometric homeomorphisms

Are there any simple characterizations of rational functions $f(x,y)$ with real coefficients such that $\theta\mapsto f(\cos\theta,\sin\theta)$ is a homeomorphism from $\mathbb R\bmod 2\pi$ to ...

**8**

votes

**1**answer

427 views

### Given a curve, under which condition is the set of gonal morphisms finite

Recently, in my research I bumped onto gonal morphisms. At the moment, my knowledge is based upon some things I read on the internet. Before stating my questions, I added some definitions/facts that ...

**8**

votes

**1**answer

1k views

### Integer values of a rational function

Suppose we are given a rational function with numerator and denominator being polynomials with integer coefficients. Is there an efficient algorithm for finding all integers arguments at which the ...

**7**

votes

**5**answers

1k views

### Rational maps with all critical points fixed

What can be said about rational self-maps of $\mathbb P^1$
for which all critical points are also fixed points ?
If all but one of the fixed points are critical, there is
a characterization in ...

**7**

votes

**5**answers

1k views

### When does the sequence of iterates of a rational function converge?

Darsh asks at the 20-questions seminar:
Let $f:P^1 \rightarrow P^1$ be rational function.
Can you say when the sequence $\{ f^n(x)\}_n=\{ x,f(x),f(f(x)),\cdots\} $ converges? What about the sequence ...

**7**

votes

**2**answers

834 views

### Is this a Julia set (and if so, for which function family is it the Julia set)?

Consider the function family given by $f_\lambda(z) = z - p_\lambda(z)/p_\lambda'(z)$ where $p_\lambda(z) = (z^2 - 1)(z - \lambda)$. Every attracting cycle and every rational neutral cycle of ...

**7**

votes

**3**answers

996 views

### What characterizes rational functions with nonnegative integer Taylor coefficients?

I believe that there is a statement along the following lines (I would, of course, love to be corrected): a formal power series is the Taylor expansion of a rational function if and only if the ...

**7**

votes

**4**answers

524 views

### What are good methods for detecting parabolic components and Siegel disk components in the Fatou set of a rational function?

Given a rational function $f$ on the Riemann sphere, I would like to answer the question: Does the Fatou set of the function, $F(f)$, contain any parabolic components or Siegel disk components? ...

**6**

votes

**2**answers

1k views

### When does a rational function have infinitely many integer values for integer inputs?

Consider rational functions $F(x)=P(x)/Q(x)$ with $P(x),Q(x) \in \mathbb{Z}[x]$. I'd like to know when I can expect $F(k) \in \mathbb{Z}$ for infinitely many positive integers $k$. Of course this ...

**6**

votes

**3**answers

348 views

### Natural topologies for the space of rational functions

I am looking for natural families of Hausdorff topologies (metrics, norms, if possible) for the space of rational functions of a single complex variable of arbitrary, unbounded denominator degree ...

**6**

votes

**3**answers

2k views

### Rational exponential expressions

Consider the following extension of polynomials. The rational exponential expressions (REXes) are given by:
The leaves 1 and $x$ for $x$ drawn from a class of variables; and
Closed under the binary ...

**6**

votes

**1**answer

908 views

### Why is the inverse of a bijective rational map rational?

Let $f:X\to Y$ be a bijective rational map of an open dense subset $X$ of $\mathbb{C}\times\mathbb{C}$ onto an open dense subset $Y$ of $\mathbb{C}\times\mathbb{C}$. How to prove that the inverse map ...

**6**

votes

**1**answer

383 views

### Asymptotics for the coefficients of a rational function

Let $(a_n)$ be a sequence of non-negative real numbers and assume that the resulting power series defines a rational function
$$\sum_{n=0}^\infty a_n x^n = \dfrac{f(x)}{(1-x^{k_1})\cdots ...

**6**

votes

**0**answers

261 views

### Singularity structure of integrals of rational functions

Suppose I have a convergent integral of the form $\int_0^1dx_1\dots\int_0^1 dx_n \frac{P(x_i)}{Q(x_i)}$, where $P$ and $Q$ are polynomial functions of $n$ nonnegative real variables $x_i$. Let the ...

**5**

votes

**1**answer

152 views

### Pythagorean number in Artin's theorem on nonnegative rational fractions

Emil Artin's theorem on nonnegative rational fractions says that a rational fraction $Q$ with $n$ variables with real coefficients which is non-negative on $\mathbb R^n$ is a sum of squares of ...

**5**

votes

**1**answer

366 views

### Does an inverse polynomial map on the taylor coefficients of a rational function preserve rationality?

Supppose there are integers $a_1,a_2,\dots$ and a polynomial $p$ so that the integers $p(a_1),p(a_2)...$ satisfy some linear recurrence, i.e. $\sum p(a_i)x^i$ is a rational function of $x$. Must ...

**4**

votes

**2**answers

180 views

### Reference request on symmetric polynomials

A version of this question on stackexchange got a few comments from one person and no answers.
Let $e_k$ be the $k$th-degree elementary symmetric polynomial in variables $x_1,\ldots,x_n$ (so in ...

**4**

votes

**1**answer

559 views

### What sort of ind-scheme is this?

It apparently follows from work of Velu (MathSciNet) that every isogeny between elliptic curves in (long) Weierstrass form over $k$ can be written in the form
$$
\left(\frac{u(x)}{v(x)}, ...

**3**

votes

**3**answers

711 views

### When a sequence of coefficients converges to the coefficients of a rational function $R$, when does the sequence $R_n$ converge uniformly to $R$?

Let $R$ be a rational function of degree $d$ mapping the Riemann sphere to itself:$$R(z) = \frac{a_d z^d + a_{d-1} z^{d-1} + \cdots + a_0}{b_d z^d + b_{d-1} z^{d-1} + \cdots + b_0}$$
where $a_d$ and ...

**3**

votes

**2**answers

263 views

### an equation in fractions

I have an equation of the form $\sum_{i=1}^{m}{\frac{1}{a_{i}-x}}=\sum_{j=1}^{n}{\frac{1}{b_{j}-x}}$ and would like to express $x$ as a an approximate explicit function of the $a_{i},b_{j},m,n$. Have ...

**3**

votes

**0**answers

107 views

### Dimension of certain polynomial spaces

Let $(\omega_1, \eta_1） \dots (\omega_n, \eta_n)$ be $n$ pairs of complex numbers where $\omega_i \ne \omega_j$ for all $1 \leq i \ne j \leq n$. We define the following polynomial space
$$
Z_n^d(\eta, ...

**3**

votes

**0**answers

338 views

### A question on partial fraction decompositions

This question concerns the mapping from the poles of a rational function to the coefficients of its partial fraction decomposition. In general, this mapping is not injective. I want to identify some ...

**3**

votes

**0**answers

390 views

### confusion about rational maps and Fatou components

Dear fellows,
I have come to another conclusion which must be wrong.
Let $f$ be a rational map and let $U$ be a connected but not simply connected open subset of the Fatou set such that $f(U)$ is ...

**2**

votes

**1**answer

199 views

### Given a curve $C$, does there exist a rational function on $C$ totally ramified at two given points?

Let $C$ be a smooth projective irreducible curve over $\mathbb C$. Let $x$ and $y$ be distinct points of $C$.
We say that $f$ is totally ramified at a point $p$ if the ramification index of $p$ ...

**2**

votes

**2**answers

195 views

### Finding a simpler “local” lower bound for a rational function

I have obtained as the expression for some quantity the following gargantuan formula:
$$ \frac{k^8 + 3k^7 + 8k^6 + 3k^5 - 16k^4 - 32k^3 + 63k^2 - 34k + 6}{k^6 + 3k^5 + 6k^4 - 24k^2 + 21k - 5}$$.
...

**2**

votes

**1**answer

291 views

### resolution of singularities and a projection formula

Let $Y$ be a normal surface and let $p:X\longrightarrow Y$ be a resolution of singularities.
Let $f$ be a rational function on $Y$.
Do we have that $p_\ast$div $(d(f\circ p)) = $ div $df$ as ...

**2**

votes

**1**answer

361 views

### Can we construct rational functions with prescribed ramification on an algebraic curve over \Qbar

Let $C$ be a smooth projective connected curve of genus $g$ over $\bar{\mathbf{Q}}$. Fix a finite non-empty (Edit) set of closed points $S$ in $C$ and let $U$ be the complement of $S$ in $C$.
Q1. ...

**2**

votes

**1**answer

154 views

### Rational functions and polynomials evaluated on a set of points

Let $S$ be a collection of points on the real line.
Let $\{x_i\}_{i=1}^n$ take values in $S$.
Consider a polynomial $p(x_1,x_2,\dots,x_n)$ over $\mathbb R[x_1,x_2,\dots,x_n]$ of degree $d$ which ...

**2**

votes

**1**answer

103 views

### Variation of the argument of a rational function along a circle

I posted this question on MSE a few time ago, but it did not receive much attention. I thought there might be an elementary answer so didn't want to post it directly on MO. My apologies if this ...

**2**

votes

**2**answers

80 views

### Markov-type functions

I'd like to have some informations about Markov-type functions (or Cauchy-type):
\[ f(z)=\int_{\Gamma} \frac{\mathrm{d}\gamma(\xi)}{\xi-z}.\]
$\gamma$ is a positive measure with compact support ...

**2**

votes

**0**answers

67 views

### Nonlinear smooth bijection from $\mathbb Q$ to itself [duplicate]

Is there a bijection $\phi: \mathbb Q \to \mathbb Q$ such that
$\phi$ is nonlinear: different from $ax+b$,
$\phi$ is smooth: the extension $\hat{\phi}$ of $\phi$ over $\mathbb R$ is $\mathcal C^2$ ?
...

**2**

votes

**0**answers

163 views

### Rational interpolation: Error bounds for coefficients

The following question was asked on MSE, but might be more suitable here.
Assume there is a rational function
$$
f:x\mapsto \frac{\sum_{i=0}^m{a_ix^i}}{1+\sum_{j=1}^n{b_jx^j}}
$$
of type $(m,n)$ with ...

**2**

votes

**0**answers

81 views

### Subfields $k\subseteq F\subseteq k(x_1,\dots,x_n)$. Is then $F\cap k[x_1,\dots,x_n]=k(f_1,\dots,f_m)\cap k[x_1,\dots,x_n]$ for polynomials $f_i$?

Let $F\subseteq k(x_1,\dots,x_n)$ be a subfield with $k\subseteq F$. I know that $F=k(\psi_1,\dots,\psi_r)$ for rational functions $\psi_i\in k(x_1,\dots,x_n)$. I'm interested in the intersection ...

**2**

votes

**0**answers

214 views

### Generalization of Lagrange inversion with “skewed” formal parameter

I am interested in obtaining an analog of the Lagrange inversion formula, starting from a generalization of the implicit equation. Ordinary Lagrange reversion, as I am familiar with it, starts with ...

**2**

votes

**1**answer

261 views

### some rational functions over a field of characteristic 2

I would like to know what are the formal power series $$f(t) = \sum_a \omega_a t^{-a}$$ over an algebraicially closed field of characteristic 2, with two properties: (1) The series represents a ...

**1**

vote

**1**answer

311 views

### Composition of rational functions

Given a rational function $R\in\Bbb R(x_1,\dots,x_n)$ with multilinear numerator and denominator, is there always a rational function $G\in\Bbb R(x)$ such that $G\circ R\in\Bbb R[x_1,\dots,x_n]$, ...

**1**

vote

**1**answer

104 views

### Approximating rational generating functions

Suppose we have a initial segment $x_1,\ldots,x_N$ (for reasonably large $N$) of a sequence of natural numbers $(x_i)$. We have reason to believe the generating function $\sum_{i=0}^\infty x_iX^i$ is ...

**1**

vote

**2**answers

220 views

### compute the limit of a rational function

Suppose I have a rational function defined by ($s$ complex)
$$
f(s)=w^T s(sI-Q)^{-1} v
$$
for nonzero column vectors $w,v$ and a (large) square matrix $Q$. Further assume that $Q$ is singular and that ...

**1**

vote

**1**answer

258 views

### Approximation of a given function by rational functions

Given a function $1/\sqrt{x^2 -k^2}$ where k is a constant with a small imaginary part, how do you go about constructing a rational approximation? I am interested in the L_p (p=2 or $\infty$) norm of ...

**1**

vote

**1**answer

212 views

### Rationality of quadric fibrations

Let $Q\to S$ be a quadric fibration over a rational base $S$, over an algebraically closed field of non zero characteristic. Is it true the following?
$Q$ is rational if and only if $Q \to S$ has a ...

**1**

vote

**0**answers

89 views

### approximation of rational functions

Suppose $\hat{p}/\hat{q}$ and $p/q$ are two rational functions where $p,q,\hat{p},\hat{q}$ are of degree $n$. Suppose they satisfy that $|p(z)/q(z) - \hat{p}(z)/\hat{q}(z)| < \epsilon$ for any $z$ ...

**1**

vote

**0**answers

42 views

### Truncation error in Padè approximants

Suppose only the following data are known about a rational function $R(x)=P(x)/Q(x)$ (for $P,Q$ polynomials):
(a) the degree of $P$ is $\leq m$ and the degree of $Q$ is $\leq n$;
(b) the first $k$ ...