$\begingroup$

First of all, let me define what I mean by "imposing," and let me clarify that I've only studied this operation in 2D Euclidean space. Now then, to impose one function onto another, you need two things:

A function upon which to impose, called the receiver .

. A function to impose, called the imposer .

Now, let me first explain the concept generally. The idea is that, rather than graphing some function with respect to the x-axis, we treat the receiver as the x-axis, graphing the imposer with respect to receiver .

So, what do I mean by "graphing some function with respect to the x-axis?" Well, first we'll let $p_0$ be the point on the x-axis at some $x$, and we'll let $l$ be the line which is normal to the x-axis at $p_0$. It should be clear that $p_0=(x,0)$ and that $l$ is a vertical line which passes through $p_0$. Then, for some function $g$, let $p_1$ be the point on $l$ whose distance is equal to $g(x)$. It should be clear that $p_1=(x,g(x))$ since the distance from $(x,0)$ to $(x,g(x))$ is equal to $g(x)$. If you do the previous procedure for all $x$ and plot every $p_1$ on a graph, you will have successfully graphed $g$ with respect to the x-axis.

So, to reiterate my second paragraph, the idea is that we can graph any function with respect to some other function. The way we do this is by following the same procedure we used in the last paragraph. However, there are two main differences:

Instead of letting $p_0$ be the point on the x-axis at some $x$, we let $p_0$ be the point on some parametric function $f(t)$, the receiver , for some $t$.

at some $x$, we let $p_0$ be the point on some parametric function $f(t)$, the , for some $t$. Instead of letting $l$ be the line which is normal to the x-axis at $p_0$, we let $l$ be the line which is normal to $f$, the receiver , at $p_0$.

For example, this is $g(t)=cos(t)$, the imposer , imposed upon $f(t)=(t,a \cdot sin(t))$, the receiver , where $a$ is simply a real value which oscillates between $-1$ and $1$ with time. Basically, $a$ is the reason functions below are moving. The black function which resembles a standing wave, as I said before, is an oscillating sine function, and it is also the receiver . The blue function which, if you look closely, occasionally looks like a cosine function is the function resulting from imposing $g(t)$ onto $f(t)$. The green line segments are to illustrate the act of finding the point on the normal of $f(t)$ at $t$ with a distance of $g(t)$, like we covered in the above paragraphs.

If you're interested, here's the raw math to impose one function onto another: Given some parametric equation $f:f(t) = (x(t),y(t))$ upon which we wish to impose some function $g(t)$:

$$ Let\;h(t)=\frac{\frac{d}{dt}(y(t))}{\frac{d}{dt}(x(t))}=f'(t) $$ $$ Let\;j(t)=tan^{-1}(h(t))\pm\frac{\pi}{2} $$ Then $g$ imposed upon $f$ becomes the following parametric equation, in terms of $t$. $$ (g(t)cos(j(t))+x(t),g(t)sin(j(t))+y(t)) $$

I feel as though I should clarify now that, for most $f$ and $g$, this operation will produce two resultant functions. This fact is a result of the way I have defined this operation. That is, we are looking for any point $p_1$ on the normal line of $f$ at $p_0$ such that the distance between $p_0$ and $p_1$ is equal to $g(t)$. Put more simply, we're looking on a line for a point which is a specific distance away from another point on the line. We already know that, for any point $p$ on a line $l$, there will always be exactly two points on $l$ with a distance $\delta$ away from $p$, for all $\delta > 0$. This fact is the reason for which we are adding or subtracting $\frac{\pi}{2}$ in $j$. The only case I can think of wherein this operation does not produce two resultant functions is when $g(t) = 0$, as each resulting function will be exactly equal to the parametric $f(t)$; however, there very well may be more.

So, ignoring any incorrect notation or terminology I might have used, is this type of transformation used anywhere in mathematics? If so, could you show me where I could get some more information on it?