Functional equations stemming from numerical analysis

Tomasz Szostok

Displaying similar documents to “Functional equations stemming from numerical analysis”

Fermat’s method of quadrature

Jaume Paradís, Josep Pla, Pelegrí Viader (2008)

Revue d'histoire des mathématiques

Similarity:

The of Fermat (c. 1659), besides containing the first known proof of the computation of the area under a higher parabola, $\int x^{+ m / n} d x$ , or under a higher hyperbola, $\int x^{- m / n} d x$ —with the appropriate limits of integration in each case—has a second part which was mostly unnoticed by Fermat’s contemporaries. This second part of the is obscure and difficult to read. In it Fermat reduced the quadrature of a great number of algebraic curves in implicit form to the quadrature of known curves: the higher parabolas...

The finite element solution of parabolic equations

Josef Nedoma (1978)

Aplikace matematiky

Similarity:

In contradistinction to former results, the error bounds introduced in this paper are given for fully discretized approximate soltuions of parabolic equations and for arbitrary curved domains. Simplicial isoparametric elements in $n$ -dimensional space are applied. Degrees of accuracy of quadrature formulas are determined so that numerical integration does not worsen the optimal order of convergence in $L_{2}$ -norm of the method.

The algebra of polynomials on the space of ultradifferentiable functions

Katarzyna Grasela (2010)

Banach Center Publications

Similarity:

We consider the space $^{ℳ}$ of ultradifferentiable functions with compact supports and the space of polynomials on $^{ℳ}$ . A description of the space $(^{ℳ})$ of polynomial ultradistributions as a locally convex direct sum is given.

Explicit bounds for the Łojasiewicz exponent in the gradient inequality for polynomials

Didier D&#039;Acunto, Krzysztof Kurdyka (2005)

Annales Polonici Mathematici

Similarity:

Let f: ℝⁿ → ℝ be a polynomial function of degree d with f(0) = 0 and ∇f(0) = 0. Łojasiewicz’s gradient inequality states that there exist C > 0 and ϱ ∈ (0,1) such that ${| \nabla f | \geq C | f |}^{ϱ}$ in a neighbourhood of the origin. We prove that the smallest such exponent ϱ is not greater than $1 - R {(n, d)}^{- 1}$ with $R (n, d) = d {(3 d - 3)}^{n - 1}$ .

The joint essential numerical range of operators: convexity and related results

Chi-Kwong Li, Yiu-Tung Poon (2009)

Studia Mathematica

Similarity:

Let W(A) and $W_{e} (A)$ be the joint numerical range and the joint essential numerical range of an m-tuple of self-adjoint operators A = (A₁, ..., Aₘ) acting on an infinite-dimensional Hilbert space. It is shown that $W_{e} (A)$ is always convex and admits many equivalent formulations. In particular, for any fixed i ∈ 1, ..., m, $W_{e} (A)$ can be obtained as the intersection of all sets of the form $c l (W (A ₁, . . ., A_{i + 1}, A_{i} + F, A_{i + 1}, . . ., A ₘ))$ , where F = F* has finite rank. Moreover, the closure cl(W(A)) of W(A) is always star-shaped with the elements in...

Heights of squares of Littlewood polynomials and infinite series

Artūras Dubickas (2012)

Annales Polonici Mathematici

Similarity:

Let P be a unimodular polynomial of degree d-1. Then the height H(P²) of its square is at least √(d/2) and the product L(P²)H(P²), where L denotes the length of a polynomial, is at least d². We show that for any ε > 0 and any d ≥ d(ε) there exists a polynomial P with ±1 coefficients of degree d-1 such that H(P²) < (2+ε)√(dlogd) and L(P²)H(P²)< (16/3+ε)d²log d. A similar result is obtained for the series with ±1 coefficients. Let $A_{m}$ be the mth coefficient of the square f(x)² of...

Irregularity of an analogue of the Gauss-Manin systems

Céline Roucairol (2006)

Bulletin de la Société Mathématique de France

Similarity:

In $𝒟$ -modules theory, Gauss-Manin systems are defined by the direct image of the structure sheaf $𝒪$ by a morphism. A major theorem says that these systems have only regular singularities. This paper examines the irregularity of an analogue of the Gauss-Manin systems. It consists in the direct image complex $f_{+} (𝒪 e^{g})$ of a $𝒟$ -module twisted by the exponential of a polynomial $g$ by another polynomial $f$ , where $f$ and $g$ are two polynomials in two variables. The analogue of the Gauss-Manin systems can...

Sum of squares and the Łojasiewicz exponent at infinity

