The tag has no usage guidance.

learn more… | top users | synonyms

12
votes
2answers
296 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 ...
2
votes
0answers
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$ ? ...
4
votes
1answer
525 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)}, ...
1
vote
0answers
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$ ...
5
votes
1answer
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 ...
2
votes
1answer
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$ ...
0
votes
1answer
116 views

Standard rational functions from matrices

In linear algebra we get introduced to standard polynomials that are associated to matrices such as characteristic polynomials and determinants. What are some of the standard rational functions that ...
6
votes
3answers
343 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 ...
0
votes
0answers
46 views

On sequences of rational functions [duplicate]

Let $\{f_n\}_{n=0}^\infty$ be a sequence of rational functions of the following form: $$ f_n(z) = \sum_{m=1}^\infty \frac{C_{m,n}}{z-m}$$ with $C_{m,n} \in \mathbb{Z}$, $C_{1,n} = 1$, and for each $n ...
15
votes
7answers
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 ...
1
vote
1answer
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
2answers
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 ...
0
votes
2answers
190 views

A specific polynomial triplet question

Notation $P_k[n]=\{$multilinear polynomials in $\Bbb R[x_1,x_2,\dots,x_{n-1},x_n]$ of total degree exactly $k\}$. $k=1$ is just linear polynomials. QUESTION Is there a triplet $(p,f,g)\in ...
3
votes
0answers
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, ...
0
votes
0answers
79 views

Rational dynamical system with nonnegative paramaters

let $A$ be a rational system of the form :$\begin{cases} x_{n+1}=\frac{\alpha_{1}}{y_{n}} \\ y_{n+1}=\frac{\alpha_{2}}{z_{n}} \\ ...
0
votes
1answer
102 views

Minimum degree rational function interpolation

Find a rational function $R(x)$ such that: $1)$ For $i\in\{1,\dots,g\}$, $x_{i}=x_{i-1}+g$ with $x_0=0$. $2)$ For $i\in\{0,\dots,g-1\}$ $R(x_i)=R(x_i+1)=\dots=R(x_i+g-1)=i+1$. $3)$ $R(x_g)=g+1$. ...
2
votes
1answer
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 ...
6
votes
1answer
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 ...
3
votes
0answers
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 ...
9
votes
1answer
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, ...
1
vote
0answers
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$ ...
2
votes
1answer
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
2answers
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 ...
0
votes
1answer
91 views

Looking for methods/results for explicitly bounding iterations of rational functions

In Theorem 2.6.4 of Beardon's book, "Iteration of Rational Functions", he states the values for the first two coefficients of an iterated power series. That is, suppose that $$ ...
2
votes
2answers
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}$$. ...
1
vote
1answer
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 ...
2
votes
0answers
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 ...
1
vote
0answers
154 views

Solving a system of rational functions

Given pairwise distinct numbers $c_1, c_2, \dots c_n \in \mathbb{C} \setminus \{0\}$, does the system of equations $$\frac{6}{c_k} + \sum_{i \ne k} \frac{2}{c_k - c_i} = \sum_{i = 1}^n \frac{1}{c_k - ...
8
votes
1answer
353 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 ...
2
votes
0answers
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 ...
19
votes
3answers
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 ...
1
vote
1answer
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 ...
4
votes
2answers
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 ...
0
votes
0answers
185 views

sections of vector bundles

Let $X$ a smooth projective connected curve over $\mathbb{C}$. Let $E$ a vector bundle and $E'$ a subbundle of $E$. Let $(x_{1},\dots,x_{n})$ $n$ closed points on the curve $X$ with $n>2g$ and $z$ ...
11
votes
1answer
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 ...
1
vote
0answers
579 views

Properties of a rational function of multiple variables

Suppose you are given a multivariable rational function f(x0,x1,x2,x3,..,xn), so the only four operation are +,-,*,/. Assume that all constants and exponents are integers within certain range. I ...
7
votes
2answers
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 ...
2
votes
0answers
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 ...
1
vote
0answers
159 views

Fields over which cubic hypersurfaces are rational

All cubic hypersurfaces having at least one double point are birational to some $P^n$ over an algebraically closed field. How does the statement change as I pass to non alg closed fields? Does it hold ...
7
votes
4answers
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? ...
3
votes
0answers
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 ...
6
votes
1answer
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 ...
13
votes
2answers
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, ...
3
votes
2answers
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 ...
1
vote
0answers
140 views

Extrema in two variables of a sum of logs, or equation with sum of rational functions

I am trying to find numerically $\arg\min_{x\in(1, +\infty),y\in(0, 1)}\sum_i\log(xy+\alpha_ix+\beta_iy+\gamma_i)$, where the sum has a large number of terms, and the coefficients are such that the ...
0
votes
0answers
310 views

Absolute minima for rational function

Suppose I have two rational polynomials $f_1 (x)$ and $f_2 (x)$, both of the form $$ f_k (x) = \frac{x (A_k x + B_k)}{(C_k x + D_k)} $$ with constants $A_k, B_k, C_k$ and $D_k$ and where $k=1,2$. I am ...
8
votes
1answer
426 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 ...
3
votes
3answers
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 ...
2
votes
1answer
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
1answer
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. ...