Elementary questions about functions, notation, properties, and operations such as function composition.

learn more… | top users | synonyms (1)

43
votes
0answers
1k views

Identification of a curious function

During computation of some Shapley values (details below), I encountered the following function: $$ f\left(\sum_{k \geq 0} 2^{-p_k}\right) = \sum_{k \geq 0} \frac{1}{(p_k+1)\binom{p_k}{k}}, $$ where ...
7
votes
0answers
275 views

Does this calculation have a name, or a generic formulation?

Background I would appreciate help in identifying / explaining this operation: To calculate each of the $n$ values of $f(\Phi)$: sample from the distribution of each of $i$ parameters, $\phi_i$ ...
7
votes
0answers
203 views

When does the “Zetor function” converge?

Let $p_n$ be the n'th non-trivial zero of the Riemann zeta function. We define the Zetor function (acronym of 'zeta' and 'zero') as follows: $$\zeta \rho (s) = \sum_{n=1}^{\infty} \frac{1}{(p_n)^s}. ...
6
votes
0answers
291 views

Extension of the Jacobi triple product identity

The Jacobi triple product identity is: $$\prod\limits_{n=1}^{ \infty }(1-q^{2n})(1+zq^{2n-1})(1+z^{-1}q^{2n-1})=\sum\limits_{n = - \infty }^ \infty z^n q^{n^2} $$ I would like to extend the idea for ...
6
votes
0answers
269 views

To determine if$f^{-1}(x)$ is periodic function or not? $f(x)=\int_1^{x} \frac{1}{\sqrt[m]{P(t)}}\;dt$

$$f(x)=\int_1^{x} \frac{1}{\sqrt[m]{P(t)}}\;dt$$ $P(x)$ is polynomial with degree $n$. $m$ is an positive integer and $m>1$ What is the algoritm to determine $f^{-1}(x)$ is periodic function ...
6
votes
0answers
247 views

expansion for $1-|t|$

Let $f$ be a continuous function on $\mathbb{R}$ with compact support with exactly one maximum. Form the functions $$ f_{m,k}(x)=f^m\left(x-\frac{k}{2^m}\right) $$ I am wondering if one can expand ...
6
votes
0answers
306 views

Compositional “square roots”

Let $A$ be a set and $f\colon A\to A$ a function. The primary and general question is: What conditions are necessary so that there exists $g$ such that for each $x$ in $A$, $g(g(x))=f(x)$? This is a ...
6
votes
0answers
277 views

Multiplicative Identity analog for absolute value

Is there a standard name for the function: $$ f(x) = \begin{cases} x & \text{if |x|≤1;}\\ 1/x & \text{if |x|>1;}\\ \end{cases} $$ And is there a potential application of this ...
5
votes
0answers
187 views

Decrease of $L_1$ norm of piecewise constant functions after some “averaging”

In the course of a project, I ended up looking at what happens to the $L_1$ of real-valued piecewise-constant functions after some particular king of smoothing — but am currently stuck at a particular ...
5
votes
0answers
1k views

Finding general harmonic polynomial of form $ax^3+bx^2y+cxy^2+dy^3$.

I'm trying to find the most general harmonic polynomial of form $ax^3+bx^2y+cxy^2+dy^3$. I write this polynomial as $u(x,y)$. I calculate $$ \frac{\partial^2 u}{\partial x^2}=6ax+2by,\qquad ...
5
votes
0answers
198 views

Is there some official name for this function?

$$\sqrt{1 - (-1 + x\bmod 2)^2}\cdot\operatorname{sign}(-2 + x\bmod 4)$$ Like half-circles connected to each other to look like waves: Its plot looks smooth, but the function is actually not ...
4
votes
0answers
71 views

How to efficiently calculate $ax+b$ once I know $a$ and $b$?

What's the cheapest way to calculate $ax+b$ several times once I know the values for $a$ and $b$? For instance, the cheapest way to calculate $a+b+x$ several times once I know the values for $a$ and ...
4
votes
0answers
59 views

How prove this $f=C$ if $4f(x,y)=f(x-1,y)+f(x,y-1)+f(x+1,y)+f(x,y+1)$

Question: if $f:\mathbb{Z}^2\to \mathbb{R}$ is bounded ,and for any $x,y\in \mathbb{Z}$,we have $$4f(x,y)=f(x-1,y)+f(x,y-1)+f(x+1,y)+f(x,y+1)$$ show that $$f\equiv C$$ where $C$ is constant. My ...
4
votes
0answers
108 views

Lower semicontinuous and discontinuous everywhere real bounded function?

Does there exist an $f:\mathbb{R}\rightarrow\mathbb{R}$ that is bounded such that for any $a$ then $f^{-1}(a,+\infty)$ is open but $f$ is discontinuous everywhere? Such a function seems too likely to ...
4
votes
0answers
41 views

Decomposability in the tensor product sense of functions of two variables

Let $S$ and $T$ be "nice" metric spaces, e.g. complete normed fields like $\Bbb R$, $\Bbb C$ or $\Bbb Q_p$. Let $F$ be a function $$ F:S\times T\longrightarrow K $$ where $K$ is a topological field ...
4
votes
0answers
74 views

