Questions about using or composing operators--functional mappings from one state or vector space to another.
1
vote
0answers
20 views
Operator valued functions [duplicate]
For some parts of physics it is useful to define an operator valued function
Take for example
R[K_] := Sum[K[[j]] D[#, K[[j]]], {j, 1, 4}]
It is supposed to be ...
1
vote
3answers
65 views
Noncommutative Expand into power series
I am new to Mathematica and am trying to apply it to quantum mechanics problems.
The practice project I am dealing with now is considering quantum harmonic oscillator and ladder operator algebra ...
4
votes
1answer
41 views
Operator form for Histogram of multiple datasets?
I would like to plot a histogram for multiple datasets in a dataset query, but can't quite seem to make it work in operator notation:
...
1
vote
0answers
41 views
Add operator symbols to matrices in Wolfram [closed]
I am working with the matrices of the form $u = \begin{pmatrix}Y &y\\0 & Y\end{pmatrix}$, and I have an operator $a$ such that $au=\begin{pmatrix}Y & ay\\0 & Y\end{pmatrix}$. Since y ...
5
votes
1answer
89 views
Indefinite order of differential operator
In the latest version of Mathematica, D can compute derivatives of symbolic order, that is, the $n^{\text{th}}$ (partial) derivative, returning an expression ...
2
votes
0answers
64 views
Wick's theorem for Gaussian stochastic variables
I wonder whether there exists a clever way to implement Wick's theorem for Gaussian stochastic variables $\eta_{j_{i}}$ (with $\langle \eta_{j_{i}}\rangle=0$ for $\forall i$) which in general states:
...
2
votes
1answer
62 views
Commutator of block matrices
How to implement a commutator of matrices composed of operators?
Background:
Let $\hat A_{ij}$, $\hat B_{kl}$ be some sets of some operators. $\hat I$ is the identity operator. Their commutators are ...
1
vote
0answers
30 views
Del as a Differential Operator: (Matrix times Del) cross vector [duplicate]
I tried to reply to this answer, but don't have enough reputation points yet. Basically the poster constructed Del (i.e. $\nabla = \left( \frac{\partial}{\partial x}, \frac{\partial}{\partial y}, \...
0
votes
0answers
39 views
How do you treat gradient as a vector? [duplicate]
I need to express $\nabla = (\partial_x,\partial_y,\partial_z)$ as a vector, so that I can compute the differential operator given by $A\cdot\nabla$ (where here $A$ is a 3x3 matrix) using Mathematica. ...
0
votes
1answer
58 views
How can I define a derivation in Mathematica?
I would like to define a derivation in Mathematica. As an example something like this: for an operator O and operators $A,B$ in a two dimensional vector space with
$$
O \times A = a \\
O \times B = b \...
0
votes
1answer
56 views
How to program Mathematica to do the differential operator calculation
I want to create a surface Laplacian under the spheroidal coordinates,
Now, I already have the surface gradient defined, but I don't know how to find the Laplacian.
Since the surface gradient is too ...
4
votes
2answers
409 views
How to define a differential operator in Mathematica? [duplicate]
I want to define an operator $(\partial_{t}+1)^{2}=\partial_{t}\partial_{t}+2\partial_{t}+1$. Then, I want it to act on $t$. My code looks like this:
...
6
votes
1answer
149 views
Position-based Inline syntax for Curry
I would like to update an existing pseudo-curry function:
• /: h_[pre___, •, post___] :=
Function[expr, h[pre, expr, post]];
that I use inline like this - the ...
0
votes
0answers
29 views
Non-commutative multiplication sign and constant treatment
By default, non-commutative multiplication behaves as
(-W) ** (4 R) //FullForm
...
1
vote
1answer
46 views
Finding a pattern in sum of products of two or more variables with subscripts
I am trying (so far unsuccessfully) to isolate terms in an expression which are product of variables with a specific subscript pattern (the b_,_'s). I want only terms for which the first subscript ...
0
votes
0answers
43 views
How to use multiple placeholders to define a function that operates on special functions.
I am trying to understand if and how I can use multiple placeholders in order to define a function that will perform more than one operations on special functions; more accurately, sums, products, etc ...
2
votes
1answer
125 views
Linear operator algebra: How to distinguish scalars and operators?
In the book "A Physicist' s Guide to Mathematica" Patrick Tam introduces symbolic rules for an algebra of linear operators. Mathematically the rules are as follows, where upper (lower) case letters ...
0
votes
3answers
150 views
Calculating bracket operations [closed]
Is there a way to calculate commutation relations in Mathematica? For example, let's say I want to compute ; how can this be done?
0
votes
0answers
53 views
How to create operator variables and lists of operators?
I want to know if it is possible to create a variable that is an operator. (Please note I only started programming Mathematica today) For example, the partial operator $\partial_x$ i.e.
...
4
votes
1answer
69 views
1
vote
0answers
58 views
Superposition of the differential operators
My problem can be easily solved without Mathematica, however, I am curious how to do it in Mathematica. Moreover, I can be stuck with a similar, but more cumbersome problems in the future.
Following ...
1
vote
1answer
96 views
Raising, lowering and number operators for Dirac notation
Starting from this very interesting post Defining quantum-mechanical Bra and Ket operations, i would like to implement raising, lowering and number operators, taking into account that they might be ...
0
votes
0answers
59 views
How to define a product on formal power series (pseudo-differential operators)?
I am used to working with the set of (algebraic) pseudo-differential operators, which consists of formal power series in the symbol $D$ (differentiation operator) of the form
$$X = \sum_{j=-\infty}^n ...
5
votes
2answers
118 views
How to construct infix operator with usual behavior?
I am trying to define my own infix operator and having problems with strung-together evaluation. The code below is a simple example. What I would like is to have the operator treated associatively, ...
2
votes
1answer
220 views
What are current approaches for supporting Dirac notation for quantum mechanics?
I'd like to be able to use Mathematica to preform some basic quantum mechanics and quantum computation operations using Dirac's Bra-Ket notation.
I've seen several solutions to defining basic ...
3
votes
1answer
417 views
4
votes
2answers
289 views
Interchanging addition and multiplication
Suppose I have an expression that employs addition and multiplication, but no subtraction or division:
$$
2 a + 5 b x^3 + c \;.
$$
I would like to change this to
$$
(2 + a) (5 +b + x +x +x) c \;,
$$
...
1
vote
0answers
45 views
Operator on a multivariable function in a sum
I need to define an operator that does as follow for any function $h_m$.
$\qquad O[h_m](k,M,b,l_{max})=\sum_{l\neq (0,m)}^{l_{max}}il \left (h_l(k,M,b,l_{max}) b_{m-l}(k)- c_l\partial_k h_{m-l}(k,M,...
1
vote
2answers
88 views
Defining an operator: Partially evaluate a Pure Function
I would like to define an operator that takes some parameters as input and returns a function. Here is an example:
...
3
votes
2answers
747 views
Matrix differential operator
i'm new in MATHEMATICA. I want to create an operator $D^{(f)}=\partial_x+f'-\partial^2_x$ and $D^{(g)}=\partial_x+g'-\partial^2_x$ and put it into a matrix element, then multiplied by a vector whose ...
4
votes
2answers
99 views
Define an operator for FileNameJoin
When I join file names, it's inconvenient to use FileNameJoin. The workaround is to use <> instead, however <> is not exactly like FileNameJoin.
I tried to define an operator . It just doesn't ...
0
votes
1answer
101 views
How to efficiently exponentiate a differential operator with non-commuting terms, acting on an infinite series?
My question is related to
this one, but I am more explicit with the form of the operator in the exponential and the function $f$.
Let us have the expression:
$$ e^{\mathrm{i} \left( f(x)(\hat{q} \...
3
votes
1answer
93 views
Single argument operator form?
I've heard the explanation that functions like StringDrop[] are varargs and so that is why they do not have an operator form.
But when you are only using the ...
-1
votes
1answer
54 views
3
votes
2answers
148 views
A function which maps $(ax + by)(cx + dy) \mapsto (a \partial_x + b \partial_y) (c \partial_x + d \partial_y)$
I am new to Mathematica and, as the title says, looking for a way of mapping (for example) the polynomial $$(ax + by)(cx + dy) \mapsto \left(a \frac{\partial}{\partial x} + b \frac{\partial}{\partial ...
0
votes
1answer
48 views
Symbollic integration and differentiation of operated functions
This question is a continuation of this one.
I used the answer provided in the previous question to write this code
...
13
votes
2answers
418 views
How I can define this operator in Mathematica?
I want to define an operator $G$ such that
$$G(f):=\begin{cases}f(\{x\}),&\lfloor x\rfloor\text{ is even}\\\frac1{f(\{x\})},&\lfloor x\rfloor\text{ is odd}\end{cases}$$
for any function $f$, ...
2
votes
0answers
51 views
Defining the Distributive Depth of an Operator
I am working on defining the relations between Bras and Kets in Mathematica, and I am using the CircleDot operator to represent multiplication. I seem to have some trouble defining how operations on ...
11
votes
2answers
253 views
What is the best way to define Wirtinger derivatives
Wirtinger derivatives ( also called Cauchy operators) in complex analysis are widely used tools. They are defined in the case of one dimensional complex plane as follows
$$\frac{\partial}{\partial z}=...
0
votes
0answers
133 views
Defining a complex partial differential operator
I tried to define a partial differential operator using this code
...
5
votes
2answers
107 views
Custom opaque operator with custom axioms?
Is there any way to define a custom opaque operator/function in Mathematica that satisfies custom axioms, so that the Mathematica engine can perform simplifications using those axioms?
For example, ...
1
vote
0answers
67 views
How can I realize operator $\frac{D}{e^D-1}$ in Mathematica?
Especially if it is applied to an integral of a function.
So, I need for a given function f[t] the following:
$\frac{D}{e^D-1} \int_0^t f(t)dt |_{t=\omega}$
4
votes
1answer
508 views
Proof of the Dirac-$\gamma$ matrices identity
Given the matrices
$\gamma_{k}=\begin{bmatrix}
O & -i\sigma_{k}\\
+i\sigma_{k}& O
\end{bmatrix}$
where $\sigma_{k}$ is the $k^{th}$ Pauli matrix
$\gamma_{4}=\begin{bmatrix}
I^{2} &0 \...
8
votes
4answers
475 views
Change Operator Precedence of --> operator
I am trying to use --> operator with highest precedence
...
0
votes
0answers
142 views
Defining a del operator [duplicate]
I understand the Grad function is a mean to taking the gradient of an arbitrary function.
However, I'd like to define the Del ...
1
vote
2answers
114 views
Problem with Distribute and Composition
I'm having trouble with the following.
When I try to expand an expression like
Through[Distribute[g@*(f@*g + g@*f), Plus]@x]
I get what I would expect. That is,
...
3
votes
3answers
100 views
How make D[f,x] treat OverBar[x] as a constant
I have an expression of the form f = a*x +OverBar[x], where OverBar[x] is just a name, it has not much to do with the variable x. I want ...
9
votes
2answers
202 views
Which operators are missing from the official precedence table?
I often use the Operator Input Forms page as a reference for operator precedence as well as which (used or unused) operators exist. However, I just noticed that at least one operator is missing from ...
1
vote
0answers
93 views
Construct a univariate function pertaining to the space of $2 \times 2$ real matrices [closed]
Consider the space of uniformly distributed $2 \times 2$ real matrices
\begin{equation}
\left(
\begin{array}{cc}
a & b \\
c & d \\
\end{array}
\right),
\end{equation}
with the restriction ...
3
votes
1answer
112 views
How to define “typed” objects and their operator specializations?
I've defined a primitive sort of type system where my objects are defined as lists with an associated identifier:
...