Krzysztof Kurdyka, Beata Osińska-Ulrych, Grzegorz Skalski, Stanisław Spodzieja (2014)

Annales Polonici Mathematici

Similarity:

Let V ⊂ ℝⁿ, n ≥ 2, be an unbounded algebraic set defined by a system of polynomial equations $h ₁ (x) = \dots = h_{r} (x) = 0$ and let f: ℝⁿ→ ℝ be a polynomial. It is known that if f is positive on V then ${f |}_{V}$ extends to a positive polynomial on the ambient space ℝⁿ, provided V is a variety. We give a constructive proof of this fact for an arbitrary algebraic set V. Precisely, if f is positive on V then there exists a polynomial $h (x) = \sum_{i = 1}^{r} h ²_{i} (x) σ_{i} (x)$ , where $σ_{i}$ are sums of squares of polynomials of degree at most p, such that f(x) + h(x) >...

Recurrences for the coefficients of series expansions with respect to classical orthogonal polynomials

Stanislaw Lewanowicz (2002)

Applicationes Mathematicae

Similarity:

Let $P_{k}$ be any sequence of classical orthogonal polynomials. Further, let f be a function satisfying a linear differential equation with polynomial coefficients. We give an algorithm to construct, in a compact form, a recurrence relation satisfied by the coefficients $a_{k}$ in $f = \sum_{k} a_{k} P_{k}$ . A systematic use of the basic properties (including some nonstandard ones) of the polynomials $P_{k}$ results in obtaining a low order of the recurrence.

The factorization of $f (x) x^{n} + g (x)$ with $f (x)$ monic and of degree $\leq 2$ .

Joshua Harrington, Andrew Vincent, Daniel White (2013)

Journal de Théorie des Nombres de Bordeaux

Similarity:

In this paper we investigate the factorization of the polynomials $f (x) x^{n} + g (x) \in ℤ [x]$ in the special case where $f (x)$ is a monic quadratic polynomial with negative discriminant. We also mention similar results in the case that $f (x)$ is monic and linear.

On the Gauss-Lucas'lemma in positive characteristic

Umberto Bartocci, Maria Cristina Vipera (1988)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

If $f(x)$ is a polynomial with coefficients in the field of complex numbers, of positive degree $n$ , then $f(x)$ has at least one root a with the following property: if $\mu\leq k\leq n$ , where $\mu$ is the multiplicity of $\alpha$ , then $f^{(k)}(\alpha)\neq 0$ (such a root is said to be a "free" root of $f(x)$ ). This is a consequence of the so-called Gauss-Lucas'lemma. One could conjecture that this property remains true for polynomials (of degree $n$ ) with coefficients in a field of positive characteristic $p>n$ (Sudbery's Conjecture). In this paper it...

On sets of polynomials whose difference set contains no squares

Thái Hoàng Lê, Yu-Ru Liu (2013)

Acta Arithmetica

Similarity:

Let $_{q} [t]$ be the polynomial ring over the finite field $_{q}$ , and let $_{N}$ be the subset of $_{q} [t]$ containing all polynomials of degree strictly less than N. Define D(N) to be the maximal cardinality of a set $A \subseteq_{N}$ for which A-A contains no squares of polynomials. By combining the polynomial Hardy-Littlewood circle method with the density increment technology developed by Pintz, Steiger and Szemerédi, we prove that $D (N) ≪ q^{N} {(l o g N)}^{7} / N$ .

On the Gauss-Lucas'lemma in positive characteristic

Umberto Bartocci, Maria Cristina Vipera (1988)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

A nonlinear system of differential equations with distributed delays

Chocholatý, Pavol

Similarity:

It is well-known that the environments of most natural populations change with time and that such changes induce variation in the growth characteristics of population which is often modelled by delay differential equations, usually with time-varying delay. The purpose of this article is to derive a numerical solution of the delay differential system with continuously distributed delays based on a composition of $p$ -step methods ( $p = 1, 2, 3, 4, 5$ ) and quadrature formulas. Some numerical results are presented...

On the lattice of polynomials with integer coefficients: the covering radius in $L_{p} (0, 1)$

Wojciech Banaszczyk, Artur Lipnicki (2015)

Annales Polonici Mathematici

Similarity:

