The tag has no usage guidance.

learn more… | top users | synonyms

2
votes
1answer
42 views

Reduction modulo a prime ideal

I am looking at the following part of a paper: $$$$ $$$$ When we reduce the differential equation $(1)$ modulo the prime $p$ we do the following: $$\alpha_i \equiv \tilde{\alpha}_i ...
0
votes
1answer
25 views

Joint Continuity implies being a Hausdorff space(in the given case)?

If we consider G to be the group of non-singular n by n matrices carrying Zariski topology. Then the joint continuity of the multiplication map from G x G to G would make G Hausdorff.(We consider the ...
9
votes
0answers
231 views

Why differential Galois theory is not widely used?

E.R.Kolchin has developed the differential Galois theory in 1950s. And it seems powerful a tool which can decide the solvability and the form of solutions to a given differential equation. My ...
5
votes
0answers
120 views

How does commutative and/or differential algebra think about total derivatives?

If we apply the "operator" $\frac{d}{dx}$ to the polynomial $xy$, we get the expression $y+x\frac{dy}{dx}.$ (Source: high school.) Thinking of $xy$ as an element of the polynomial ring ...
4
votes
0answers
251 views

chain rule for derivations

Off we go. So let $b:X\rightarrow Y$ be a function from $X$ to $Y$ endowed with as much structure as it needs to make sense of the question :) and $a:Y\rightarrow \mathbb R$ a function into the reals. ...
4
votes
0answers
43 views

If $D:A\to A$ is a derivation, what can be said about the range of $D$?

What can be said about the relation between the domain and range of a derivation as a function? If $A$ is the domain, any space of functions, what does $D(A)$ look like, where $D$ is a derivation? ...
3
votes
0answers
28 views

The spectral transfinite open spaces with quintic characteristics of second kind

Context: Beginning with the formal definition of transfinite spaces together with the Picker-Hansel theorem, we obviously get a relation $$ \bigcap\xi_{|\sigma|\mapsto \theta^*} \oplus_\psi ...
2
votes
0answers
164 views

What are all types of elementary second order ordinary differential equation that can not be expressed in closed form?

Can we define all types of elementary second order ordinary differential equation that can not be expressed in closed form as opposed to the one that we can solve? In differential algebra, ...
1
vote
0answers
27 views

Index reduction for DAE

I have to simulate a set of DAE's. Therefore I have to reduce the index for this problem: $ (ms+mb)*\ddot z + mb*ls* \ddot \phi s + mb*lg* \ddot \phi b = -(ms+mb)*g - \lambda2$ $ (mb*ls)*\ddot z + ...
1
vote
0answers
19 views

Adjoining a derivative

Let $u$ be an algebraic solution of $y'=(1/x)(y^2 + y^3)$ other than $-1$ and $0$ over $\Bbb{C}(x)$ (the quotient field of $\Bbb{C}[x]$). So, $u$ is some fractional power series. Suppose, we adjoin ...
1
vote
0answers
40 views

Differentiating both sides of a DE

In general if you have a differential equation with two variables such that: $$L(x,y)=h_1[f(x),f'(x),f^{(2)}(x),...,f^{(n)}(x),g(y),g'(y),g^{(2)}(y),...,g^{(n)}(y)]\\ ...
1
vote
0answers
100 views

May the integral $\int\root 3 \of{\cos(x)^2}\,dx$ be expressible by elementary functions?

I would like to decide by methods of differential algebra whether the integral $\int\root 3 \of{\cos(x)^2}\,dx$ might be contrary to the output of CAS Mathematica Online Integrator expressible by ...
1
vote
0answers
78 views

Algebras vs. rings in algebraic differential calculus

Vector fields (and differential operators of higher order) on a real manifold are often defined in terms of $\mathbb{R}$-algebra $C^\infty(M)$. However, it is not clear to me why is the ...
0
votes
0answers
17 views

Determine a change of variables to transform one DE to another

Given two ODE's, is it possible to determine if one can be obtained from the other via a change of variables? In particular, I have the two ODEs: $$ \begin{split} ...
0
votes
0answers
14 views

Finite extension of a closed differential field is closed.

Let G be the differential Galois group of a differential field extension M of K. Then any finite dimensional extension of a closed intermediate differential field is closed. I can not realise this ...