Existence of smooth extension of a function defined on a closed interval

Suppose $ f: [0,1] \rightarrow \mathbb{R}$ is a function such that derivatives of all orders exist ( at the end points of the interval the appropriate one-sided derivatives exist) and are continuous $ ...
4
votes
0answers
145 views

How do zeros on the complex plane affect the real number line?

Let's say there is a real-valued "signal" that you can only measure at discrete points $f(x)$. You have a theory that this signal is the result of an analytic function $f(z)$ on the complex plane but, ...
4
votes
0answers
123 views

How can I Create an integral that can only be evaluated via complex contour integration?

In Richard Feynman's book, Surely You're Joking Mr. Feynman!, he says: One time I boasted, "I can do by other methods any integral anybody else needs contour integration to do." So Paul ...
4
votes
0answers
137 views

Terminology Question: Precompose vs Compose?

I was wondering if there was a standard convention on what 'precompose' means compared to 'compose', as I am often confused between the two when all sorts of text casually use both terminologies. For ...
4
votes
0answers
142 views

How to compare the similarity between functions?

I'm designing a web service that finds the regression function of a pattern within an image. I analyzed three images and found the following three regressions: 1) $f(x) = 74.7602 + 0.2005x - ...
4
votes
0answers
142 views

Finding a series of functions orthogonal to all $x^{2n}$ but one

We need to find a series of functions $f_m$ verifying the property $$\int_{-\infty}^{+\infty}\! x^{2n} f_m\!(x) \;{\text d}x=\delta_{nm}.$$ We already have found $$f_0(x) = ...
4
votes
0answers
138 views

What is this function called (looks like a variant of the exponential function)

We set (as usual) $\displaystyle{x \choose k} := \frac{x \cdot (x-1) \cdots (x-k+1)}{k!}$ for $x\in \mathbb{C}$. Now we can define a function $\displaystyle f(x) := \sum\limits_{k=0}^\infty {x ...
4
votes
0answers
108 views

What is the limit of the quotient of Stieltjes Constants?

What is the limit : $\displaystyle\lim_{n\to \infty }\frac{\gamma_{n-1} }{\gamma_{n}} $ Here $\gamma_{n} $ is the $n$-th Stieltjes Constant.
4
votes
0answers
115 views

Why is this change of variables true?

I have an equation $F_{xx}+yF_{yy}+{1\over 2}F_y=0$ defined on $y<0$. I found that the characteristics are $\alpha={2\over 3}(-y)^{3\over 2}-x,\,\,\,\,\,\beta={2\over 3}(-y)^{3\over 2}+x$ and that ...
4
votes
0answers
48 views

Name of principal root function modified to return real values if possible

Is there a concise name for the function $f_n(x)\colon\mathbb{C}\to\mathbb{C}$ which returns the principal $n$th root of $x$, except in the case when $n$ is odd and $x$ is a negative real number, in ...
3
votes
0answers
87 views

Can monsters of real analysis be tamed in this way?

Consider the Weierstrass Function (somewhat generalized for arbitrary wavelengths $\,\lambda > 0$ ): $$ W(x) = \sum_{n=1}^\infty \frac{\sin\left(n^2\,2\pi/\lambda\,x\right)}{n^2} $$ $W(x)$ is an ...
3
votes
0answers
89 views

$\beta_a(n)=(a_1*\cdots(a_n*b))\setminus_* b$ and Iterations in right divisible magmas e representability by left translations.)

Let's consider the magma $(G,*)$ with infinite elements. Now I define $\operatorname{left}(G)$ the set of all the left translations $$\operatorname{left}(G):\{L_a:a \in G ,L_a(b)=a*b\}$$ And ...
3
votes
0answers
69 views

Why is the inverse of the Devil's Staircase not measurable?

I recently did an exercise to show that a monotone function $f:X→ℝ $ is Borel measurable (it even only asked for Lebesgue measurability). On the other hand, the inverse of the Devil's Staircase ...
3
votes
0answers
72 views

Is this a field of study?

Is there a name for an equation that takes the following form? $$F(f(x),f^{-1}(x),x)=0$$ A nice example being $$f(x)-f^{-1}(x)=0$$ because the solutions of this equation are their own inverses. ...
3
votes
0answers
60 views

Find generating function For sequences

Can anyone out here help? The exercise says: "Find the generating function for each of the sequences below (the general term is given)" Now, the question is how do you find one for those: a) $U_n = ...
3
votes
0answers
50 views

Wanted: simple invertible function with specified derivative properties

I'm looking for a positive function $F(x)$, defined for positive real numbers, with the following properties. $F(x)$ is expressible with the standard computer math library routines; $F(x)$ is ...
3
votes
0answers
30 views

Terminology Regarding Basic Properties of Functions

Is there a cultural difference between saying that a function is 1-to-1 or injective, onto or surjective and a 1-to-1 correspondence or bijective?
3
votes
0answers
56 views

Optimization problem (Sum of distances)

Given an ordered sequence $x_1 \leq x_2 \leq \cdots \leq x_n $ of length $n$ and a cost function $C(i) = \sum_{j}^{n}{\left|x_i-x_j\right|}$. The goal is to minimize the cost function. How do you ...
3
votes
0answers
63 views

