« first day (4279 days earlier)      last day (84 days later) » 

5:26 AM
The tag was removed again.
Q: Connections between an identity about minors and Plücker relations

YSouSeriousConsider a $2 \times 4$ matrix $A = \begin{bmatrix} a_1 & b_1 & c_1 & d_1 \\ a_2 & b_2 & c_2 & d_2 \\ \end{bmatrix}$. Its all minors of order 2, such as $A_{13} = \begin{vmatrix} a_1 & c_1 \\ a_2 & c_2 \\ \end{vmatrix}$ representing the minor formed by selecting the first and third columns, satis...

Q: Functional equations satisfied by both sine and tangent functions.

SomosThe functional equation identity, (assuming also $\,f(-x)=-f(x)\,$ for all $\,x$), $$ f(a)f(b)f(a\!-\!b) + f(b)f(c)f(b\!-\!c) + f(c)f(a)f(c\!-\!a) + f(a\!-\!b)f(b\!-\!c)f(c\!-\!a) = 0 \tag{1}$$ for all $\,a,b,c\,$ has solutions $f(x)=k_1\sin(k_2\,x)$ and $f(x)=k_1\tan(k_2\,x)\,$ with $\,k_1,k_...

7 hours later…
12:45 PM
Q: How to interpret functional symbols in a many-sorted language in the corresponding single-sorted language?

Eduardo MagalhãesI was reading about Many-sorted logic and I kept seeing a lot of authors claiming that "When there are only finitely many sorts in a theory, many-sorted first-order logic can be reduced to single-sorted first-order logic". I get that this is done by introducing, for every sort $a$, a unary predic...

Q: A very odd resolution to an integral equation

Alma ArjunaHere is something I've found on the internet $$\begin{aligned} f-\int f&=1\\ \left(1-\int\right)f&=1\\ f&=\left(\frac1{1-\int}\right)1\\ &=\left(1+\int+\int\int+\dots\right)1\\ &=1+\int1+\int\int1+\dots\\ &= 1+x+\frac{x^2}2+\dots\\ &= e^x \end{aligned}$$ At first I interpreted this as a joke, but...

Q: Laplace transforms of Appell functions F1, F2, F3, F4 relative to one of the two variables

user12030145Appell's two-variable functions $F_1, F_2, F_3$ and $F_4$ are known to have numerous uses in applied mathematics, notably mathematical Physics. I am looking for generalized Laplace transforms (if they exist) of these functions relative to one of the two variables (I found at least two references ...


« first day (4279 days earlier)      last day (84 days later) »