The paper deals with the approximation by polynomials with integer coefficients in $L_{p} (0, 1)$ , 1 ≤ p ≤ ∞. Let $P_{n, r}$ be the space of polynomials of degree ≤ n which are divisible by the polynomial $x^{r} {(1 - x)}^{r}$ , r ≥ 0, and let $P_{n, r}^{ℤ} \subset P_{n, r}$ be the set of polynomials with integer coefficients. Let $μ (P_{n, r}^{ℤ}; L_{p})$ be the maximal distance of elements of $P_{n, r}$ from $P_{n, r}^{ℤ}$ in $L_{p} (0, 1)$ . We give rather precise quantitative estimates of $μ (P_{n, r}^{ℤ}; L ₂)$ for n ≳ 6r. Then we obtain similar, somewhat less precise, estimates of $μ (P_{n, r}^{ℤ}; L_{p})$ for p ≠ 2. It follows that $μ (P_{n, r}^{ℤ}; L_{p}) ≍ n^{- 2 r - 2 / p}$ as n → ∞. The results...

Hodge type decomposition

Wojciech Kozłowski (2007)

Annales Polonici Mathematici

Similarity:

In the space $Λ^{p}$ of polynomial p-forms in ℝⁿ we introduce some special inner product. Let $H^{p}$ be the space of polynomial p-forms which are both closed and co-closed. We prove in a purely algebraic way that $Λ^{p}$ splits as the direct sum $d * (Λ^{p + 1}) \oplus δ * (Λ^{p - 1}) \oplus H^{p}$ , where d* (resp. δ*) denotes the adjoint operator to d (resp. δ) with respect to that inner product.

A set on which the Łojasiewicz exponent at infinity is attained

Jacek Chądzyński, Tadeusz Krasiński (1997)

Annales Polonici Mathematici

Similarity:

We show that for a polynomial mapping $F = (f ₁, . . ., f ₘ) : ℂ^{n} \to ℂ^{m}$ the Łojasiewicz exponent $_{\infty} (F)$ of F is attained on the set $z \in ℂ^{n} : f ₁ (z) \cdot . . . \cdot f ₘ (z) = 0$ .

Rational solutions of certain Diophantine equations involving norms

Maciej Ulas (2014)

Acta Arithmetica

Similarity:

We present some results concerning the unirationality of the algebraic variety $_{f}$ given by the equation $N_{K / k} (X ₁ + α X ₂ + α ² X ₃) = f (t)$ , where k is a number field, K=k(α), α is a root of an irreducible polynomial h(x) = x³ + ax + b ∈ k[x] and f ∈ k[t]. We are mainly interested in the case of pure cubic extensions, i.e. a = 0 and b ∈ k∖k³. We prove that if deg f = 4 and $_{f}$ contains a k-rational point (x₀,y₀,z₀,t₀) with f(t₀)≠0, then $_{f}$ is k-unirational. A similar result is proved for a broad family of quintic polynomials...

The multiplicity of the zero at 1 of polynomials with constrained coefficients

Peter Borwein, Tamás Erdélyi, Géza Kós (2013)

Acta Arithmetica

Similarity:

For n ∈ ℕ, L > 0, and p ≥ 1 let $κ_{p} (n, L)$ be the largest possible value of k for which there is a polynomial P ≠ 0 of the form $P (x) = \sum_{j = 0}^{n} a_{j} x^{j}$ , $| a_{0} | \geq L (\sum_{j = 1}^{n} | a_{j} |^{p}$ 1/p $,$ aj ∈ ℂ $,$ such that ${(x - 1)}^{k}$ divides P(x). For n ∈ ℕ and L > 0 let $κ_{\infty} (n, L)$ be the largest possible value of k for which there is a polynomial P ≠ 0 of the form $P (x) = \sum_{j = 0}^{n} a_{j} x^{j}$ , $| a_{0} | \geq L m a x_{1 \leq j \leq n} | a_{j} |$ , $a_{j} \in ℂ$ , such that ${(x - 1)}^{k}$ divides P(x). We prove that there are absolute constants c₁ > 0 and c₂ > 0 such that $c_{1} \sqrt (n / L) - 1 \leq κ_{\infty} (n, L) \leq c_{2} \sqrt (n / L)$ for every L ≥ 1. This complements an earlier result of the authors valid for every n ∈ ℕ and L ∈...

Sparsity of the intersection of polynomial images of an interval

Mei-Chu Chang (2014)

Acta Arithmetica

Similarity:

We show that the intersection of the images of two polynomial maps on a given interval is sparse. More precisely, we prove the following. Let $f (x), g (x) \in_{p} [x]$ be polynomials of degrees d and e with d ≥ e ≥ 2. Suppose M ∈ ℤ satisfies $p^{1 / E (1 + κ / (1 - κ)} > M > p^{ε}$ , where E = e(e+1)/2 and κ = (1/d - 1/d²) (E-1)/E + ε. Assume f(x)-g(y) is absolutely irreducible. Then $| f ([0, M]) \cap g ([0, M]) | ≲ M^{1 - ε}$ .