What is the domain and range of this multivariable function?

What is the domain and range of the following multivariable function? $g(x,y,z) = {1\over \sqrt{(4 - x^2 - y^2 - z^2)}}$ g is real valued. So far I have that the domain is the set of a vectors ...
3
votes
0answers
94 views

Can the sigmoid function approximate any function (or relation) where 0<y<1

I'm studying Machine Learning and Artificial Neural Networks. Some basic principles of Machine Learning are linear regression, multivariate linear regression, and nonlinear regression. The last of ...
3
votes
0answers
379 views

Left inverse iff injective; right inverse iff surjective

For a function $f:A\to B$, the function $g:B\to A$ is called: a left inverse for $f$ if $g\circ f$ is the identity on $A$ (i.e., $g\circ f = {\rm id}_A$); and a right inverse for $f$ if ...
3
votes
0answers
82 views

Representation for a function that, when added/multiplied/composed with another function of the same form, yields a new function of the same form

I apologize for the possibly unclear wording of the title. I'm not well versed in math terminology. I'm after a concrete representation of a function, eg $y(x) = Ax^p$ (where $A$ and $p$ are ...
3
votes
0answers
113 views

How do I group unique pairs of sequential numbers in a grid?

Not sure if this SE site the best place to help find a solution for this problem. I am open to suggestions! It basically boils down to this: Given a grid of numbers where the numbers are ordered ...
3
votes
0answers
55 views

What's the mathematical field called where functions create and delete functions?

Motivation In the field of modular, reconfigurable robotics there are some groups which use term rewriting, or specifically graph rewriting to describe the reconfiguration process of the modular ...
3
votes
0answers
45 views

Need $f:[0,\infty)\to[0,\infty)$ such that $f$ is not convex but $f(x^p)$ is for $p>1$.

To be more specific I need to find an $f:[0,+\infty)\to[0,+\infty)$ which satisfies the following: (somewhat trivial stuff) The function $f$ is continuous, nondecreasing, there exists $k>0$ such ...
3
votes
0answers
163 views

absolute value integrated (2)

Part 1 of the question Hey again, I hope that I was able to solve my problem. This is my solution with the example of Part 1 of the question. Is that correct or did I forget anything? $$ \int ...
3
votes
0answers
72 views

Monotonicity of a discrete function

Let $k_1+k_2=k$, where $k, k_1$ are all positive integers with $k_1 \ge 1$. Also let $K=\min\{k_1, \lfloor k_2/9 \rfloor +1\}$. Define $g(x)=\max\{1 \le i \le k: \lfloor i/9 \rfloor +1=x\}, x=1, ...
3
votes
0answers
463 views

Does a continuous function preserve measurability?

If $f$ is a continuous function on $X$ and E a Lebesgue measurable set, can we conclude that $f^{-1}(E)$ is measurable?
3
votes
0answers
103 views

On which of the following spaces is every continuous (real-valued) function bounded

On which of the following spaces is every continuous (real-valued) function bounded? i) $X_1 = (0, 1)$; ii) $X_2 = [0,1]$; iii) $X_3 = [0, 1)$; iv) $X_4 =\{t \in [0, 1] : t \mbox{ ...
3
votes
0answers
187 views

Prove an image of function $f:[a,b]\to\mathbb R^n:t\mapsto(f^1(t),f^2(t),\ldots,f^n(t))$ where $f^i\in C^\infty$ doesn't contain open ball

$\mathbb R^n\supset[a,b]$ is domain of definition $f:[a,b]\to\mathbb R^n:t\mapsto(f^1(t),f^2(t),\ldots,f^n(t))$ where $f^i\in C^\infty$ I need to prove that image of $f$, that means $f[a,b]$, doesn't ...
3
votes
0answers
165 views

Does $\sqrt{\delta^2}$ make more sense than $\delta^2$?

What is the Product of $\delta$ functions with itself? was already asked some time ago. In a comment the OP states: I want to create $\delta(t)$ such that the product with itself is also ...
3
votes
0answers
264 views

System of equations with Lambert W function

I have a system of equations with two equations containing the Lambert W function as follows, $$\begin{cases} x = 1 - W_0(\frac{C_1 e^{y + 1}}{y + 1}) \\ y = 1 - W_0(\frac{C_2 e^{x + 1}}{x + 1}) ...
3
votes
0answers
76 views

Function Shape Reference

I'm wondering if their exists a visual/behavioral reference for the fundamental families of functions. I'm not a mathematician so excuse my language if I'm being overly vague. I would like to have a ...
3
votes
0answers
175 views

Definition of functions based on “fuzzy” truth table

I'm stuck on this problem: I have a "truth-table" (well, I don't know if it can be called truth table, if there aren't true/false values only): ...
3
votes
0answers
282 views

How can I get this tricky sum?

I am interested in the sum of a Hadamard product of generating functions. If we are given $n$ functions, where $0 < i \leq n$, of the form: $$f_i(x_i) = \sum_{j=0}^m{c_{i,j} x_i^j}.$$ The ...