Related papers: Identities of the Function f(x,y) = x^2 + y^3

This paper is a continuation of [1], in which I studied Harvey Friedman's problem of whether the function f(x,y) = x^2 + y^3 satisfies any identities; however, no knowledge of [1] is necessary to understand this paper. We will break the…

If a multiplicative function $f$ is commutable with a quadratic form $x^2+xy+y^2$, i.e., \[ f(x^2+xy+y^2) = f(x)^2 + f(x)\,f(y) + f(y)^2, \] then $f$ is the identity function. In other hand, if $f$ is commutable with a quadratic form…

We investigate a variation of Nicomachus's identity in which one term in the cubic sum is replaced by a different cube. Specifically, we study the Diophantine identity \[ \sum_{j=1}^{n} j^3 + x^3 - k^3 = \left( \sum_{j=1}^{n} j + x - k…

If a multiplicative function $f$ satisfies $f(a^2+b^2+c^2) = f(a)^2+f(b)^2+f(c)^2$ for all positive integers $a$, $b$, and $c$, then $f$ is an identity function.

Let $k$ be an integer greater than or equal $4$. We show that if a multiplicative function $f$ satisfies \[ f(x_1^2 + x_2^2 + \dots + x_k^2) = f(x_1)^2 + f(x_2)^2 + \dots + f(x_k)^2 \] for all positive integers $x_i$'s, then $f$ is the…

Fix $k \ge 3$. If a multiplicative function $f$ satisfies \[ f(x_1+x_2+\dots+x_k) = f(x_1) + f(x_2) + \dots + f(x_k) \] for arbitrary positive triangular numbers $x_1, x_2, \dots, x_k$, then $f$ is the identity function. This extends Chung…

If $f(x,y)$ is a real function satisfying $y>0$ and $\sum_{r=0}^{n-1}f(x+ry,ny)=f(x,y)$ for $n=1,2,3,\ldots$, we say that $f(x,y)$ is an invariant function. Many special functions including Bernoulli polynomials, Gamma function and Hurwitz…

Let $f$ be a multiplicative function which satisfies \[ f(a^2+b^2+c^2+d^2) = f(a^2+b^2)+f(c^2+d^2) \] for positive integers $a$, $b$, $c$, and $d$. We show that $f$ is the identity function provided that $f(3)\,f(11) \ne 0$. Otherwise,…

By investigating a recurrence relation about functions, we first give alternative proofs of various identities on Fibonacci numbers and Lucas numbers, and then, make certain well known identities visible via certain trivalent graph…

The invariance identity involving three operations $D_{f,g}:X\times X\rightarrow X$ of the form \begin{equation*} D_{f,g}\left( x,y\right) =\left( f\circ g\right) ^{-1}\left( f\left( x\right) \oplus g\left( y\right) \right) \text{,}…

The usefulness of Riemann P-symbols in deriving identities involving the parametrized special function Hl is explored. Hl is the analytic local solution of the Heun equation, the canonical second-order differential equation on the Riemann…

We provide a short proof of an algebraic identity. For integers $n\ge 2$ and variables $x,y,z$, it represents $(x^n+y^n-z^n)$ as a value of the quadratic form $\mathcal A^2+\mathcal B^2-\mathcal C^2$ after multiplication by an explicit…

In this paper, it is shown that if F(x , y) is an irreducible binary form with integral coefficients and degree $n \geq 3$, then provided that the absolute value of the discriminant of F is large enough, the equation |F(x , y)| = 1 has at…

A question proposed by Kimura and proved by Ruehr, Kimura and others in 1980 states that for any function $f$ continuous on $[-\frac{1}{2}, \frac{3}{2}]$ one has $$ \int_{-1/2}^{3/2} f(3x^2 - 2x^3) dx = 2 \int_0^1 f(3x^2 - 2x^3) dx. $$ In…

Let $k \geq 3$. If a multiplicative function $f$ satisfies \[ f(a_1^3 + a_2^3 + \cdots + a_k^3) = f(a_1^3) + f(a_2^3) + \cdots + f(a_k^3) \] for all $a_1, a_2, \ldots, a_k \in \mathbb{N}$, then $f$ is the identity function. The set of…

The Riemann problem is studied in the case when the unknown function has nonisolated singularities, concentrated on the real axis. The problem is used for the factorization of functions, holomorphic outside of the unit circle and the real…

The Leah-Hamiltonian, $H(x,y)=y^2/2+3x^{4/3}/4$, is introduced as a functional equation for $x(t)$ and $y(t)$. By means of a nonlinear transformation to new independent variables, we show that this functional equation has a special class of…

When written in terms of $\vartheta$-functions, the classical Frobenius-Stickelberger pseudo-addition formula takes a very simple form. Generalizations of this functional identity are studied, where the functions involved are derivatives…

We present some Pfaffian identities, which are completely different from the Pl\"ucker relations. As consequences we obtain a quadratic identity for the number of perfect matchings of plane graphs, which has a simpler form than the formula…

This part is a continuation of the Part I where we built resolutions of identity for certain non-Hermitian Hamiltonians constructed of biorthogonal sets of their eigen- and associated functions for the spectral problem defined on entire…